形式論理と計算可能性

著者

• 東京大学工学教程編纂委員会 トウキョウ ダイガク コウガク キョウテイ ヘンサン イインカイ
• 蓮尾, 一郎 ハスオ, イチロウ
• 浅田, 和之 アサダ, カズユキ

書誌事項

形式論理と計算可能性

東京大学工学教程編纂委員会編 ; 蓮尾一郎, 浅田和之著

（東京大学工学教程 / 東京大学工学教程編纂委員会編, . 情報工学||ジョウホウ コウガク）

丸善出版, 2024.9

タイトル別名

Formal logic and computability

タイトル読み

ケイシキ ロンリ ト ケイサン カノウセイ

電子リソースにアクセスする 全1件

• 形式論理と計算可能性(電子書籍版)

  2024.12.

  メディカルオンライン

注記

参考文献: p183-184

索引: p187-192

詳細情報

• NII書誌ID(NCID): BD08589006
• ISBN:
  • 9784621310144
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: xi, 192p
• 大きさ: 21cm
• 分類:
  • NDC9 : 410.9
  • NDC10 : 410.9
  • NDC10 : 007.1
  • NDLC : M121
• 件名:
  • BSH : 数学基礎論
  • NDLSH : 計算量理論
• 親書誌ID:
  • BB13764982