Большой энциклопедический словарь
ИСЧИСЛЕНИЕ КЛАССОВ - раздел математической логики, логика классов, представленная (построенная) как исчисление; примерно соответствует силлогистике Аристотеля.
Большой англо-русский и русско-английский словарь
мат. calculus of classes
Англо-русский словарь технических терминов
calculus of classes
Философская энциклопедия
- ИСЧИСЛЕНИЕ КЛАССОВ
-
аксиоматич. (см. Аксиоматический метод) описание логики классов. И. к. рав-нообъёмно исчислению одноместных предикатов (см. Логика предикатов): у этих исчислений совпадают классы как исходных формул, так и выводимых формул (теорем); однако интерпретации этих исчислений различны: исчисление одноместных предикатов интерпретируется как логика содержаний понятий, а И. к.— как логика объёмов понятий. И. к. равносильно в определ. смысле исчислению высказываний и обладает (как и последнее) свойствами непротиворечивости, дедуктивной полноты и разрешимости.
Энциклопедический словарь
исчисле́ние кла́ссов
раздел математической логики, логика классов, представленная (построенная) как исчисление; примерно соответствует силлогистике Аристотеля.
* * *
ИСЧИСЛЕНИЕ КЛАССОВИСЧИСЛЕ́НИЕ КЛА́ССОВ, раздел математической логики, логика классов(см. ЛОГИКА КЛАССОВ), представленная (построенная) как исчисление; примерно соответствует силлогистике Аристотеля.
Русско-английский политехнический словарь
calculus of classes
Русско-украинский политехнический словарь
чи́слення кла́сів
Русско-украинский политехнический словарь
чи́слення кла́сів