Автор работы: Пользователь скрыл имя, 18 Марта 2013 в 20:44, реферат
Предикат, айтылымдық (тұжырымдық) форма, ақиқаттық функциясы, қатынас терминдері – белгілі бір мағынада синонимдер болып табылады. Жиындар теориясы мен жалпы алгебралық жүйелер теориясында предикат деп ақиқаттық функциясын түсінеміз. Предикат ұғымына деген әртүрлі көзқарас нақты есептің қойылымы мен оны шешу әдісінің ерекшеліктеріне байланысты және ол көрсетілген математикалық пәннің даму процессінде айқындалады. Бұл жағдайда ерекше назарды қатынастарды (күрделі предикаттарды) предикат санағының формулалары арқылы беруге аударамыз.