資料詳細

  • 1 件中、 1 件目

【図書】 数理論理学

コンピュータサイエンス教科書シリーズ --
古川康一 ／共著, 向井国昭 ／共著   -- コロナ社 -- ２００８．６ -- ２１ｃｍ -- ２２１ｐ

資料詳細

タイトル 数理論理学
シリーズ名 コンピュータサイエンス教科書シリーズ
著者名等 古川康一 ／共著, 向井国昭 ／共著  
出版 コロナ社 ２００８．６
大きさ等 ２１ｃｍ ２２１ｐ
分類 410.96
件名 記号論理学
注記 並列タイトル：Ｍａｔｈｅｍａｔｉｃａｌ　ｌｏｇｉｃ
注記 文献あり　索引あり
著者紹介 【古川】１９６５年東京大学工学部卒。６７年同大学院工学系研究科修士課程修了、通産省工業技術院電気試験所入所。８２年（財）新世代コンピュータ技術開発機構出向。９２年慶應義塾大学教授。２００８年慶應義塾大学名誉教授。
内容紹介 特に、実世界の問題を論理によって表現し、問題解決を行う能力を身に付けることを目指した線形代数学の入門書。問題の抽象化と形式化の能力を養うため、多くの例題や問題を収録。
目次 １　序論；２　論理と表現；３　命題論理；４　述語論理；５　ゲンツェンの自然演繹法；６　論理プログラム；７　論理プログラミング言語Ｐｒｏｌｏｇ；　８　発想論理プログラム；９　帰納論理プログラミング
ISBN(13)、ISBN 978-4-339-02718-1　　 4-339-02718-9
書誌番号 1108040098
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1108040098

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 Map 410.9 一般書 利用可 - 2040952562 iLisvirtual

ページの先頭へ