Зведений каталог бібліотек Харкова

• Класифікатори та каталоги
• Логіка понять. Числення тверджень та класів (предикатів і класів). Функццї з однією змінною.

Числення класів. Визначення предикатів за обсягом

Підтеми:

• Клас
• Типи концепцій. Сфера визначення
• Комбінація класів