Основы математики, лекция 2

Логика. Логика высказываний. Таблицы истинности. Пропозициональные формулы. Кванторы. Предикаты. Языки логики первого порядка. Интерпретация языков. Страница лекции на сайте Computer Science Center: Курсы: Основы математики, Основы математики Лектор: Александр Храбров Канал: Computer Science Center ID 13363 Смотрите это видео на Лекториуме. Удобный поиск и общение с преподавателями.
Back to Top