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

Author(s)

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

Bibliographic Information

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

戸田誠之助著

培風館, 2007.6

Other Title

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

Title Transcription

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

Description and Table of Contents

Description

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

Table of Contents

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

by "BOOK database"

Details

• NCID: BA82225662
• ISBN:
  • 9784563015657
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: v, 149p
• Size: 22cm
• Classification:
  • NDC8 : 410.96
  • NDC9 : 410.96
• Subject Headings:
  • BSH : 記号論理学