лекция 2 | Основы математики | Александр Храбров | CSC | Лекториум

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