コンピュータのための数学 : 論理的アプローチ

D.グリース, F.B.シュナイダー 著 ; 難波完爾, 土居範久 監訳 ; 飯島正 ほか訳

[目次]

  • 数学の活用
  • 字句代入,等号,代入
  • ブール式
  • 命題計算
  • 証明形式の緩和
  • 命題論理の応用
  • ヒルベルトスタイルの証明系
  • 形式論理
  • 限量化
  • 述語計算〔ほか〕

「BOOKデータベース」より

この本の情報

書名 コンピュータのための数学 : 論理的アプローチ
著作者等 Gries, David
Schneider, Fred B
土居 範久
小野寺 民也
志村 立矢
桔梗 宏孝
難波 完爾
飯島 正
高橋 真
シュナイダー F.B.
グリース D.
書名ヨミ コンピュータ ノ タメノ スウガク : ロンリテキ アプローチ
書名別名 A logical approach to discrete math
出版元 日本評論社
刊行年月 2001.7
ページ数 381p
大きさ 26cm
ISBN 4535783012
NCID BA52882096
※クリックでCiNii Booksを表示
全国書誌番号
20193094
※クリックで国立国会図書館サーチを表示
言語 日本語
原文言語 英語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想