«Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления» kitobiga sharhlar, 1 sharh

Хорошая книга для начального знакомства с математической логикой. Всё основное, о чём стоит знать программистам есть. Не понял, правда, почему в теореме 45 смешиваются понятия корректности и непротиворечивости.

Kiring, kitobni baholash va sharh qoldirish uchun
Sotuvda yo'q
Yosh cheklamasi:
0+
Litresda chiqarilgan sana:
12 noyabr 2015
Yozilgan sana:
2012
Hajm:
241 Sahifa
ISBN:
978-5-4439-0013-1
Umumiy o'lcham:
1.7 МБ
Umumiy sahifalar soni :
241
Mualliflik huquqi egasi:
МЦНМО
Yuklab olish formati:
Audio
Средний рейтинг 4,2 на основе 1013 оценок
Matn, audio format mavjud
Средний рейтинг 4,1 на основе 7 оценок
Matn, audio format mavjud
Средний рейтинг 4,7 на основе 986 оценок
Audio
Средний рейтинг 4,8 на основе 5211 оценок
Matn, audio format mavjud
Средний рейтинг 4,5 на основе 53 оценок
Matn, audio format mavjud
Средний рейтинг 4,7 на основе 7161 оценок
Matn
Средний рейтинг 4,9 на основе 314 оценок
Matn, audio format mavjud
Средний рейтинг 4,9 на основе 7 оценок
Matn, audio format mavjud
Средний рейтинг 4,9 на основе 174 оценок
Audio
Средний рейтинг 4,6 на основе 139 оценок
Matn PDF
Средний рейтинг 4 на основе 4 оценок