応用論理

桔梗宏孝 著

[目次]

  • 第1章 古典命題論理
  • 第2章 一階古典述語論理
  • 第3章 論理プログラミング
  • 第4章 数え上げと対角線論法
  • 第5章 代入と型付きラムダ式

「BOOKデータベース」より

この本の情報

書名 応用論理
著作者等 桔梗 宏孝
書名ヨミ オウヨウ ロンリ
シリーズ名 情報数学講座 第1巻
出版元 共立
刊行年月 1996.3
ページ数 212p
大きさ 22cm
ISBN 4320026519
NCID BN14007364
※クリックでCiNii Booksを表示
全国書誌番号
96051831
※クリックで国立国会図書館サーチを表示
言語 日本語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想