>> Google Books
QRコード(所蔵情報)

証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで

フォーマット:
図書
責任表示:
小島寛之著
言語:
日本語
出版情報:
東京 : 技術評論社, 2017.2
形態:
351p ; 19cm
著者名:
小島, 寛之 (1958-) <DA05756183>  
シリーズ名:
知の扉シリーズ <BB13122759>
書誌ID:
BB22871983
ISBN:
9784774186641 [4774186643]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 証明の読み方・考え方 : 数学的思考過程への手引き

Solow, Daniel, 西村, 康一, 服部, 久美子 (数学)

共立出版
7 図書 数学の言葉と論理

渡辺, 治(1958-), 北野, 晃朗(1958-), 木村, 泰紀(1970-), 谷口, 雅治(1966-)

朝倉書店
2 図書 数学における証明と真理 : 様相論理と数学基礎論

佐野, 勝彦, 菊池, 誠(数学), 倉橋, 太志, 薄葉, 季路, 黒川, 英徳

共立出版
8 図書 数学と論理と

Newman, James Roy, 1907-1966, 林, 雄一郎(1934-)

東京図書
3 図書 数学にとって証明とはなにか : ピタゴラスの定理からイプシロン・デルタ論法まで

瀬山, 士郎(1946-)

講談社
9 図書 真理・証明・計算 : 論理と機械

内井, 惣七(1943-)

ミネルヴァ書房
4 図書 証明作法 : 論理の初歩から証明の実践へ

石原, 哉 (1958-)

共立出版
10 図書 数理論理学とタイプ理論 : 証明による真理へ

Andrews, P. B. (Peter Bruce), 1937-, 小川原, 倫子

丸善
5 図書 例題で学ぶ集合と論理

鈴木, 登志雄

森北出版
11 図書 数学的推論が世界を変える : 金融・ゲーム・コンピューター

小島, 寛之(1958-)

NHK出版
6 図書 数学と論理

難波, 完爾(1939-)

朝倉書店
12 図書 その理屈、証明できますか? : 正しく命題にたどり着くための手法と思考の学び方

Velleman, Daniel J., 神林, 靖(1958-)

翔泳社