- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Алгоритм поиска натурального вывода для интуиционистской логики высказываний
Тип роботи:
кандидатская
Рік:
2002
Кількість сторінок:
113
Артикул:
203329 179 грн
Рекомендовані дисертації
- Автоматический поиск натурального вывода в классической логике предикатов
- Логико-семантические средства формализации текста в вопросно-ответной системе
- Становление формальных методов в логике отношений
- Действия и нормы
- Учение Пьера де ла Рамэ и его влияние на логику и научную методологию Нового времени
- Реконструкция логических систем Н. А. Васильева средствами современной логики
- Принцип квазифункциональности и нечеткие логики
- Сравнительный анализ методов античной, средневековой и классической индуктивной логики
- Логические проблемы научной дискуссии
- Логическая теория смысла в аналитической философии : от логического эмпиризма к холизму