почти 2 года назад
Курс:  Практикум по предикатам
60 подписчиков

Практикум посвящен решению задач по предикатам.

В практикуме рассматриваются формальные системы и грамматики, исчисление высказываний и предикатов, построение предикатов и их представление в нормальной форме.