Видео: Практикум по предикатам
Б.С. Бояршинов
Видеокурс | 1920p - 18.8 Гб | 4 апреля 2015
Практикум посвящен решению задач по предикатам.
В практикуме рассматриваются формальные системы и грамматики, исчисление высказываний и предикатов, построение предикатов и их представление в нормальной форме.
В практикуме рассматриваются формальные системы и грамматики, исчисление высказываний и предикатов, построение предикатов и их представление в нормальной форме.
Учебный курс
04.04.2015
Уровень: для всех | Доступ: свободно | Студентов: 304 / 0
Практикум посвящен решению задач по предикатам.
Темы: Алгоритмы и дискретные структуры, Математика
Специальность: Программист, Архитектор программного обеспечения, Математик
Специальность: Программист, Архитектор программного обеспечения, Математик