Dastlab mashhurlari
Хорошая книга для начального знакомства с математической логикой. Всё основное, о чём стоит знать программистам есть. Не понял, правда, почему в теореме 45 смешиваются понятия корректности и непротиворечивости.
Kiring, kitobni baholash va sharh qoldirish uchun
1
Sotuvda yo'q
Janrlar va teglar
Yosh cheklamasi:
0+Litresda chiqarilgan sana:
12 noyabr 2015Yozilgan sana:
2012Hajm:
241 Sahifa ISBN:
978-5-4439-0013-1Umumiy o'lcham:
1.7 МБUmumiy sahifalar soni:
241Mualliflik huquqi egasi:
МЦНМОYuklab olish formati:
«Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления» kitobiga sharhlar, 1 sharh