网站首页
软件下载
游戏下载
翻译软件
电子书下载
电影下载
电视剧下载
教程攻略
请输入您要查询的图书:
书名
数理逻辑的思想和方法(精)/日月光华哲学书系
分类
科学技术-自然科学-数学
作者
出版社
上海人民出版社
下载
简介
内容推荐
先有思想的形式化还是先有形式化的思想?思想的形式化重要还是形式化的思想重要?本书将系统阐述从莱布尼茨到哥德尔的数理逻辑的思想和方法:不仅构造命题逻辑、谓词逻辑的公理系统、自然推理系统以及系统内定理的操作规则和技巧等思想的形式化方法,同时也进一步探讨这些形式化方法所包含的生动活泼的思想(这是本书的鲜明特色),便于人们“徜徉”数理逻辑“秀山丽水”的本质与全貌。本书避免使用过于复杂和烦琐的数学证明和推导,通过本书,读者会了解到不太一样的数理逻辑和逻辑哲学。
随便看
人生没岔路(59封信写给头破血流的探寻者)
新能源并网发电系统的低电压穿越/电力电子新技术系列图书
萝卜回来了/朱自强精选儿童文学读本
月亮的大衣/朱自强精选儿童文学读本
到你心里躲一躲/朱自强精选儿童文学读本
一只神奇的鹦鹉/朱自强精选儿童文学读本
太阳请假的时候/朱自强精选儿童文学读本
灾难的礼物/朱自强精选儿童文学读本
忙忙碌碌的身体/我爱我的身体
有机化学/面向21世纪课程教材
小手好灵巧/我爱我的身体
我是怎样长大的/我爱我的身体
保6争7冲8雅思词汇练这本就够了
身体里的5个小侦探/我爱我的身体
鄙视(精)/莫拉维亚作品
小鹦鹉咔咔嘟(精)
零难度亲子瑜伽
悲剧的诞生(精)
希腊悲剧时代的哲学(精)
作为教育家的叔本华(精)
臭毛病(精)
青蛙王子变形记(精)
运动中的身体/我爱我的身体
论我们教育机构的未来(精)
大学生职业生涯规划与管理
ACDSee 2025 家庭版
AutoCAD 2004
solidworks
逆转裁判3(Ace Attorney3)
报表转绘王
金鼎餐饮通
不懂输入法(普通码改良版)
ROM定制大师
繁星哈希软件
乐易佳数码照片数据恢复软件
Honey Select美女卡埃莉小萝莉存档 v2.0
冒险者商店两项修改器 v3.0
埃尔德里奇五项修改器 v3.0
家犬模拟八项修改器 v3.0
新浪仙神赋辅助工具 v2.3.3
电竞俱乐部四项修改器 v3.0
三十六计顽童辅助 v1.0.9
疯狂派对大亨两项修改器 v3.0
最高统治者终极版十一项修改器 v3.0
环世界A17自定义物品堆叠上限MOD v2.0
fetish
fetishist
fetlock
fetter
fetters
fettle
fetus
feud
feudal
fever
[BT下载][王者大师兄][第09集][WEB-MP4/0.08G][国语配音/中文字幕][1080P][H265][DDHDTV] 剧集 2023 大陆 喜剧 连载
[BT下载][珠江人家][全35集][WEB-MP4/9.46G][国语配音/中文字幕][1080P][H265][DDHDTV] 剧集 2023 大陆 剧情 打包
[BT下载][珠江人家][全35集][WEB-MKV/22.38G][国语配音/中文字幕][4K-2160P][H265][DDHDTV] 剧集 2023 大陆 剧情 打包
[BT下载][田耕纪][全26集][WEB-MP4/15.68G][国语配音/中文字幕][1080P][DDHDTV] 剧集 2023 大陆 剧情 打包
[BT下载][真武巅峰][第88集][WEB-MP4/0.24G][国语配音/中文字幕][4K-2160P][H265][DDHDTV] 剧集 2021 大陆 动作 连载
[BT下载][第一序列][全16集][WEB-MP4/8.52G][国语配音/中文字幕][1080P][DDHDTV] 剧集 2023 大陆 动画 打包
[BT下载][第一序列][全16集][WEB-MP4/8.52G][国语配音/中文字幕][1080P][DDHDTV] 剧集 2023 大陆 动画 打包
[BT下载][虎鹤妖师录][全36集][WEB-MP4/25.39G][国语配音/中文字幕][1080P][DDHDTV] 剧集 2023 大陆 悬疑 打包
[BT下载][逆天邪神][第10集][WEB-MP4/0.38G][国语配音/中文字幕][1080P][DDHDTV] 剧集 2023 大陆 动画 连载
[BT下载][逆天邪神][第10集][WEB-MP4/0.79G][国语配音/中文字幕][4K-2160P][H265][DDHDTV] 剧集 2023 大陆 动画 连载
Win7系统提示d3dx9 36.dll丢失怎么办?
adb.exe是什么进程?安卓开发遇到adb.exe位置错误如何解决?
Windows7电脑hosts文件在哪?
守护进程是什么?linux创建守护进程的步骤详解
Win7电脑虚拟内存不足怎么办?
剑灵客户端出现错误14001怎么办?
CAD文件版本太高打不开怎么转换版本?CAD文件降低版本的方法
支付宝怎么设置指纹支付?支付宝开启指纹支付的方法
怎么卸载迅雷游戏盒子?彻底卸载迅雷游戏盒子的方法
微信怎么发布群公告?微信发布群公告教程
霍普软件下载网电子书栏目提供海量电子书在线免费阅读及下载。
Copyright © 2002-2024 101bt.net All Rights Reserved
更新时间:2025/6/29 11:48:40