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