情報科学のための論理分析テクニック

著者

• 戸田, 誠之助 トダ, セイノスケ

書誌事項

情報科学のための論理分析テクニック

戸田誠之助著

培風館, 2007.6

タイトル別名

論理分析テクニック : 情報科学のための

タイトル読み

ジョウホウ カガク ノ タメ ノ ロンリ ブンセキ テクニック

内容説明・目次

内容説明

本書は、証明行為（推論）の論理構造、証明の基本的パターンに関する知識、および定義文や命題文の論理構造を分析するための基本的な方法の説明を目的としています。本書の内容は、大学学部１年生を対象に行ってきた授業の講義ノートをもとに書き下ろしたものです。高校数学（数学１・Ａ）の知識があれば理解できます。従って、情報科学や情報工学を学ぶ学生や社会人の方にとっても、自習用テキストとして利用していただけるでしょう。

目次

• １　はじめに
• ２　命題論理式
• ３　真理値分析と推論
• ４　命題論理に基づく証明テクニック（１）
• ５　命題論理に基づく証明テクニック（２）
• ６　述語論理の基礎
• ７　命題・条件の論理構造分析

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BA82225662
• ISBN:
  • 9784563015657
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: v, 149p
• 大きさ: 22cm
• 分類:
  • NDC8 : 410.96
  • NDC9 : 410.96
• 件名:
  • BSH : 記号論理学