Вузьке обчислення предикатів – це
Великий англо-український та українсько-англійський словник. 2001 .
Дивитись що таке "вузьке обчислення предикатів" в інших словниках:
ВУЗЬКОЕ ЗЛІЧЕННЯ ПРЕДИКАТІВ — див. Предикатів обчислення … Математична енциклопедія
ФОРМАЛІЗАЦІЯ — (від лат. forma вид, образ) відображення об'єктів деякої предметної області за допомогою символів к. л. мови. Найпростіший вид Ф. пряма репрезентація (позначення, найменування, опис) об'єктів за допомогою термінів. Напр., в природному мові роль ... Філософська енциклопедія
Парадокс — (від грец. parádoxes несподіваний, дивний) несподіване, незвичне (хоча б за формою) судження (висловлювання, пропозиція), що різко розходиться із загальноприйнятою, традиційною думкою з цього питання. У цьому сенсі епітет "парадоксальний"... Велика радянська енциклопедія
Формалізація - подання якоїсь змістовної області (міркувань, доказів, процедур класифікації, пошуку інформації наукових теорій) у вигляді формальної системи (або Формулювання), або обчислення (Див. Обчислення). Ф., що … Велика радянська енциклопедія
Номіналізм - (лат. nominalis відноситься до імен, іменний, від nomen ім'я) філософське вчення, згідно з яким імена властивостей, класів і відносин не є власними іменами, тобто. іменами окремих поодиноких «сутностей» реальних чи ідеальних, … Велика радянська енциклопедія
НОМІНАЛІЗМ - (від лат. Nomen ім'я, назва) Філос. вчення, що заперечує онтологічне значення універсалій (загальних понять), тобто. стверджує, що універсалі існують над дійсності, лише у мисленні. У Середні віки Н. був однією з течій ... Філософська енциклопедія
Номіналізм — (лат. nominalis, що відноситься до імен, іменний, від nomen ім'я) філософське вчення, згідно з яким назви таких понять, як «тварина», «емоція» це не власні імена цілісних сутностей, а загальні імена… … Вікіпедія
Номіналісти — Номіналізм (лат. nominalis, що відноситься до імен, іменний, від nomen ім'я) філософське вчення, згідно з яким імена властивостей, класів і відносин не є власними іменами, тобто іменами окремих одиничних «сутностей» реальних чи… … Вікіпедія