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

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

香港／國際用戶

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

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

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

新書推薦： 《 甲骨拼合六集 》 售價：NT$ 1520.0 《 视觉美食家：商业摄影实战与创意解析 》 售價：NT$ 602.0 《 中国经济发展的新阶段：机会与选择 》 售價：NT$ 454.0 《 DK月季玫瑰百科 》 售價：NT$ 959.0 《 为你想要的生活 》 售價：NT$ 301.0 《 关键改变：如何实现自我蜕变 》 售價：NT$ 352.0 《 超加工人群：为什么有些食物让人一吃就停不下来 》 售價：NT$ 454.0 《 历史的教训（浓缩《文明的故事》精华，总结历史教训的独特见解） 》 售價：NT$ 286.0

建議一齊購買： + NT$ 368 《 关键词：文化与社会的词汇（二版） 》 + NT$ 315 《 集合论：对无穷概念的探索 》 + NT$ 324 《 逻辑与形式而上学教科书系列：数理逻辑：证明及其限度 》 內容簡介： 本书是我的《论数理逻辑和演绎方法》该书1936年最初用波兰文出版，又于1937年出版了确切的德文译本 书名是：《数理逻辑和数学方法论导论》一书部分修正了的和扩充了的版本。最初写这本书，是企图把它当作一本通俗的科学著作；其目的是向受过相当教育的普通读者提供一一用把科学的严格性和最大的可理解性结合起来的方式一一集中于现代逻辑的强大的现代思潮的一个清楚的观念。这个思潮最初是从多少受到局限的巩固数学基础的任务发生的。可是，在现阶段它却具有远为广泛的目的。因为它试图创造出可为人类知识的整体提供一种共同基础的统一的概念工具。此外，它有助于使演绎方法完全化和敏锐化，这种演绎方法在某些科学中被当作确立真理的唯一的允许的方法，而且，的确，它至少在一切智力活动的领域内，是从被公认的假设中推导出结论来的必不可少的补助的工具。 目錄： 初版序言 序言 第一部分 逻辑的元素．演绎方法 　Ⅰ论变项的用法 1．常项与变项 2．包含变项的表达式一一语句函项与指示函项 3．应用变项形成语句一一全称语句与存在语句 4．全称量词与存在量词；自由变项与约束变项 5．变项在数学中的重要性 练习 　Ⅱ论语句演算 6．逻辑常项；旧逻辑与新逻辑　 7．语句演算；语句的否定，合取式与析取式 8．蕴函式或条件语句；实质蕴函 9．蕴函式在数学中的应用 10．语句的等值式 11．定义的表述方式与定义的规则 12．语句演算的定律 13．语句演算的符号；真值函项与真值表 14．语句演算定律在推理中的应用 15．推论的规则，完全的证明 练习 　Ⅲ同一理论 16．不属于语句演算的逻辑概念；同一概念 17．同一理论的基本定律 18．事物之间的同一与指示词之间的同一；引号的用法 19．算术与几何中的相等，和它与逻辑同一的关系 20．数的量词 练习 　Ⅳ类的理论 21．类与它的元素 22．类和包含一个自由变项的语句函项 23．全类与空类 24．类与类间的基本关系 25．类的运算 26．等数类，一个类的基数，有穷类与无穷类；算术作为逻辑的一个部分 练习 　Ⅴ关系的理论 27．关系，关系的前域与关系的后域；关系与有两个自由变项的语句函项 28．关系的运算 29．关系的一些性质 30．自反的，对称的与传递的关系 第三部分　逻辑和方法论在构造数学理论中的应用 推荐的读物 索引 译者后记

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