IP用户,欢迎您!
登录
注册
客户端下载
使用手册
帮助中心
您的建议
书城
书城
本馆资源
高级检索
全部
题名
ISBN
作者
出版社
内容简介
首页
本馆资源
数字资源平台
>
哲学
>
哲学
>
逻辑学
>
实验逻辑学
阅读次数:
4
下载次数:
0
荐购次数:
0
收藏次数:
0
实验逻辑学
作者:
李娜编著
出版社:
南开大学出版社
出版时间:
2017.08
ISBN:
978-7-310-05351-3
主题:
实验逻辑
中图法分类号:
B81-06
【中图法分类】
B 哲学、宗教
->
B81逻辑学(论理学)
->
B81-0 逻辑学理论与方法论
【学科分类】
哲学
->
哲学
->
逻辑学
文件大小:
288.58MB
页码:
386
建议阅读终端:
随书光盘:
扫描用手机阅读此书支持Android/iPhone
在线试读
荐购
分享到
新浪微博
QQ空间
腾讯微博
豆瓣网
人人网
内容简介
《实验逻辑学》共十六章,其中第一至三章主要介绍本书所用到的软件——“塔斯基世界”,第四至十六章分别介绍运用该软件实现逻辑运算,包括原子语句及其逻辑、布尔联结词及其逻辑与证明方法、形式证明和布尔逻辑、蕴涵及其逻辑、量词及其逻辑、多重量词、量词的证明方法、形式证明和量词等。
目录
展开 ∨
发表评论
评分
1
2
3
4
5
评价:
请输入评论信息
5
0
/255
最新上架