数理逻辑（第2版）
[美]Herbert B.Enderton，沈复兴，陈磊，孙运传
本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑，一阶逻辑，不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强，组织结构更灵活，授课教师可根据数学需要节选本书的内容，反映了近几年来理论计算机科学对逻辑学产生的影响。
سب زمرہ:
سال:
2007
ناشر کتب:
人民邮电出版社
زبان:
chinese
صفحات:
240
ISBN 10:
7115143110
ISBN 13:
9787115143112
سیریز:
图灵计算机科学丛书
فائل:
PDF, 3.05 MB
IPFS:
,
chinese, 2007
Amazon 
Barnes & Noble 
Bookshop.org
اپنی کتاب کی دکان شامل کرنا چاہتے ہیں؟ ہم سے support@z-lib.fm پر رابطہ کریں۔
فائل کنورٹر
مزید تلاش کے نتائج
دیگر فوائد 
متعلقہ بک لسٹیں
