ようこそ！
マイページ
ご利用ガイド
組合員情報の変更
メールアドレスの変更
ログイン
サイトトップ
e
フレンズトップ
すべて
本
雑誌
CD
DVD・Blu-ray
クリア
本 こだわり検索
書名
著者名
商品説明
出版社名
出版年月
―
２０２６
２０２５
２０２４
２０２３
２０２２
２０２１
２０２０
２０１９
２０１８
２０１７
２０１６
２０１５
２０１４
２０１３
２０１２
２０１１
２０１０
２００９
２００８
２００７
２００６
２００５
２００４
２００３
２００２
２００１
２０００
１９９９
１９９８
１９９７
１９９６
１９９５
１９９４
１９９３
１９９２
１９９１
１９９０
１９８９
１９８８
１９８７
１９８６
１９８５
１９８４
１９８３
１９８２
年
―
１
２
３
４
５
６
７
８
９
１０
１１
１２
月
以前
のみ
以降
ジャンル
選択してください
文庫
新書・選書
文芸
教養
人文
教育
芸術
児童
趣味
生活
地図・ガイド
就職・資格
語学
小学学参
中学学参
高校学参
辞典
コミック
ゲーム攻略本
エンターテイメント
日記手帳
社会
法律
経済
経営
ビジネス
理学
工学
コンピュータ
医学
看護学
薬学
ISBNコード
予約商品を表示しない
検索
クリア
本 >
理学
>
数学
>
数学一般
出版社名：日本評論社
出版年月：1994年4月
ISBN：978-4-535-60814-6
２９７Ｐ ２２ｃｍ
情報科学における論理/情報数学セミナー
小野寛晰／著
組合員価格 税込
3,267
円
(通常価格 税込 3,630円)
割引率 10%
在庫あり
生協宅配にてお届け
※ご注文が集中した場合、お届けが遅れる場合がございます。
内容紹介・もくじなど
最近はね情報科学のいろいろな分野で数理論理学が用いられるようになってきました。この本は、そのような分野を勉強する際に必要になると思われる数理論理学の基本的な結果について述べたものです。
もくじ情報：第１章 命題論理；第２章 述語論理；第３章 エルブランの定理と導出原理；第４章 様相論理；第５章 直観主義論理；第６章 自然演繹の体系
最近はね情報科学のいろいろな分野で数理論理学が用いられるようになってきました。この本は、そのような分野を勉強する際に必要になると思われる数理論理学の基本的な結果について述べたものです。
もくじ情報：第１章 命題論理；第２章 述語論理；第３章 エルブランの定理と導出原理；第４章 様相論理；第５章 直観主義論理；第６章 自然演繹の体系
同じ著者名で検索した本
文科系の数学
小野寛晰／著
関係の代数 集合・順序・グラフ/シリーズ新しい応用の数学 ６
小野寛晰／著
もくじ情報：第１章 命題論理；第２章 述語論理；第３章 エルブランの定理と導出原理；第４章 様相論理；第５章 直観主義論理；第６章 自然演繹の体系
もくじ情報：第１章 命題論理；第２章 述語論理；第３章 エルブランの定理と導出原理；第４章 様相論理；第５章 直観主義論理；第６章 自然演繹の体系