Хорошая книга для начального знакомства с математической логикой. Всё основное, о чём стоит знать программистам есть. Не понял, правда, почему в теореме 45 смешиваются понятия корректности и непротиворечивости.
Оставьте отзыв
А. Х. Шень, Н. К. Верещагин, 0 weitere Autoren
Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисленияPDF
Link kopieren
Wir verwenden Cookies, um Ihnen eine schnellere und komfortablere Nutzung der Website zu ermöglichen.Mehr erfahren
Отзывы 1