形式論理と計算可能性

• タイトルヨミ: ケイシキロンリトケイサンカノウセイ
• シリーズ名: 東京大学工学教程 情報工学
• シリーズ名ヨミ: トウキョウダイガクコウガクキョウテイ ジョウホウコウガク
• 著編者等／著者名等: 蓮尾一郎‖著 浅田和之‖著 東京大学工学教程編纂委員会‖編
• 統一著者名: 蓮尾一郎 浅田和之 東京大学
• 著編者等ヨミ／著者名等ヨミ: ハスオイチロウ アサダカズユキ トウキョウダイガク
• 出版者: 丸善出版
• 出版地: 東京
• 出版年: 2024.9
• 大きさ: 11,192p
• 件名: 数学基礎論
• 分類: 410.9,410.9
• ISBN: 978-4-621-31014-4
• マークNo: TRC24036553
• タイトルコード: 1000001700076
• 資料番号: 010808103
• 請求記号: 410.9/ﾊｽ ｹ
• 内容紹介: 情報工学を含む情報関連分野の基礎となる形式論理と計算可能性に関して、理論のユーザーとしての視点でコンパクトに解説。これらの理論を専門分野に応用できるよう、理論展開の動機付けや全体のストーリーの構成に意を尽くす。
• 種別: 図書
• 配架場所: 03141