Опубликован: 24.11.2009 | Доступ: свободный | Студентов: 2149 / 427 | Оценка: 4.60 / 4.60 | Длительность: 02:24:00
Специальности: Программист
Лекция 9:

Логика. Исчисления высказываний и исчисление предикатов

< Лекция 1 || Лекция 9
Аннотация: В начале лекции рассказывается об истории возникновения понятия " Логика". Далее обсуждаются основные различия между исчислением высказываний и исчислением предикатов. Рассматриваются правила вывода Modus Ponens, приводятся примеры их использования.
< Лекция 1 || Лекция 9
Владислав Нагорный
Владислав Нагорный

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

Спасибо!

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

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

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

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