はじめての数理論理学

証明を作りながら学ぶ記号論理の考え方

森北出版
山田俊行　

• 価格: 2,640円（本体2,400円＋税）
• 発行年月: 2018年07月
• 判型: Ａ５
• ISBN: 9784627078017

内容情報

[日販商品データベースより]

●いちばんやさしい解説書！
「数理論理学って記号だらけで難しそう…」そんなイメージをもっていませんか？
そんな方には本書がぴったりです．徹底的に平易な解説で，論理記号の読み書きから自然演繹の入り口まで，読者をやさしくナビゲートします．

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

●豊富な例題・演習問題
全106題の問題を解くことで確実に考え方が身につきます．