Електронний каталог

• Класифікатори
• 16 Логiка. Епiстемологiя. Теорiя пiзнання. Методологiя логiки

164 Логістика. Символічна логіка. Математична логіка. Логічне числення

Підтеми:

• 164.01 Природа та роль символічної логіки
• 164.02 Знаки. Символи. Символізм
• 164.03 Функції
• 164.04 Аксіоми. Принципи. Правила. Закони
• 164.05 Дійсність ствердження (теореми)
• 164.07 Індивідуальні питання. Індивідуальні теореми
• 164.08 Застосування
• 164.1 Логіка доказу стверджень (теорем). Числення викладів (формулювань)
• 164.2 Логіка концепцій. Числення тверджень та класів. Функції з однією змінною
• 164.3 Логіка співвідношень. Логіка включення. Числення функцій. Числення ієрархій. Функції з багатьма змінними