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

コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ / 照井一成著

資料種別:
図書
出版情報:
東京 : 青土社, 2015.3
形態:
357p ; 20cm
著者名:
照井, 一成(1971-) <DA18175434>  
ISBN:
9784791768516 [4791768515]
書誌ID:
BB18264240
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 数学における証明と真理 : 様相論理と数学基礎論

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

共立出版
7 図書 数学基礎論

竹内, 外史(1926-)

共立出版
2 図書 情報工学基礎論

田村, 進一

培風館
8 図書 数学基礎論

隈部, 正博(1962-)

放送大学教育振興会
3 図書 証明作法 : 論理の初歩から証明の実践へ

石原, 哉 (1958-)

共立出版
9 図書 数学基礎論

竹内, 外史(1926-)

共立出版
4 図書 あなたは数学者 (上 ; 下)

Wells, D. G. (David G.), 伊藤, 雄二(1935-), 田中, 紀子(翻訳)

日本評論社
10 図書 数学基礎論

隈部, 正博(1962-)

放送大学教育振興会
5 図書 数学基礎論

Kneebone, Geoffrey Thomas, 安藤, 洋美

明治図書出版
11 図書 数学基礎論

新井, 敏康

東京大学出版会
6 図書 数学基礎論

前原, 昭二(1927-1992), 竹内, 外史(1926-)

放送大学教育振興会
12 図書 数学基礎論

竹内, 外史(1926-), 八杉, 満利子(1937-)

共立出版
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12