Математическая логика и теория алгоритмов — различия между версиями
Материал из Кафедра математической кибернетики
Страница-перенаправление
(→Лекции по курсу математической логики и логического программирования) |
PodymovVV (обсуждение | вклад) м (Перенаправление на Математическая логика и логическое программирование (группа 318)) |
||
| Строка 1: | Строка 1: | ||
| + | #REDIRECT [[Математическая логика и логическое программирование (группа 318)]] | ||
| + | <!-- | ||
Обязательный курс для студентов 241 группы 4 семестра обучения. Курс читает профессор [[Захаров Владимир Анатольевич|В. А. Захаров]]. | Обязательный курс для студентов 241 группы 4 семестра обучения. Курс читает профессор [[Захаров Владимир Анатольевич|В. А. Захаров]]. | ||
| Строка 59: | Строка 61: | ||
[[Категория:Лекционные курсы кафедры МК]] | [[Категория:Лекционные курсы кафедры МК]] | ||
| + | --> | ||
