Хорошая книга для начального знакомства с математической логикой. Всё основное, о чём стоит знать программистам есть. Не понял, правда, почему в теореме 45 смешиваются понятия корректности и непротиворечивости.
Основной контент книги Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления
matnPDFHajm 241 sahifa
2012 yil
Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления
1
Sotuvda yo'q
Kitob haqida
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей).
Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга содержит около 200 задач различной трудности.
Avval ommaboplar
Izoh qoldiring
Kirish, kitobni baholash va sharh qoldirish
Kitob А. Х. Шеня, Н. К. Верещагина «Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления» - pdf-ga yuklab oling yoki internetda o'qing. Sharhlar va fikr-mulohazalarni qoldiring, o'zingiz yoqtirganlarga ovoz bering.
Izohlar
1