- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Аналитико-табличная формализация систем временной логики
Тип роботи:
кандидатская
Рік:
2004
Кількість сторінок:
115
Артикул:
203350 179 грн
Рекомендовані дисертації
- Логические средства моделирования диалога
- Принцип квазифункциональности и нечеткие логики
- Модальность и темпоральность в логике: синтаксические и семантические возможности взаимовыразимости
- Регулярные логики Клини
- Генценовское исчисление естественных выводов как средство экспликации форм интуитивных умозаключений в трудах античных математиков
- Формирование логического учения о понятии и суждении
- Квазиматричная логика норм
- Иллокутивная логика
- Становление формальных методов в логике отношений
- Учение Пьера де ла Рамэ и его влияние на логику и научную методологию Нового времени