論理と計算のしくみ

  • 岩波書店 (2007年6月27日発売)
3.73
  • (0)
  • (8)
  • (3)
  • (0)
  • (0)
本棚登録 : 94
感想 : 4
サイトに貼り付ける

本ページはアフィリエイトプログラムによる収益を得ています

Amazon.co.jp ・本 (272ページ) / ISBN・EAN: 9784000061919

感想・レビュー・書評

並び替え
表示形式
表示件数
絞り込み
  • 貸し出し状況等、詳細情報の確認は下記URLへ
    http://libsrv02.iamas.ac.jp/jhkweb_JPN/service/open_search_ex.asp?ISBN=9784000061919

  • 教科書として,講義と併用している。所有。

    大学の講義(情報科学科3年次夏学期)の教科書として指定されていた。講義に出つつ読んでいる。

    計算論理についてものすごくたくさんのことが書かれている。集合論に始まり,命題論理・述語論理・様相論理・計算可能性,そしてλ計算。

    論理は学ぶのは面白いけど,でも僕は大学院生なんだから,それだけじゃダメだよね,と思いながら,何か得られるものを探している。

    <a href=http://www.misho-web.com/bookshelf/47>みしょのねこごや - Bookshelf No.47</a>

  • 情報論理 教科書

全3件中 1 - 3件を表示

著者プロフィール

東京大学名誉教授。現在、東京大学Beyond AI 研究推進機構機構長、情報処理学会会長、放送大学客員教授。プログラミング言語やソフトウェア検証の研究に加えて、分子コンピューティングを中心に自然計算の研究を行ってきた。

「2026年 『n月刊ラムダノート「特集:計算とは何か」Vol.6, No.1(2026)』 で使われていた紹介文から引用しています。」

萩谷昌己の作品

  • 話題の本に出会えて、蔵書管理を手軽にできる!ブクログのアプリ AppStoreからダウンロード GooglePlayで手に入れよう
ツイートする
×