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