数理論理学(コンピュータサイエンス教科書シリーズ〈18〉) [全集叢書]
ショッピングカートに入れる

    • 数理論理学(コンピュータサイエンス教科書シリーズ〈18〉) [全集叢書]

    • ￥3,08093 ゴールドポイント（3％還元）
    • 在庫あり2025年8月5日火曜日までにヨドバシエクストリームサービス便（無料）がお届け
数理論理学(コンピュータサイエンス教科書シリーズ〈18〉) [全集叢書]
100000009001492925

数理論理学(コンピュータサイエンス教科書シリーズ〈18〉) [全集叢書]

古川 康一(共著)、向井 国昭(共著)
価格：￥3,080（税込）
ゴールドポイント：93 ゴールドポイント（3％還元）（￥93相当）
お届け日：在庫あり今すぐのご注文で、2025年8月5日火曜日までにヨドバシエクストリームサービス便（無料）がお届けします。［届け先変更］詳しくはこちら
出版社：コロナ社
販売開始日： 2008/06/05
お取り扱い： のお取り扱い商品です。
ご確認事項：返品不可

カテゴリランキング

店舗受け取りが可能です
マルチメディアAkiba、マルチメディア梅田、マルチメディア博多にて24時間営業時間外でもお受け取りいただけるようになりました

お客様へのおすすめ【PR】

数理論理学(コンピュータサイエンス教科書シリーズ〈18〉) の 商品概要

  • 目次（「BOOK」データベースより）

    １　序論
    ２　論理と表現
    ３　命題論理
    ４　述語論理
    ５　ゲンツェンの自然演繹法
    ６　論理プログラム
    ７　論理プログラミング言語Ｐｒｏｌｏｇ
    　８　発想論理プログラム
    ９　帰納論理プログラミング

  • 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

    古川 康一(フルカワ コウイチ)
    １９６５年東京大学工学部計数工学科卒業。１９６７年東京大学大学院工学系研究科修士課程修了。１９６７年通産省工業技術院電気試験所入所。１９８０年工学博士（東京大学）。１９８２年財団法人新世代コンピュータ技術開発機構出向。１９９２年慶應義塾大学教授。２００８年慶應義塾大学名誉教授

    向井 国昭(ムカイ クニアキ)
    １９７１年東京大学理学部数学科卒業。三菱電機株式会社勤務。１９８２年財団法人新世代コンピュータ技術開発機構出向。１９９１年工学博士（東京工業大学）。１９９２年慶應義塾大学助教授。１９９５年慶應義塾大学教授

数理論理学(コンピュータサイエンス教科書シリーズ〈18〉) の商品スペック

商品仕様
出版社名：コロナ社
著者名：古川 康一（共著）／向井 国昭（共著）
発行年月日：2008/06/27
ISBN-10：4339027189
ISBN-13：9784339027181
判型：A5
対象：専門
発行形態：全集叢書
内容：電子通信
ページ数：221ページ
縦：21cm
他のコロナ社の書籍を探す

    コロナ社 数理論理学(コンピュータサイエンス教科書シリーズ〈18〉) [全集叢書] に関するレビューとＱ＆Ａ

    商品に関するご意見やご感想、購入者への質問をお待ちしています！