この商品を友人に教える:
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity Nourani, Cyrus F. (Simon Fraser University, British Columbia, Canada) 第1 版
価格
¥ 17.734
税抜
遠隔倉庫からの取り寄せ
発送予定日 年9月1日 - 年9月17日
Nourani, Cyrus F. (Simon Fraser University, British Columbia, Canada) の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
他の形態でも入手可能：
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
Nourani, Cyrus F. (Simon Fraser University, British Columbia, Canada)
This book presents new techniques with functorial models to address important areas on pure mathematics and computability theory from the algebraic viewpoint. The reader is first introduced to categories and functorial models, with Kleene algebra examples for languages. Functorial models for Peano arithmetic are described toward important comput
310 pages
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2021年3月31日 |
| ISBN13 | 9781774635759 |
| 出版社 | Apple Academic Press Inc. |
| ページ数 | 310 |
| 寸法 | 150 × 220 × 10 mm · 453 g |
| 言語 | 英語 |
