ЗЛІЧЕННЯ КЛАСІВ

ЗЛІЧЕННЯ КЛАСІВ - аксіоматич. (Див. Аксіоматичний метод) опис логіки класів. І. до. дорівнює об'ємному обчисленню одномісних предикатів (див. Логіка предикатів): у цих обчислень збігаються класи як вихідних формул, так і виведених формул (теорем);

ЗЛІЧЕННЯ КЛАСІВ — розділ математичної логіки, логіка класів, представлена ​​(побудована) як літочислення; Приблизно відповідає силогістиці Аристотеля.

обчислення класів - розділ математичної логіки, логіка класів, представлена ​​(побудована) як обчислення; приблизно відповідає силогістиці Арістотеля. * * * ЗЛІЧЕННЯ КЛАСІВ ЗЛІЧЕННЯ КЛАСІВ, розділ математичної логіки, логіка класів (див. ЛОГІКА… … Енциклопедичний словник

обчислення - заснований на чітких правилах формальний апарат оперування зі знаннями певного виду, що дозволяє дати точний опис деякого класу завдань, а для окремих підкласів цього класу та алгоритм рішення. У математичній логіці поняття … Словник термінів логіки

ЧИСЛЕННЯ — (формальна система) система символів, основними компонентами якої є: 1) алфавіт (сукупність елементарних символів букв. цифр, дужок тощо), 2) правила побудови формул із символів алфавіту, 3) аксіоми (вихідні формули, що доводяться) … Філософська енциклопедія

КЛАСІВ ЗЛІЧЕННЯ - див. Логістика. Філософський енциклопедичний словник. 2010 … Філософська енциклопедія

КЛАСІВ ЗЛІЧЕННЯ — традиційна назва розділу математич, що сходить до Дж. Буля (G. Boole). логіки, що вивчає логіку класів. і. фактично являє собою логіку висловлювань, в яку додатково розглядається суб'єктно предикатнаструктура… … Математична енциклопедія

ПРЕДИКАТІВ ЛІКУВАННЯ — загальна назва обчислень математичної логіки, що є формалізацією тих розділів суч. логіки, які вивчають суб'єктно предикатну структуру речень (висловлювань), що розуміється в ширшому, ніж у традиціях. логіці, сенсі: окрім теорії … Філософська енциклопедія

ВАРІАЦІЙНЕ ЗЛІЧЕННЯ — чисельні методи розділ обчислювальної математики, присвячений методам відшукання екстремальних значень функціоналів. Чисельні методи Ст і. прийнято розділяти на два великі класи: непрямі та прямі методи. Непрямі методи ґрунтуються на… … Математична енциклопедія

БЕЗКІЙНО МАЛИХ ЗЛІЧЕННЯ — термін, що раніше об'єднував різні розділи математич. аналізу, пов'язані з поняттям нескінченно малої функції. Хоча метод нескінченно малих (у тій чи іншій формі) з успіхом застосовувався вченими Стародавньої Греції та середньовічної Європи для вирішення математичної енциклопедії.

---