資料詳細

  • 1 件中、 1 件目

【図書】 計算論理入門

情報の数理 --
田中尚夫 ／著   -- 裳華房 -- １９９７．１０ -- ２１ｃｍ -- １９４ｐ

資料詳細

タイトル 計算論理入門
副書名 情報の数理
著者名等 田中尚夫 ／著  
出版 裳華房 １９９７．１０
大きさ等 ２１ｃｍ １９４ｐ
分類 410.96
件名 記号論理学
内容 参考文献：ｐ１８３～１８５
目次 第１章　ブール代数の基礎；第２章　オートマトンと形式文法；第３章　帰納的関数とチューリング計算機；第４章　命題論理学；第５章　命題論理に関する計算量問題；第６章　述語論理概説
ISBN(13)、ISBN 　　 4-7853-1505-9
書誌番号 1197071434
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1197071434

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 410.9/130 一般書 利用可 - 2018672491 iLisvirtual

ページの先頭へ