資料詳細

  • 1 件中、 1 件目

数理論理学 利用可

松本和夫／著 -- 共立出版 -- 2001.8 -- 410.96

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 書庫 410.9/ﾏﾂﾓ/一般Ｈ 114696068 一般 利用可

ページの先頭へ

資料詳細

タイトル 数理論理学
書名ヨミ スウリ　ロンリガク
著者名 松本和夫 ／著  
著者ヨミ マツモト，カズオ  
出版者 共立出版  
出版年 2001.8
ページ数等 １９２，３ｐ
大きさ ２２ｃｍ
版表示 復刊
内容細目 文献あり　索引あり
一般件名 記号論理学  
ISBN 4-320-01682-3
問合わせ番号（書誌番号） 1100894364
NDC8版 410.96
NDC9版 410.96
内容紹介 数学基礎論の強力な手段であると共に、電子回路などへの工学的応用、さらには近年の機械学習理論への適用においても、その重要性が認識されている数理論理学の最も基本的な内容が非常に要領よくまとめられた書。

ページの先頭へ

内容一覧

タイトル 著者名 ページ
第１章　命題論理
第２章　述語論理
第３章　直観主義論理
第４章　述語計算ＬＫ
第５章　自然数論
第６章　様相論理
第７章　束論と論理

ページの先頭へ