Электронные книги: Языки и исчисления

Языки и исчисления
А.Х. Шень, Н.К. Верещагин
Электронная книга
(fb2 - 2.6 Мб, txt - 413.8 Кб, html - 3 Мб, epub - 3.2 Мб)
В курсе рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей).
Курс включает в себя около 200 задач различной трудности.
Цена: 100.00 руб. | Купить |  | 

Учебный курс

Языки и исчисления
Уровень: специалист | Доступ: свободно | Студентов: 690 / 29 | Оценка выпускников: 4.60 / 4.30
В курсе рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала…