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

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

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