形式論理と計算可能性 = Formal Logic and Computability

• 資料種別: 図書
• ISBN: 978-4-621-31014-4
• タイトル: 形式論理と計算可能性
• タイトルよみ: ケイシキ ロンリ ト ケイサン カノウセイ
• 著者・編者: 蓮尾一郎, 浅田和之 著
• シリーズタイトル: 東京大学工学教程 ; 情報工学
• シリーズ著者・編者: 東京大学工学教程編纂委員会 編
• 著者標目: 著者 ： 蓮尾, 一郎 ハスオ, イチロウ ( 033749277 )典拠; 著者 ： 浅田, 和之 アサダ, カズユキ ( 033749287 )典拠; 編集責任者 ： 東京大学 トウキョウ ダイガク ( 00305733 )典拠
• 出版事項: 東京 : 丸善出版 (出版)
• 出版年月日等: 2024.9
• 出版年（W3CDTF）: 2024
• 数量: 192p
• 大きさ: 21cm
• 並列タイトル等: Formal Logic and Computability
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 表現種別: テキスト
• 機器種別: 機器不用
• キャリア種別: 冊子
• 件名標目: 計算量理論 ケイサンリョウリロン ( 00576481 )典拠
• NDC10版: 007.1 : 情報学．情報科学
• NDLC: M121
• 対象利用者: 一般
• 書誌注記: 文献あり 索引あり
• 入手条件・定価: 2400円
• 所蔵機関: 国立国会図書館
• 請求記号: M121-R112
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 033702503; http://id.ndl.go.jp/bib/033702503
• 全国書誌番号: 24037534
• トーハンMARC番号: 34655567
• 目録規則: 日本目録規則2018年版
• 整理区分コード: 111

• 要約等: 基本的なトピックからさらに取捨選択を行い、直観や動機付けを重視した、理論のユーザー視点に立ったコンパクトな教科書。（提供元: 出版情報登録センター（JPRO））

目次

はじめに/第1章　集合論の基礎/第I部　形式論理/第2章　等式論理―形式論理のショウケースとして/第3章　命題論理/第4章　述語論理/第5章　命題論理および述語論理の諸性質/第II部　計算可能性/第6章　帰納的関数/第7章　帰納的関数とwhileプログラム/第8章　帰納的関数の性質/第9章　Godelの不完全性定理/参考文献/記号一覧/索引