所蔵一覧
概要
|
形式論理と計算可能性(電子書籍版)
: electronic bk
丸善出版
表紙画像は「紀伊國屋書店」のものを使用しています。
画像をクリックすると紀伊國屋書店のオンラインストアの詳細ページを表示します。 |
利用状況
この資料は貸出できません
詳細
| 登録番号 | 9MO009141 |
|---|---|
| 和洋区分 | 和書 |
| 書名,巻次,叢書名 | 形式論理と計算可能性(電子書籍版) : electronic bk |
| 巻 次 | : electronic bk |
| 版表示 | 電子書籍版 |
| 著者名 | 東京大学工学教程編纂委員会(編) 蓮尾一郎(著) 浅田和之(著) |
| 出 版 者 | 丸善出版 |
| 出版年月日 | 2024/12 |
| ISBN1 | 9784621310144 |
| 注記 | アクセス:WWWによる 本書は、基本的なトピックの中からさらに取捨選択を行い、直観や動機付けを重視しつつ技術的細部を積み上げていく、理論のユーザーとしての視点に徹したコンパクトな教科書である。読者がいくつかの結果や証明のアイデアを身につけ、自らの専門分野に応用できるよう、理論展開全体のストーリー構成がなされている。 |
| 配架場所コード | E003 メディカルオンライン |
| URLアドレス | https://mol.medicalonline.jp/library/ebooks/detail?id=12299 |
所蔵一覧
所蔵1 冊
-
1登録番号
9MO009141
配架場所コードメディカルオンライン