Хорошая книга для начального знакомства с математической логикой. Всё основное, о чём стоит знать программистам есть. Не понял, правда, почему в теореме 45 смешиваются понятия корректности и непротиворечивости.
Avval ommaboplar
Izoh qoldiring
Kirish, kitobni baholash va sharh qoldirish
1
Нет в продаже
Janrlar va teglar
Yosh cheklamasi:
0+Litresda chiqarilgan sana:
12 noyabr 2015Oxirgi yangilanish:
2012Hajm:
241 Sahifa ISBN:
978-5-4439-0013-1Umumiy o'lcham:
1.7 МБUmumiy sahifalar soni :
241Mualliflik huquqi egasi:
МЦНМОФормат скачивания:
pdf
«Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления» kitobiga sharhlar