ようこそ!
マイページ
ご利用ガイド
組合員情報の変更
メールアドレスの変更
ログイン
サイトトップ
e
フレンズトップ
すべて
本
雑誌
CD
DVD・Blu-ray
クリア
本 こだわり検索
書名
著者名
商品説明
出版社名
出版年月
―
2026
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987
1986
1985
1984
1983
1982
年
―
1
2
3
4
5
6
7
8
9
10
11
12
月
以前
のみ
以降
ジャンル
選択してください
文庫
新書・選書
文芸
教養
人文
教育
芸術
児童
趣味
生活
地図・ガイド
就職・資格
語学
小学学参
中学学参
高校学参
辞典
コミック
ゲーム攻略本
エンターテイメント
日記手帳
社会
法律
経済
経営
ビジネス
理学
工学
コンピュータ
医学
看護学
薬学
ISBNコード
予約商品を表示しない
検索
クリア
本 >
理学
>
数学
>
数学その他
出版社名:日本評論社
出版年月:2019年12月
ISBN:978-4-535-78913-5
242P 21cm
山の上のロジック学園 不完全性定理をめぐる2週間の授業日誌
田中一之/著 バラマツヒトミ/絵
組合員価格 税込
2,475
円
(通常価格 税込 2,750円)
割引率 10%
在庫あり
生協宅配にてお届け
※ご注文が集中した場合、お届けが遅れる場合がございます。
内容紹介・もくじなど
さまざまなバックグラウンドを持つ個性豊かな入門生たちがロジックの理解を目指す物語。いよいよ最終日の演習が始まろうとしたとき、衝撃の出来事が…。『数学セミナー』好評連載、待望の書籍化!!
もくじ情報:授業1週目(等式のロジック;等式理論とブール代数;命題論理;1階論理;計算のロジック;特別講義 超準解析);授業2週目(第一不完全性定理;第二不完全性定理;不完全性定理とさまざまな論理;ランダム性と不完全性定理;ゲーデル以降の展開;五年目のペリパトス)
さまざまなバックグラウンドを持つ個性豊かな入門生たちがロジックの理解を目指す物語。いよいよ最終日の演習が始まろうとしたとき、衝撃の出来事が…。『数学セミナー』好評連載、待望の書籍化!!
もくじ情報:授業1週目(等式のロジック;等式理論とブール代数;命題論理;1階論理;計算のロジック;特別講義 超準解析);授業2週目(第一不完全性定理;第二不完全性定理;不完全性定理とさまざまな論理;ランダム性と不完全性定理;ゲーデル以降の展開;五年目のペリパトス)
著者プロフィール
田中 一之(タナカ カズユキ)
東京工業大学理学部卒業。カリフォルニア大学バークレー校Ph.D.。現在、東北大学大学院理学研究科数学専攻教授
田中 一之(タナカ カズユキ)
東京工業大学理学部卒業。カリフォルニア大学バークレー校Ph.D.。現在、東北大学大学院理学研究科数学専攻教授
同じ著者名で検索した本
演習無機化学 基本から大学院入試まで
田中勝久/ほか著
無機化学 その現代的アプローチ
田中勝久/著 中平敦/著 平尾一之/著
計算理論と数理論理学
田中一之/著
数学基礎論序説 数の体系への論理的アプローチ
田中一之/著
逆数学 定理から公理を「証明」する
ジョン・スティルウェル/著 田中一之/監訳・解説 川辺治之/訳
スマリヤン数理論理学講義 下巻/不完全性定理の先へ
レイモンド・M・スマリヤン/著 田中一之/監訳 川辺治之/訳
スマリヤン数理論理学講義 上巻/不完全性定理の理解のために
レイモンド・M・スマリヤン/著 田中一之/監訳 川辺治之/訳
シュライバー アトキンス無機化学 下
Mark Weller/著 Tina Overton/著 Jonathan Rourke/著 Fraser Armstrong/著 田中勝久/訳者代表
シュライバー アトキンス無機化学 上
Mark Weller/著 Tina Overton/著 Jonathan Rourke/著 Fraser Armstrong/著 田中勝久/訳者代表
もくじ情報:授業1週目(等式のロジック;等式理論とブール代数;命題論理;1階論理;計算のロジック;特別講義 超準解析);授業2週目(第一不完全性定理;第二不完全性定理;不完全性定理とさまざまな論理;ランダム性と不完全性定理;ゲーデル以降の展開;五年目のペリパトス)
もくじ情報:授業1週目(等式のロジック;等式理論とブール代数;命題論理;1階論理;計算のロジック;特別講義 超準解析);授業2週目(第一不完全性定理;第二不完全性定理;不完全性定理とさまざまな論理;ランダム性と不完全性定理;ゲーデル以降の展開;五年目のペリパトス)