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

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

フォーマット:
図書
タイトルのヨミ:
ショウメイ ト ロンリ ニ ツヨク ナル : ロンリシキ ノ ヨミカタ カラ、ゲーデル ノ モンゼン マデ
責任表示:
小島寛之著
言語:
日本語
出版情報:
東京 : 技術評論社, 2017.2
形態:
351p ; 19cm
著者名:
小島, 寛之(1958-) <DA05756183>  
シリーズ名:
知の扉シリーズ <BB13122759>
書誌ID:
BB22871983
ISBN:
9784774186641 [4774186643]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 例題で学ぶ集合と論理

鈴木, 登志雄

森北出版
7 図書 証明論入門

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

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

難波, 完爾(1939-)

朝倉書店
8 図書 知的エージェントのための集合と論理

中島, 秀之(1952-)

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

渡辺, 治(1958-), 北野, 晃朗(1958-), 木村, 泰紀(1970-), 谷口, 雅治(1966-)

朝倉書店
9 図書 学んでみよう!記号論理

高崎, 金久(1956-)

日本評論社
4 図書 数学と論理と

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

東京図書
10 図書 現代論理学の基礎 : 経済学での応用例

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

富士書店
5 図書 数学的推論が世界を変える : 金融・ゲーム・コンピューター

小島, 寛之(1958-)

NHK出版
11 図書 論理

中谷, 太郎(1903-)

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

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

丸善
12 図書 証明の読み方・考え方 : 数学的思考過程への手引

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

共立出版