Логиката не ми беше любима дисциплина ( най - вече заради проф. Скордев ), та съм позабравил доста понятия, а някои със сигурност и никога не съм знаел. Тъй като съм математик по образование ( почти завършено ) и работя програмист ми е много интересно това , за което става въпрос тук. Какво са : 1. предикат 2. полу-рекурсивен предикат 3. диофантов предикат и всички други понятия , явяващи се само в речника на логиката. Благодаря предварително