Математическая логика и теория алгоритмов — различия между версиями

Материал из Кафедра математической кибернетики
Страница-перенаправление
Перейти к: навигация, поиск
(Лекции по курсу математической логики и логического программирования)
м
 
(не показаны 3 промежуточных версий 2 участников)
Строка 1: Строка 1:
 +
#REDIRECT [[Математическая логика и логическое программирование (группа 318)]]
  
 +
<!--
 
Обязательный курс для студентов 241 группы 4 семестра обучения. Курс читает профессор [[Захаров Владимир Анатольевич|В. А. Захаров]].
 
Обязательный курс для студентов 241 группы 4 семестра обучения. Курс читает профессор [[Захаров Владимир Анатольевич|В. А. Захаров]].
  
Строка 38: Строка 40:
 
Лекция 13. '''Модальные логики.''' '''[[Media: Lect241_13.pdf| Лекция 13.]]'''
 
Лекция 13. '''Модальные логики.''' '''[[Media: Lect241_13.pdf| Лекция 13.]]'''
  
Лекция 14. '''Задача верификации программ. Логика Хоара''' '''[[Media: Lect241_14.pdf| Лекция 14.]]'''
+
Лекция 14. '''Задача верификации программ. Логика Хоара.''' '''[[Media: Lect241_14.pdf| Лекция 14.]]'''
  
 
Лекция 15. '''Аксиоматические теории. Элементарная геометрия. Теория множеств. Арифметика Пеано.''' '''[[Media: Lect241_15.pdf| Лекция 15.]]'''
 
Лекция 15. '''Аксиоматические теории. Элементарная геометрия. Теория множеств. Арифметика Пеано.''' '''[[Media: Lect241_15.pdf| Лекция 15.]]'''
Строка 59: Строка 61:
  
 
[[Категория:Лекционные курсы кафедры МК]]
 
[[Категория:Лекционные курсы кафедры МК]]
 +
-->

Текущая версия на 12:19, 7 февраля 2019