検索結果書誌一覧

  • 分類記号='929.363'
  • 該当件数は 15 件です。 1 件目から 10 件目を表示しています。
  • NEW は新着資料、 BEST は予約が多い資料です。
しぼり込み

検索結果一覧表
No. 書誌種別 書名 著者 出版者 出版年月 分類 貸出 操作
1 図書 数学的推論が世界を変える 金融・ゲーム・コンピューター NHK出版新書 394 小島 寛之／著 NHK出版 2012/12 410.96 ○
2 図書 論理学入門 ちくま学芸文庫 タ41-1 丹治 信春／著 筑摩書房 2014/05 410.96 ○
3 図書 コンピュータは数学者になれるのか? 数学基礎論から証明とプログラムの理論へ 照井 一成／著 青土社 2015/03 410.96 ×
4 図書 証明と論理に強くなる 論理式の読み方から、ゲーデルの門前まで 知の扉シリーズ 小島 寛之／著 技術評論社 2017/02 410.96 ○
5 図書 現代数理論理学入門 J.N.クロスリー／[ほか]著 共立出版 2017/04 410.96 ○
6 図書 情報理論のための数理論理学 数学のかんどころ ここがわかれば数学はこわくない! 31 板井 昌典／著 共立出版 2017/08 410.96 ○
7 図書 スマリヤン数理論理学講義 上巻 不完全性定理の理解のために レイモンド・M.スマリヤン／著 日本評論社 2017/09 410.96 ○
8 図書 はじめての数理論理学 証明を作りながら学ぶ記号論理の考え方 山田 俊行／著 森北出版 2018/07 410.96 ○
9 図書 スマリヤン数理論理学講義 下巻 不完全性定理の先へ レイモンド・M.スマリヤン／著 日本評論社 2018/09 410.96 ○
10 図書 数学教師が教えるやさしい論理学 涌井 良幸／著 ベレ出版 2023/03 410.96 ○
1  2  次へ 最後へ 

カートを確認して 予約に進みます。

前のページへ
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。