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

• Material Type: 図書
• ISBN: 978-4-621-31014-4
• Title: 形式論理と計算可能性
• Title Transcription: ケイシキ ロンリ ト ケイサン カノウセイ
• Author/Editor: 蓮尾一郎, 浅田和之 著
• Series Title: 東京大学工学教程 ; 情報工学
• Author/Editor (Series Title): 東京大学工学教程編纂委員会 編
• Author Heading: 著者 ： 蓮尾, 一郎 ハスオ, イチロウ ( 033749277 )Authorities; 著者 ： 浅田, 和之 アサダ, カズユキ ( 033749287 )Authorities; 編集責任者 ： 東京大学 トウキョウ ダイガク ( 00305733 )Authorities
• Publication, Distribution, etc.: 東京 : 丸善出版 (出版)
• Publication Date: 2024.9
• Publication Date (W3CDTF): 2024
• Extent: 192p
• Size: 21cm
• Alternative Title: Formal Logic and Computability
• Place of Publication (Country Code): JP
• Text Language Code: jpn
• Content Type: テキスト
• Media Type: 機器不用
• Carrier Type: 冊子
• Subject Heading: 計算量理論 ケイサンリョウリロン ( 00576481 )Authorities
• NDC 10th ed.: 007.1 : Information science. Informatics
• NDLC: M121
• Target Audience: 一般
• Note (Bibliography): 文献あり 索引あり
• Price: 2400円
• Holding library: 国立国会図書館
• Call No.: M121-R112
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 033702503; http://id.ndl.go.jp/bib/033702503
• National Bibliography No. (JPNO): 24037534
• TOHAN MARC No.: 34655567
• Cataloging Rule: Nippon Cataloging Rules 2018 Edition
• Bibliographic Record Category (NDL): 111

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

Table of Contents

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