情報科学のための論理分析テクニック
Author(s)
Bibliographic Information
情報科学のための論理分析テクニック
培風館, 2007.6
- Other Title
-
論理分析テクニック : 情報科学のための
- Title Transcription
-
ジョウホウ カガク ノ タメ ノ ロンリ ブンセキ テクニック
Available at 102 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
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"