検索結果書誌詳細

内容紹介

論理記号の読み書きから自然演繹の入り口までやさしくナビゲートする、数理論理学の入門書。簡単な命題や証明を題材に、記号論理の考え方をわかりやすく解説する。例題・演習問題も豊富に収録。

＋ 追加情報を見る

タイトルコード

1000050151904

書誌種別

図書

著者名

山田 俊行／著

著者名ヨミ

ヤマダ トシユキ

出版者

森北出版

出版年月

2018.7

ページ数・枚数

7,131p

大きさ・形態

22cm

ISBN

4-627-07801-7

分類記号

410.96

書名

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

書名ヨミ

ハジメテ ノ スウリ ロンリガク ショウメイ オ ツクリナガラ マナブ キゴウ ロンリ ノ カンガエカタ

副書名

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

副書名ヨミ

ショウメイ オ ツクリナガラ マナブ キゴウ ロンリ ノ カンガエカタ

著者紹介

筑波大学大学院博士課程電子・情報工学専攻修了。三重大学大学院工学研究科情報工学専攻講師。博士(工学)。研究分野は書き替え系、等式論理、組み合わせ最適化、ソフトウェアの解析と検証等。

件名1

記号論理学