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

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

種類:
図書
責任表示:
照井一成著
出版情報:
東京 : 青土社, 2015.3
著者名:
照井, 一成(1971-) <DA18175434>  
ISBN:
9784791768516 [4791768515]  CiNii Books  Calil
注記:
文献一覧: p345-352
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 情報科学の基礎論への招待 : コンピュータはうそがつけるか

小倉, 久和

近代科学社
7 図書 数学基礎論

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

筑摩書房
2 図書 コンピュータとプログラミング

土屋, 誠司, 芋野, 美紗子

創元社
8 図書 数学基礎論

隈部, 正博(1962-)

放送大学教育振興会
3 図書 情報工学基礎論

田村, 進一

培風館
9 図書 数学基礎論

竹内, 外史(1926-)

共立出版
4 図書 人間・社会・コンピュータの情報処理原論

野崎, 昭弘(1936-)

ベレ出版
10 図書 数学基礎論

隈部, 正博(1962-)

放送大学教育振興会
5 図書 証明論入門 : 数学基礎論改題

竹内外史,八杉満利子

共立出版
11 電子ブック 数学基礎論

新井, 敏康

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

黒田, 成勝(1905-1972)

[出版者不明]
12 図書 現代数学入門 : 集合・理論からコンピューターまで

Willerding, Margaret F., Hayward, Ruth A, 宮本, 敏雄(1913-), 須斎, 由太郎

明治図書出版