Від партнерів


Реклама


загрузка...

Обмежити пошук фільтруванням:


Теорія предикатів

0
Предикат ( лат. praedicatum - Заявлене, згадане, сказане) - будь- яке математичне висловлювання, в якому є, щонайменше, одна змінна Предикат є основним об'єктом вивчення логіки першого порядку.
Предикат (n-місцевий, або n - арний) - це функція з безліччю значень {0,1} (Або "брехня" і "істина"), визначена на множині . Таким чином, кожен набір елементів множини M характеризується або як "щирий", або як "помилковий".
В файлах представлені доповідь і презентація 24 слайди