Математическая логика
Ершов Ю.Л., Палютин Е.А.
В книге изложены основные классические исчисления математической логики исчисление высказываний и исчисление предикатов имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой.
عام:
1987
الناشر:
Наука
اللغة:
russian
الصفحات:
337
ملف:
PDF, 13.00 MB
IPFS:
,
russian, 1987
Litres
هل تريد إضافة متجر كتب؟ إتصل بنا على support@z-lib.do
حول الملفات
المزيد من نتائج البحث
مميزات أخري 
