|
Подскажите, пожалуйста, планируете ли вы возобновление программ высшего образования? Если да, есть ли какие-то примерные сроки? Спасибо! |
Опубликован: 24.11.2009 | Доступ: свободный | Студентов: 2152 / 428 | Оценка: 4.60 / 4.60 | Длительность: 02:24:00
Специальности: Программист
Теги:
Лекция 11:
Интерпретация и полнота исчисления предикатов
< Лекция 1 || Лекция 11
Аннотация: В начале лекции кратко повторяются основные понятия и термины исчисления предикатов (ИП): алфавит, множество формул, множество аксиом, множество правил вывода. Далее рассматриваются понятия интерпретации и полноты ИП. Приводится теорема Гёделя о полноте, теоремы о разрешимости ИП.
< Лекция 1 || Лекция 11
Владислав Нагорный
Лариса Парфенова
|
1) Можно ли экстерном получить второе высшее образование "Программная инженерия" ? 2) Трудоустраиваете ли Вы выпускников? 3) Можно ли с Вашим дипломом поступить в аспирантуру?
|