情報科学における論理(情報数学セミナー)

• 資料種別: 図書
• ISBN: 4-535-60814-8
• タイトル: 情報科学における論理
• タイトルよみ: ジョウホウ カガク ニ オケル ロンリ
• 著者・編者: 小野寛晰 著
• シリーズタイトル: 情報数学セミナー
• 著者標目: 小野, 寛晰, 1942- オノ, ヒロアキラ, 1942- ( 00061580 )典拠
• 出版事項: 東京 : 日本評論社
• 出版年月日等: 1994.4
• 出版年（W3CDTF）: 1994
• 数量: 297p
• 大きさ: 22cm
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 件名標目: 記号論理学 キゴウロンリガク ( 00565709 )典拠
• NDC8版: 410.96
• NDLC: MA41
• 対象利用者: 一般
• 書誌注記: 参考文献: p287～288
• 入手条件・定価: 3399円 (税込)
• 所蔵機関: 国立国会図書館
• 請求記号: MA41-E82
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000002316356; http://id.ndl.go.jp/bib/000002316356
• 全国書誌番号: 94038034
• 目録規則: 日本目録規則新版予備版
• 整理区分コード: 111

• 要約等: 情報科学のいろいろな分野で最近とみに数理論理学が用いられるようになってきた。多年にわたる講義やセミナーでの経験をもとに、最も大切な《基本的な考え方を完全に理解すること》を目標に書かれた新しい入門書。（提供元: 出版情報登録センター（JPRO））

目次

第１章　命題論理

１　形式化ということ

２　命題と論理式

３　論理式と真偽

４　論理的に同値な論理式