はじめての数理論理学 証明を作りながら学ぶ記号論理の考え方

紙版 電子版

三重大学講師 博(工) 山田俊行 (著)

定価 ¥ 2,640
ページ144
判型
ISBN978-4-627-07801-7
発行年月2018.07
  • クレジットカード決済 カード決済
  • 銀行振込 銀行振込
  • コンビニ決済 コンビニ決済
  • 代金引換 代金引換
内容
目次
ダウンロード
正誤表
●いちばんやさしい解説書!
「数理論理学って記号だらけで難しそう…」そんなイメージをもっていませんか?
そんな方には本書がぴったりです.徹底的に平易な解説で,論理記号の読み書きから自然演繹の入り口まで,読者をやさしくナビゲートします.

●「証明を作りながら学ぶ」って?
数理論理学が記号だらけで難しそうに見えるのは,実際の命題や証明との接点がわかりにくいから.
この本では,簡単な命題や証明を題材に説明が進むので,記号論理の考え方が抵抗なく学べます.

●豊富な例題・演習問題
全106題の問題を解くことで確実に考え方が身につきます.
序章 数理論理学とは
第1章 論理式:記号を使って主張を表す
第2章 証明法:指針に沿って証明を作る
第3章 自然演繹:記号を使って証明を表す
確認問題の解答と解説
演習問題の解答

ダウンロードコンテンツはありません

現在把握している訂正情報はありません

関連サイト

書籍検索

978 - 4 - 627 -   - x (5桁の数字を入力)
  年       月