|
题名:
|
Mathematical logic Mathematical logic / H.-D. Ebbinghaus，J. Flum，W. Thomas[著] , |
|
ISBN:
|
9787519255725 价格： CNY89.00 |
|
语种:
|
chi |
|
载体形态:
|
10,289页 图 24cm |
|
出版发行:
|
出版地： 出版社： 出版日期： 2019.03 |
|
内容提要:
|
本书是一部难度适中的本科生数学教材。主要讲述了什么是数学证明，这些证明怎么能够被验证以及电脑在多大程度上能够执行这些数学证明。本书从一阶逻辑以及它在数学基础中的作用的讲述开始，深入阐述了Trachtenbrot的不可判定性理论，基础等值理论的Fraisse特性，一阶逻辑最? |
|
主题词:
|
数理逻辑 |
|
中图分类法:
|
O141 版次： 5 |
|
索书号:
|
6 |