Опубликован: 24.11.2009 | Уровень: специалист | Доступ: платный
Лекция 11:

Интерпретация и полнота исчисления предикатов

< Лекция 1 || Лекция 11
Аннотация: В начале лекции кратко повторяются основные понятия и термины исчисления предикатов (ИП): алфавит, множество формул, множество аксиом, множество правил вывода. Далее рассматриваются понятия интерпретации и полноты ИП. Приводится теорема Гёделя о полноте, теоремы о разрешимости ИП.
< Лекция 1 || Лекция 11
Владислав Нагорный
Владислав Нагорный

Подскажите, пожалуйста, планируете ли вы возобновление программ высшего образования? Если да, есть ли какие-то примерные сроки?

Спасибо!

Лариса Парфенова
Лариса Парфенова

1) Можно ли экстерном получить второе высшее образование "Программная инженерия" ?

2) Трудоустраиваете ли Вы выпускников?

3) Можно ли с Вашим дипломом поступить в аспирантуру?

 

алексей оглы
алексей оглы
Россия
рафич Салахиев
рафич Салахиев
Россия