登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　聯絡我們　 |　運費計算　 |　幫助中心　|　 加入書簽
	全部範圍 - 圖書 - 　- 中文簡體書(大陸書) - 　- 英文書（原版） - - 音碟 - 　- 音樂 - 　- 影視 - - 雜誌 - 全文 精確	會員登入   新用戶註冊

HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類閱讀雜誌

香港／國際用戶

最新/最熱/最齊全的簡體書網

品種：超過100萬種書，正品正价，放心網購，悭钱省心

送貨：速遞 / 物流，時效：出貨後2-4日

新書推薦： 《 人工智能基础（高中版） 》 售價：NT$ 254.0 《 殷商史（中国断代史系列） 》 售價：NT$ 602.0 《 古法艾灸：寒湿一去消百病（第二版） 》 售價：NT$ 203.0 《 时间的刻度：新京报年度好书20年 》 售價：NT$ 500.0 《 中国国家图书馆藏敦煌文献·第二册 》 售價：NT$ 14280.0 《 中国诗歌艺术十五讲 》 售價：NT$ 254.0 《 HALCON机器视觉算法及应用 》 售價：NT$ 454.0 《 牙周再生术 》 售價：NT$ 3050.0

建議一齊購買： + NT$ 452 《 庄子说什么（继《道德经说什么》之后，韩鹏杰又一部道家经典解读著作，樊登作序倾情推荐） 》 + NT$ 403 《 德国知识分子批判 》 + NT$ 1121 《 金枝（全两册）（精装本） 》 + NT$ 398 《 探索中华学术（修订本）（艺文志·古典） 》 + NT$ 2035 《 傅佩荣的西方哲学课（全3卷） 》 + NT$ 602 《 从树到迷宫：关于符号和阐释的历史研究 》 內容簡介： 本书是一本面向逻辑学专业学生的逻辑学教材，适用于文科哲学、语言学、数学、思政、管理学等专业本科生、研究生。本书系统地阐述了从莱布尼茨到哥德尔的数理逻辑的思想和方法：不仅介绍了构造命题逻辑、谓词逻辑的公理系统、自然推理系统以及系统内定理的操作规则和技巧等思想的形式化方法，同时也进一步探讨了这些形式化方法所包含的生动活泼的思想（这是本书的鲜明特色），便于人们“徜徉”数理逻辑“秀山丽水”的本质与全貌。 關於作者： 昂扬，生于1939年，复旦大学哲学系副教授、逻辑学专业硕士研究生导师，四川师范大学哲学学院逻辑与信息研究所特聘教授；曾任上市逻辑学会理事。 林胜强，四川师范大学哲学研究所教授，四川师范大学逻辑与信息研究所研究员，长期从事研究生逻辑学、科学思维方法论的研究和教学工作，出版专著（教材）多部、发表论文40余篇。 李晟，四川师范大学哲学学院副教授，主要从事现代逻辑的教学与研究，发表学术论文10余篇。 目錄： 目 录 第一章数理逻辑与人工语言//001 第一节自然语言与人工语言//001 第二节数理逻辑的思想和方法的演进//005 第三节人工语言对数理逻辑的影响//011 第二章命题演算的思想和方法//018 第一节真值函项//018 第二节重言式//032 第三节范式//045 第三章命题演算系统//059 第一节重言式形式系统//059 第二节自然推理系统与重言式公理系统//072 第四章直觉主义逻辑的思想和方法//085 第一节直觉主义逻辑的思想//086 第二节直觉主义逻辑的演算系统//090 第五章元逻辑的方法和意义//098 第一节演算系统的形式定理//099 第二节演算系统的整体性质//111 第六章谓词演算的思想和方法//123 第一节日常用语的进一步刻画//123 第二节翻译中的几个问题//138 第三节谓词逻辑的核心//150 第四节解释//163 第七章谓词演算系统//176 第一节谓词演算系统//177 第二节谓词演算系统定理和导出规则//190 第三节谓词演算系统的一致性和完全性//202 第八章哥德尔不完全性定理//218 第一节形式化的算术理论//219 第二节哥德尔不完全性定理的内容和思想//222 第三节哥德尔不完全性定理的证明//228 第九章公理化方法和形式化方法//233 第一节从归约法到公理化//233 第二节从公理化到形式化//235 第三节公理化与形式化的交会//241 第十章数理逻辑思想和方法的实践//245 第一节一场逻辑争论//245 第二节关于三段论的本质//248 第三节摹状词理论的要点//253 后记//258

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式	台灣用户　|　香港/海外用户
megBook.com.tw
Copyright (C) 2013 - 2025 （香港）大書城有限公司　All Rights Reserved.