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