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