Refine your search
Availability
-
Bibliographic level
- Книги (4)
-
Authors
- Брюшинкин, Владимир Никифорович (3)
- Ли, Р. (1)
- Маслов, Сергей Юрьевич (1)
- Ходикова, Нина Анатольевна (1)
- Чень, Ч. (1)
-
Locations
- Книгохранилище (3)
- Читальный зал 4 (1)
-
Item types
-
Topics
- теория поиска вывода (4)
- Кант, Иммануил (2)
- Критика чистого разума (2)
- логика (2)
- теория аргументации (2)
- "вещь в себе" (1)
- "ноумен" (1)
- "трансцендентальный предмет" (1)
- V-резолюции процедура (1)
- Ансельм Кентерберийский (1)
- Аргументация (логич.) (1)
- Аристотель (1)
- Брюсов, Валерий Яковлевич (1)
- Булгаков, Сергей Николаевич (1)
- Геделя теорема (1)
- Грязнова модель развития науки (1)
- Канта философия (1)
- Лосского "интуитивистическая" логика (1)
- Мережковский, Дмитрий Сергеевич (1)
- Оккам, Уильям (1)
- Плотин (1)
- Правица процедура (1)
- Соловьев, Владимир Сергеевич (1)
- Теоремы - Доказательство на вычислительных машинах (1)
- Торо, Генри Дэвид (1)
- Шестов, Лев Исаакович (1)
- Эрбрана теорема (1)
- Якоби, Фридрих Генрих (1)
- автоматическое доказательство теорем (1)
- алгоритм синтеза программ (1)
- алгоритмы унификации (1)
- анализ программ (1)
- аргументация (1)
- гильбертовская теория доказательств (1)
- доказательства процедуры (1)
- единое (1)
- индуктивные следования (1)
- интеллектуальная деятельность (1)
- искусственный интеллект (1)
- история логики (1)
- логика высказываний (1)
- логика первого порядка (1)
- логико-математические теоремы (1)
- логические следствия (1)
- лок-резолюция (1)
- математика (1)
- математическая логика (1)
- методология научного исследования (1)
- мифология (1)
- модели мира (1)
- Show more
- Show less