情報科学のための論理分析テクニック
著者
書誌事項
情報科学のための論理分析テクニック
培風館, 2007.6
- タイトル別名
-
論理分析テクニック : 情報科学のための
- タイトル読み
-
ジョウホウ カガク ノ タメ ノ ロンリ ブンセキ テクニック
大学図書館所蔵 全102件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
内容説明・目次
内容説明
本書は、証明行為(推論)の論理構造、証明の基本的パターンに関する知識、および定義文や命題文の論理構造を分析するための基本的な方法の説明を目的としています。本書の内容は、大学学部1年生を対象に行ってきた授業の講義ノートをもとに書き下ろしたものです。高校数学(数学1・A)の知識があれば理解できます。従って、情報科学や情報工学を学ぶ学生や社会人の方にとっても、自習用テキストとして利用していただけるでしょう。
目次
- 1 はじめに
- 2 命題論理式
- 3 真理値分析と推論
- 4 命題論理に基づく証明テクニック(1)
- 5 命題論理に基づく証明テクニック(2)
- 6 述語論理の基礎
- 7 命題・条件の論理構造分析
「BOOKデータベース」 より