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