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

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

Kirish, kitobni baholash va sharh qoldirish
А. Х. Шень
va boshqalar
Matn PDF
1
izoh
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:

Ushbu kitob bilan o'qiladi

Трансерфинг себяВадим Зеланд
Audio
O'rtacha reyting 3,9, 78 ta baholash asosida
Фею не драконить!Милена Завойчинская
Matn, audio format mavjud
O'rtacha reyting 4,8, 221 ta baholash asosida
Тайна мертвого ректора. Книга 1Виктор Дашкевич
Matn, audio format mavjud
O'rtacha reyting 4,7, 717 ta baholash asosida
Тайна мертвого ректора. Книга 1Виктор Дашкевич
Audio
O'rtacha reyting 4,7, 1269 ta baholash asosida
12 недель в годуБрайан Моран и др.
Audio
O'rtacha reyting 4,5, 261 ta baholash asosida
Смотри не перепутай, дракон!Надежда Мамаева и др.
Matn, audio format mavjud
O'rtacha reyting 4,7, 125 ta baholash asosida

Muallifning boshqa kitoblari