
包邮初等模型论/姚宁远/逻辑与形而上学教科书系列

- ISBN:9787309140194
- 装帧:平装-胶订
- 册数:暂无
- 重量:暂无
- 开本:其他
- 页数:238
- 出版时间:2018-11-01
- 条形码:9787309140194 ; 978-7-309-14019-4
本书特色
本书从一阶逻辑的语法和语义开始, 介绍了紧致性定理、Lwenheim–Skolem定理、Tarski准则、量词消去、饱和模型、齐次模型、Omega-稳定理论、不可区分序列以及Morley定理等内容。
内容简介
本书从一阶逻辑的语法和语义开始, 介绍了紧致性定理、Lwenheim–Skolem定理、Tarski准则、量词消去、饱和模型、齐次模型、Omega-稳定理论、不可区分序列以及Morley定理等内容。
目录
作者简介
姚宁远 2015年获得中山大学博士学位,并于同年进入复旦大学哲学学院担任讲师,2017年在法国高等科学研究所做博士后研究。主要研究领域是模型论及其应用。现已发表SCl论文6篇,CSSCI论文1篇。获得国家自科青年基金、上海浦江计划基金以及上海晨光计划基金的资助。
-
经济数学
¥26.9¥36.0 -
j少年儿童综合素质启蒙系列读物:诗歌欣赏
¥11.4¥28.0 -
趣码小天才编程系列SCRATCH趣码快乐编程
¥50.1¥78.0 -
C语言程序设计实验教程(第二版)
¥29.1¥39.0 -
交互式计算机图形学
¥110.3¥149.0 -
华罗庚数学竞赛教程. 小学四年级
¥22.8¥42.0 -
金戈铁马:916年至1368年的中国故事
¥33.3¥66.0 -
中文版UG NX 12.0完全实战技术手册
¥70.6¥98.0 -
建筑设计1991-1995(冯·格康-玛格建筑事务所作品集)
¥68.2¥85.0 -
我国退耕还林工程对农户收入、消费及其不平等的影响研究
¥42.3¥55.0
-
思想道德与法治(2021年版)
¥6.8¥18.0 -
中医基础理论
¥51.7¥59.0 -
落洼物语
¥9.4¥28.0 -
习近平新时代中国特色社会主义思想概论
¥18.2¥26.0 -
当代中国政府与政治(新编21世纪公共管理系列教材)
¥36.0¥48.0 -
毛泽东思想和中国特色社会主义理论体系概论(2021年版)
¥9.0¥25.0 -
艺术学概论
¥14.5¥37.4 -
粒子输运数值计算方法及其应用
¥42.8¥58.0 -
艺术学概论
¥60.2¥79.0 -
毛泽东思想和中国特色社会主义理论体系概论
¥10.5¥25.0 -
智能控制
¥40.2¥56.0 -
社会学概论(第二版)
¥34.0¥55.0 -
法理学(第二版)
¥18.0¥50.0 -
全国中医药行业高等教育“十三五”规划教材中医养生学/马烈光/十三五规划
¥36.8¥55.0 -
基于python的从学习编程到解决问题
¥35.4¥53.8 -
水利工程监理
¥28.3¥42.0 -
新编大学生军事理论与训练教程
¥13.7¥39.8 -
世界现代史(1900-2000)
¥31.4¥80.0 -
水电站
¥24.4¥36.0 -
公路工程机械化施工技术-(第二版)
¥18.6¥32.0