情報工学 形式論理と計算可能性

• Material Type: 図書
• ISBN: 9784621310144
• Title: 情報工学 形式論理と計算可能性
• Title Transcription: ジョウホウコウガク ケイシキロンリトケイサンカノウセイ
• Author/Editor: 東京大学工学教程編纂委員会 編集; 蓮尾 一郎 著・文・その他; 浅田 和之 著・文・その他
• Series Title: 東京大学工学教程
• Author Heading: 東京大学工学教程編纂委員会 トウキョウダイガクコウガクキョウテイヘンサンイインカイ; 蓮尾 一郎 ハスオ イチロウ; 浅田 和之 アサダ カズユキ
• Publication, Distribution, etc.: 丸善出版; 丸善出版 (発売)
• Publication Date (W3CDTF): 2024-09-28
• Extent: 208p
• Size: 210×148mm
• Extent (production): 208p
• Place of Publication (Country Code): JP
• Text Language Code: jpn
• Note (Binding Information): 判型 : A5
• Subject Heading: 形式論理; 計算可能性; 構文論; 意味論; モデル; 完全性; 健全性; 命題論理; 述語論理; コンパクト性; 帰納的関数; Godelの不完全性定理; 再帰定理; 停止問題; 決定不可能性; カット除去定理
• Target Audience: 一般
• Note (Content): Cコード（販売対象） : 専門; Cコード（発行形態） : 全集・双書; Cコード（内容） : 電子通信; ジャンルコード : コンピュータ
• Price: 2400
• Data Provider (Database): 出版情報登録センター : 出版情報登録センター（JPRO）

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

Table of Contents

はじめに

第1章　集合論の基礎

1.1　集合上の基本的な構成

1.2　関数

1.3　二項関係