Электронные книги: Языки и исчисления
24 апреля 2007
А.Х. Шень, Н.К. Верещагин
Электронная книга
(fb2 - 2.6 Мб, txt - 413.8 Кб, html - 3 Мб, epub - 3.2 Мб)
В курсе рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей).
Курс включает в себя около 200 задач различной трудности.
Курс включает в себя около 200 задач различной трудности.
Учебный курс
24.04.2007
Уровень: специалист | Доступ: свободно | Студентов: 721 / 35 | Оценка выпускников: 4.60 / 4.30
В курсе рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала…