購物車/收銀台(0) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽 |
登入帳戶
| 訂單查詢
| 購物車/收銀台(0) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽 |
|
 HOME 新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類閱讀雜誌 |
香港／國際用戶 |
 |
最新/最熱/最齊全的簡體書網 | 品種：超過100萬種書，正品正价，放心網購，悭钱省心 | 送貨：速遞 / 物流，時效：出貨後2-4日 |  |
在 大書城
以“
精确
模式”搜“
陆钟万
”共有
3
結果：
|
支援简体 / 繁體 / 正體字輸入搜索 |
 |
面向计算机科学的数理逻辑 第二版
作者：陆钟万 出版：科学出版社 日期：2020-08-01 本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。本书在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求。本书研究各种逻辑 ... |
詳情>> | 售價：NT$ 308 
|
 |
数理逻辑基础（上册）
作者：胡世华，陆钟万 出版：科学出版社 日期：2017-04-01 本书介绍数理逻辑的基础知识，包括逻辑演算的基本内容。这些内容构成数理逻辑各个分支模型论、证明论和构造性数学、递归论、集合论的共同的基础。《BR》本书共六部分，分上、下两册。上册包括绪论、*章和第二章。 ... |
詳情>> | 售價：NT$ 706
|
 |
数理逻辑基础（下册）
作者：胡世华，陆钟万 出版：科学出版社 日期：2017-04-01 《现代数学基础丛书典藏版2：数理逻辑基础（下册）》陈述数理逻辑的基础知识，包括逻辑演算的基本内容。这些内容构成数理逻辑各个分支（模型论、证明论和构造性数学、递归论、集合论）的共同的基础。 《现代数学 ... |
詳情>> | 售價：NT$ 706
|
| >>> （頁碼:1/1 行數:20/3） 1 |
| 書城介紹 | 合作申請 | 索要書目 | 新手入門 | 聯絡方式 | 幫助中心 | 找書說明 | 送貨方式 | 付款方式 | 台灣用户 | 香港/海外用户 |
| megBook.com.tw | |
| Copyright (C) 2013 - 2025 （香港）大書城有限公司 All Rights Reserved. | |