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

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

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

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

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