«Лекции по математической логике и теории алгоритмов. Часть 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 4,2, 562 ta baholash asosida
Тайна мертвого ректора. Книга 2Виктор Дашкевич
Audio
O'rtacha reyting 4,7, 1024 ta baholash asosida
Тайна мертвого ректора. Книга 2Виктор Дашкевич
Matn, audio format mavjud
O'rtacha reyting 4,7, 450 ta baholash asosida
За спинойМайк Омер
Audio
O'rtacha reyting 4,2, 12 ta baholash asosida
Забаненный – 2Михаил Атаманов
Audio
O'rtacha reyting 4,6, 19 ta baholash asosida
Внешняя агрессияМакс Глебов
Matn, audio format mavjud
O'rtacha reyting 4,8, 863 ta baholash asosida
Внешняя агрессияМакс Глебов
Audio
O'rtacha reyting 4,8, 167 ta baholash asosida
За спинойМайк Омер
Matn, audio format mavjud
O'rtacha reyting 4,8, 6 ta baholash asosida
Уравнение с тремя неизвестнымиЛюдмила Мартова
Matn
O'rtacha reyting 4,7, 41 ta baholash asosida

Muallifning boshqa kitoblari

Лекции по дискретной математикеА. Х. Шень и др.
Matn PDF
O'rtacha reyting 4, 4 ta baholash asosida