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