English version of this page
На главную страницу
Официальный сайт кафедры Математической теории интеллектуальных систем и лабораторий Проблем теоретической кибернетики и Математичеких проблем искусственного интеллекта механико-математического факультета МГУ им. М. В. Ломоносова
На первую страницу сервера Новости Кафедра Сотрудники Учеба Наука Исследования Журнал Культура Канал кафедры МаТИС в Телеграм
 ТДФ Теория дискретных функций – лекции и семинары для студентов 1 курса (II поток)
 Ташкентский филиал Ташкентский филиал МГУ им. М.В. Ломоносова
 Семинары расписание специальных семинаров кафедры МаТИС
 Курсы расписание специальных курсов кафедры, программа курсов
 Практикум cпециальный математический практикум кафедры МаТИС, III курс
 Студенты список студентов кафедры по курсам и группам, расписание занятий, выпускники
 Магистратура информация для поступающих в магистратуру
 Аспирантура информация для аспирантов и поступающих в аспирантуру; списки аспирантов

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

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

  • А. М. Миронов. Вероятностный алгоритм проверки чисел на простоту (190 кб)
    Необходимые сведения из теории групп – Группы, связанные с целыми числами – Вероятностный алгоритм проверки числа на простоту.
  • А. М. Миронов. Теорема Гёделя (лекция) (160 кб)
    Аксиоматический метод – Строки и функции на них – Формальные системы – Оператор доказуемости – Лемма о неподвижной точке – Теорема Гёделя.
  • А. М. Миронов. Математическая логика. Учебное пособие (720 кб)
    Высказывания – Формулы логики высказываний – Анализ рассуждений – Метод резолюций для ЛВ – Введение в теорию множеств – Отношения и функции - Основные результаты теории множеств – Логика предикатов – Терема Эрбрана - Метод резолюций для ЛП – Семантический вывод – Теорема Гёделя - Модальная логика – Нечеткие логики.
  • А. М. Миронов. Математическая теория программных систем (680 кб)
    Введение – Модели систем – Темпоральная логика – Символьные вычисления - Логика LTL – Системы с передачей сообщений – Процессная алгебра – Морфизмы СП – Редукция СП – Дедуктивне рассуждения и построение инвариантов - Функциональные и логические программы.

    • Наверх

       © 2001- г. Кафедра Математической теории интеллектуальных систем, лаборатория ПТК, лаборатория МПИИ Написать вебмастеру   
    Последние новости - в телеграм-канале кафедры МаТИС: Канал кафедры МаТИС в Телеграм Rambler's Top100 Рейтинг@Mail.ru