ようこそ!
文庫
新書・選書
文芸
教養
人文
教育
芸術
児童
趣味
生活
地図・ガイド
就職・資格
語学
小学学参
中学学参
高校学参
辞典
コミック
ゲーム攻略本
エンターテイメント
日記手帳
社会
法律
経済
経営
ビジネス
理学
工学
コンピュータ
医学
看護学
薬学
出版社名:晃洋書房
出版年月:2019年8月
ISBN:978-4-7710-3207-1
274P 22cm
論理と分析 文系のための記号論理入門
金子裕介/著
組合員価格 税込 3,031
(通常価格 税込 3,190円)
割引率 5%
お取り寄せ
お届け日未定
※ご注文が集中した場合、お届けが遅れる場合がございます。
内容紹介・もくじなど
ゲンツェンの自然演繹NKを中心に据え、述語論理の完全性定理、健全性定理まで見通しのよい道筋を描く。
もくじ情報:イントロダクション;第1部 構文論と意味論;第2部 命題論理の構文論;第3部 命題論理の意味論;第4部 述語論理の構文論;第5部 述語論理の意味論;第6部 完全性定理と健全性定理
ゲンツェンの自然演繹NKを中心に据え、述語論理の完全性定理、健全性定理まで見通しのよい道筋を描く。
もくじ情報:イントロダクション;第1部 構文論と意味論;第2部 命題論理の構文論;第3部 命題論理の意味論;第4部 述語論理の構文論;第5部 述語論理の意味論;第6部 完全性定理と健全性定理
著者プロフィール
金子 裕介(カネコ ユウスケ)
2009年東京大学大学院人文社会系研究科基礎文化研究専攻哲学専門分野博士課程修了。東京大学次世代人文学開発センター研究員(ウィーン大学にて在外研究2010.9‐2011.2)などを経て、現在、明治大学ほか非常勤講師(本データはこの書籍が刊行された当時に掲載されていたものです)
金子 裕介(カネコ ユウスケ)
2009年東京大学大学院人文社会系研究科基礎文化研究専攻哲学専門分野博士課程修了。東京大学次世代人文学開発センター研究員(ウィーン大学にて在外研究2010.9‐2011.2)などを経て、現在、明治大学ほか非常勤講師(本データはこの書籍が刊行された当時に掲載されていたものです)