Официальный сайт кафедры Математической теории интеллектуальных систем и
лаборатории Проблем теоретической кибернетики
механико-математического факультета МГУ им. М. В. Ломоносова

Перейти к полному списку специальных курсов кафедры

Материалы к спецкурсу "Вычислительная логика"

А. М. Миронов. Вероятностный алгоритм проверки чисел на простоту (190 кб)
Необходимые сведения из теории групп - Группы, связанные с целыми числами - Вероятностный алгоритм проверки числа на простоту.

А. М. Миронов. Теорема Геделя (лекция) (160 кб)
Аксиоматический метод - Строки и функции на них - Формальные системы - Оператор доказуемости - Лемма о неподвижной точке - Теорема Геделя.

А. М. Миронов. Математическая логика. Учебное пособие (720 кб)
Высказывания - Формулы логики высказываний - Анализ рассуждений - Метод резолюций для ЛВ - Введение в теорию множеств - Отношения и функции - Основные результаты теории множеств - Логика предикатов - Терема Эрбрана - Метод резолюций для ЛП - Семантический вывод - Теорема Геделя - Модальная логика - Нечеткие логики.

А. М. Миронов. Математическая теория программных систем (680 кб)
Введение - Модели систем - Темпоральная логика - Символьные вычисления - Логика LTL - Системы с передачей сообщений - Процессная алгебра - Морфизмы СП - Редукция СП - Дедуктивне рассуждения и построение инвариантов - Функциональные и логические программы.

Наверх

ї 2001-2015 г. Кафедра Математической теории интеллектуальных систем, лаборатория Проблем теоретической кибернетики

Написать вебмастеру

Полнотекстовый поиск

Только точная форма слов Выводить по результатов на странице