>> Amazon.co.jp
このページのQRコード

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

種類:
図書
責任表示:
小島寛之著
出版情報:
東京 : 技術評論社, 2017.2
著者名:
小島, 寛之(1958-) <DA05756183>  
シリーズ名:
知の扉シリーズ <BB13122759>
ISBN:
9784774186641 [4774186643]  CiNii Books  Calil
注記:
文献:p346〜347
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 数学にとって証明とはなにか : ピタゴラスの定理からイプシロン・デルタ論法まで

瀬山, 士郎(1946-)

講談社
7 図書 現代論理学の基礎 : 経済学での応用例

Czayka, Lothar, 1937-, 飛田, 就一(1929-), 木戸, 正幸(1948-)

富士書店
2 図書 数学と論理

難波, 完爾(1939-)

朝倉書店
8 図書 論理

中谷, 太郎(1903-)

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

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

東京図書
9 図書 証明の読み方・考え方 : 数学的思考過程への手引

Solow, Daniel, 安藤, 四郎(1928-)

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

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

丸善
10 図書 応用論理

桔梗, 宏孝

共立出版
5 図書 知的エージェントのための集合と論理

中島, 秀之(1952-)

共立出版
11 図書 集合・論理

細井, 勉 (1937-)

共立出版
6 図書 いかにして推理するかいかにして証明するか : 論理パズルによる記号論理学入門

内井, 惣七(1943-)

ミネルヴァ書房
12 図書 数理論理学

鹿島, 亮

朝倉書店