資料詳細

  • 1 件中、 1 件目

計算論理入門 貸出可

田中 尚夫／著 -- 裳華房 -- 1997.10 -- 410.96

所蔵

所蔵件数は 1 件です。現在の予約件数は 0 件です。

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
地下書庫 /410.9/ﾀ/ 113810915 成人一般 可能 iLisvirtual

ページの先頭へ

資料詳細

タイトル 計算論理入門
タイトルカナ ケイサン ロンリ ニュウモン
叢書名 情報の数理
著者 田中 尚夫 ／著  
著者カナ タナカ ヒサオ
出版者 裳華房
出版年 1997.10
ページ数 194p
大きさ 21cm
一般件名 記号論理学
ISBN 4-7853-1505-9 国立国会図書館 カーリル GoogleBooks WebcatPlus
分類記号 410.96
内容紹介 1.ブール代数の基礎 2.オートマトンと形式文法 3.帰納的関数とチューリング計算機 4.命題論理学 5.命題論理に関する計算量問題 6.述語論理概説<ソフトカバー>

ページの先頭へ