Вы здесь

Основы математики. Лекция 2

Лекция Хит
Партнёр:
Предмет:
Курс лекций:
Дата записи:
19.09.11
Дата публикации:
19.09.11
Код для блога:

Логика:

  • Логика высказываний.
  • Таблицы истинности.
  • Пропозициональные формулы.
  • Кванторы. Предикаты.
  • Языки логики первого порядка.
  • Интерпретация языков.

Комментарии