購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
登入帳戶
| 訂單查詢
| 購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
||
 HOME 新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類瀏覽雜誌 |
臺灣用戶 |
 |
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 | 服務：香港／台灣／澳門／海外 | 送貨：速遞／郵局／服務站 |  |
在 大書城
以“
全文
模式”搜“
胡世华，陆钟万
”共有
9
结果：
|
同時支援繁體 / 正體 / 简体字輸入搜索 |
 |
面向计算机科学的数理逻辑 第二版
『简体书』 作者：陆钟万 出版：科学出版社 日期：2020-08-01 本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。本书在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求。本书研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。本书大部分章节附有习题。 ... |
詳情>> | |
 |
数理逻辑基础（上册）
『简体书』 作者：胡世华，陆钟万 出版：科学出版社 日期：2017-04-01 本书介绍数理逻辑的基础知识，包括逻辑演算的基本内容。这些内容构成数理逻辑各个分支模型论、证明论和构造性数学、递归论、集合论的共同的基础。《BR》本书共六部分，分上、下两册。上册包括绪论、*章和第二章。绪论对数理逻辑的性质，逻辑演算的大概内容。以及阅读以后各章所需要的预备知识作了简要的说明。*章构造命 ... |
詳情>> | |
 |
数理逻辑基础（下册）
『简体书』 作者：胡世华，陆钟万 出版：科学出版社 日期：2017-04-01 《现代数学基础丛书典藏版2：数理逻辑基础（下册）》陈述数理逻辑的基础知识，包括逻辑演算的基本内容。这些内容构成数理逻辑各个分支（模型论、证明论和构造性数学、递归论、集合论）的共同的基础。 《现代数学基础丛书典藏版2：数理逻辑基础（下册）》共六部分，分上、下两册。下册包括第三、四、五章和两个附录。第 ... |
詳情>> | |
 |
基础材料行业资源消耗与废物排放研究
『简体书』 作者：陆钟武等 出版：科学出版社 日期：2020-11-01 本书以科学发展观、全面深化改革为指导思想，采用分析思维还原论与综合思维整体论二者相结合的方式，基于研究组在工业生态学研究工作中长期积累起来的理论成果，建立基础材料行业宏观调控的一套新理论和新方法，其核心是基础材料行业宏观调控网络图。用这套理论和方法，回顾过去，阐明我国基础材料行业产量高、能耗高、物耗 ... |
詳情>> | |
 |
工业生态学基础
『简体书』 作者：陆钟武 出版：科学出版社 日期：2009-11-01 《工业生态学基础》共分17章，分属6篇。篇第1~3章为绪论；第二篇第4~6章介绍经济增长与环境负荷；第三篇第7~9章为资源环境综合分析；第四篇第10~12章介绍生态设计和环境评价；第五篇第13~16章介绍循环经济和物质循环；第六篇第17章介绍企业的绿色化。 ... |
詳情>> | |
 |
四川省铁矿成矿规律
『简体书』 作者：胡朝云，胡世华 等 出版：科学出版社 日期：2015-03-06 《四川省铁矿成矿规律》可供地质学、矿床学、矿产勘查等领域的科研、教学参考用书。 ... |
詳情>> | |
 |
工业生态学研究（英文版）
『简体书』 作者：陆钟武，岳强 等著 出版：科学出版社 日期：2015-07-01 ... |
詳情>> | |
 |
北大老宿舍纪事：中关园
『简体书』 作者：张晓岚，陈其，陈端 等 出版：北京大学出版社 日期：2014-06-01 作为北大家属老宿舍区，中关园是人文荟萃的园区。《北大老宿舍纪事：中关园》所收既有缅怀前辈学者的篇章，又有记录童年的文字，很好地再现了中关园昔日的人文和生活气息。 ... |
詳情>> | |
 |
在逻辑与哲学之间
『简体书』 作者：张建军 出版：中国社会科学出版社 日期：2013-12-01 南京大学哲学系逻辑学科具有深厚的历史传统，著名学者汤用彤、牟宗三、胡世华、何兆清、倪青元、殷海光等曾在原中央大学和金陵大学哲学系从事逻辑教学与研究，莫绍揆等著名数理逻辑专家也长期关心与支持哲学系逻辑学科的发展。1960年南京大学恢复哲学专业之际即设立了逻辑学教研室，改革开放以来，特别是l983年获得 ... |
詳情>> | |
| >>> （頁碼:1/1 行數:20/9） 1 |
如果未能搜尋到意向中的書籍，可以參看：“找書說明” 或 “尋書登記服務”
| 書城介紹 | 合作申請 | 索要書目 | 新手入門 | 聯絡方式 | 幫助中心 | 找書說明 | 送貨方式 | 付款方式 | 香港用户 | 台灣用户 | 海外用户 |
| megBook.com.hk | |
| Copyright © 2013 - 2025 （香港）大書城有限公司 All Rights Reserved. | |