Основы математики. Лекция 2
Лекция ХитПартнёр:
Предмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
19.09.11
Дата публикации:
19.09.11
Код для блога:
Логика:
- Логика высказываний.
- Таблицы истинности.
- Пропозициональные формулы.
- Кванторы. Предикаты.
- Языки логики первого порядка.
- Интерпретация языков.
Другие лекции курса
12