应用逻辑
Anil Nerode Richard A.Shoreآپ کو یہ کتاب کتنی پسند ہے؟
فائل کی کوالٹی کیا ہے؟
کوالٹی کا جائزہ لینے کے لیے کتاب ڈاؤن لوڈ کریں
فائل کی کوالٹی کیا ہے؟
书签已装载,
书签制作方法请找 yjyouaremysunshine@163.com
完全免费
“本书无疑是计算机科学最富成效的入门教科书之一……我们强烈建议把它作为教科书……”
——美国计算机协会自动机与可计算性理论专业组 (SIGACT)
这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书。书中主要介绍了消解定理证明、逻辑式程序设计和非经典逻辑(模态逻辑和直觉主义逻辑),所用的方法与数理逻辑的经典著作有很大不同,更加适合研究计算机理论的读者,可以帮助他们更好地理解计算机理论中的许多概念,是一本真正面向计算机科学的逻辑著作。另外,每章最后给出了进一步阅读建议,书末又分主题给出了相当多的参考文献,便于读者深入学习。
本书不要求读者具备逻辑基础知识,适合计算机科学系和数学系高年级本科生以及低年级研究生使用。
书签制作方法请找 yjyouaremysunshine@163.com
完全免费
“本书无疑是计算机科学最富成效的入门教科书之一……我们强烈建议把它作为教科书……”
——美国计算机协会自动机与可计算性理论专业组 (SIGACT)
这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书。书中主要介绍了消解定理证明、逻辑式程序设计和非经典逻辑(模态逻辑和直觉主义逻辑),所用的方法与数理逻辑的经典著作有很大不同,更加适合研究计算机理论的读者,可以帮助他们更好地理解计算机理论中的许多概念,是一本真正面向计算机科学的逻辑著作。另外,每章最后给出了进一步阅读建议,书末又分主题给出了相当多的参考文献,便于读者深入学习。
本书不要求读者具备逻辑基础知识,适合计算机科学系和数学系高年级本科生以及低年级研究生使用。
سب زمرہ:
سال:
2007
ناشر کتب:
机械工业出版社
زبان:
chinese
صفحات:
284
ISBN 10:
7111214048
ISBN 13:
9787111214045
سیریز:
计算机科学丛书
فائل:
PDF, 18.31 MB
آپ کے ٹیگز:
IPFS:
CID , CID Blake2b
chinese, 2007
آن لائن پڑھیں
- ڈاؤن لوڈ کریں
- pdf 18.31 MB Current page
- Checking other formats...
- میں تبدیل کریں
- ;MB8  سے بڑی فائلوں کی تبدیلی کو غیر مقفل کریں۔ Premium
اپنی کتاب کی دکان شامل کرنا چاہتے ہیں؟ ہم سے support@z-lib.do پر رابطہ کریں۔
فائل آپ کے ای میل ایڈریس پر بھیجی جائگی۔ اسے موصول ہونے میں 5 منٹ تک کا وقت لگ سکتا ہے۔.
فائل آپ کو Telegram میسنجر کے ذریعے بھیجی جائے گی۔ آپ کو اسے موصول ہونے میں ۵-۱ منٹ لگ سکتے ہیں۔
نوٹ: یقینی بنائیں کہ آپ نے اپنے اکاؤنٹ کو Z-Library Telegram bot سے جوڑا ہے۔
فائل آپ کے Kindle اکاؤنٹ میں بھیجی جائے گی۔ آپ کو اسے موصول ہونے میں ۵-۱ منٹ لگ سکتے ہیں۔
نوٹ کریں : آپ کو ہر کتاب کی تصدیق کرنی ہوگی جسے آپ اپنے Kindle میں بھیجنا چاہیں۔ Amazon Kindle سے تصدیقی ای میل کے لیے اپنا میل باکس چیک کریں۔
میں تبدیلی جاری ہے۔
میں تبدیلی ناکام ہو گئی۔
پریمیم فوائد
- ای ریڈر کو بھیجیں
- بڑھتی ہوئی ڈاؤن لوڈ کی حد
- فائل کنورٹر
- مزید تلاش کے نتائج
- دیگر فوائد