- Нові надходження
- Простий пошук
- Розширений пошук
- Допомога
- Автори
- Видавництва
- Серії
- Тезаурус (Рубрики)
- Публічні полиці
Рубрики
--> ФІЛОСОФІЯ. ПСИХОЛОГІЯ
----> Логіка. Епістемологія. Теорія пізнання. Методологія та логіка науки
------> логіка
--------> логістика, символічна логіка, математична логіка, логічне числення
----------> логістика, символічна логіка, математична логіка, логічне числення
--> ФІЛОСОФІЯ. ПСИХОЛОГІЯ
----> Логіка. Епістемологія. Теорія пізнання. Методологія та логіка науки
------> логіка
--------> логістика, символічна логіка, математична логіка, логічне числення
----------> логістика, символічна логіка, математична логіка, логічне числення
Рубрика
- Название:
- логістика, символічна логіка, математична логіка, логічне числення
- Название:
- знаки, символи, символізм
- Название:
- природа символічної логіки, суть символічної логіки
- Название:
- функції - логіка
- Название:
- аргумент - логіка
- Название:
- значення, область значень - логіка
- Название:
- функції предмета - логіка
- Название:
- предикативні функції, висловлення - логіка
- Название:
- зв'язки - логіка: заперечення, логічна сума, логічний добуток
- Название:
- змінні-логіка
- Название:
- сталі-логіка
- Название:
- аксіоми, принципи, правила, закони-логіка
- Название:
- аксіоми, принципи логіки
- Название:
- аксіоматика, системи аксіом - логіка
- Название:
- еквівалентність, правила, закони: закони комбінації, заміни, з'єднання, заперечення
- Название:
- дійсність твердження
- Название:
- істинні функції - логіка
- Название:
- проблема прийняття рішення - логіка
- Название:
- окремі проблеми, окремі теореми логіки
- Название:
- застосування логіки
- Название:
- логіка тверджень, числення висловлень
- Название:
- логіка понять, числення предикатів, числення класів, функції з однією змінною
- Название:
- числення предикатів, визначення предикатів за змістом
- Название:
- числення класів, визначення предикатів за обсягом
- Название:
- клас
- Название:
- типи концепцій, сфера визначення
- Название:
- комбінація класів
- Название:
- категоризація класів
- Название:
- перетин класів
- Название:
- об'єднання класів
- Название:
- заперечення класів
- Название:
- комбіноване числення висловлень та предикатів
- Название:
- формалізація дедукції
- Название:
- логіка відношень, логіка включення, числення функцій, числення ієрархій, функції з багатьма змінними
- Название:
- відношення
- Название:
- комбінація відношень
- Название:
- ієрархія типів, числення ієрархій