情報科学のための論理分析テクニック
Author(s)
Bibliographic Information
情報科学のための論理分析テクニック
培風館, 2007.6
- Other Title
-
論理分析テクニック : 情報科学のための
- Title Transcription
-
ジョウホウ カガク ノ タメ ノ ロンリ ブンセキ テクニック
Available at / 102 libraries
-
University of Tsukuba Library, Library on Library and Information Science
410.96-To1710007005778
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Description and Table of Contents
Description
本書は、証明行為(推論)の論理構造、証明の基本的パターンに関する知識、および定義文や命題文の論理構造を分析するための基本的な方法の説明を目的としています。本書の内容は、大学学部1年生を対象に行ってきた授業の講義ノートをもとに書き下ろしたものです。高校数学(数学1・A)の知識があれば理解できます。従って、情報科学や情報工学を学ぶ学生や社会人の方にとっても、自習用テキストとして利用していただけるでしょう。
Table of Contents
- 1 はじめに
- 2 命題論理式
- 3 真理値分析と推論
- 4 命題論理に基づく証明テクニック(1)
- 5 命題論理に基づく証明テクニック(2)
- 6 述語論理の基礎
- 7 命題・条件の論理構造分析
by "BOOK database"