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