- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Автоматический поиск натурального вывода в классической логике предикатов
Тип роботи:
кандидатская
Рік:
2004
Кількість сторінок:
109
Артикул:
203331 179 грн
Рекомендовані дисертації
- Реконструкция логических систем Н. А. Васильева средствами современной логики
- Алгоритм поиска натурального вывода для интуиционистской логики высказываний
- Проблема формализации концепций параллелизма и ограниченной рациональности средствами динамической логики игр
- Регулярные логики Клини: расширение и обобщение
- Логическая теория смысла в аналитической философии : от логического эмпиризма к холизму
- Логико-эпистемологические воззрения Дигнаги и его идейных преемников
- Исследование силлогистических теорий средствами символической логики
- Роль эстетического восприятия в религиозном и атеистическом сознании
- Логико-методологические проблемы научного объяснения
- Генценовское исчисление естественных выводов как средство экспликации форм интуитивных умозаключений в трудах античных математиков