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

山田俊行

基本情報

ジャンル
ISBN/カタログNo
ISBN 13 : 9784627078017
ISBN 10 : 4627078013
フォーマット
出版社
発行年月
2018年08月
日本
追加情報
:
144p;22

ユーザーレビュー

総合評価

☆
☆
☆
☆
☆

0.0

★
★
★
★
★
 
0
★
★
★
★
☆
 
0
★
★
★
☆
☆
 
0
★
★
☆
☆
☆
 
0
★
☆
☆
☆
☆
 
0

読書メーターレビュー

こちらは読書メーターで書かれたレビューとなります。

powered by

  • あ さん

    話題を絞ってシンプルに書いてある。いきなり戸次や鹿島とかのテキストで勉強するのはちょっとキツいという人にはちょうどいいのでは。

  • Olive さん

    明解 自然演繹の証明はAIとかプログラミングを学ぶ人には良いのだろう。

レビューをもっと見る

(外部サイト)に移動します

物理・科学・医学 に関連する商品情報

おすすめの商品