新規登録・ログイン
タグ:コンピューターサイエンスの検索結果
コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ-
青土社
2015/02
4
照井一成
#数学
#コンピューターサイエンス
#計算論
#論理学
読んだ
読みたい
amazonで見る
論理学
東京大学出版会
1994/02
1
野矢 茂樹
#数学
#コンピューターサイエンス
#計算論
#情報科学
#論理学
読んだ
読みたい
amazonで見る