КАТАЛОГ РАБОТ

Название Год выпуска
1 АВТОМАТИЧЕСКИЙ ПОИСК НАТУРАЛЬНОГО ВЫВОДА В КЛАССИЧЕСКОЙ ЛОГИКЕ ПРЕДИКАТОВ
2004
2 Теория вывода в многозначный логиках
2003
3 Обоснование дедуктивного подхода в научном объяснении
2003
4 Расширение выразительный возможностей языка современной логики
2003
5 Применение системной модели аргументации к анализу текста
2003
6 Проблема формализации концепций параллелизма и ограниченной рациональности средствами динамической логики игр
2003
7 Паранепротиворечивость и релевантность
2004
8 Аналитико—табличная формализация систем временной логики
2004
9Семантический анализ простых паранормальных логик
2005
10Теория рассуждений Ч. Пирса
2005
11Логико-философские исследования Боэция
2006
12 Автоматический поиск натурального вывода в классической логике предикатов
2004
13 Логико—методологическое исследование происхождения теории поиска вывода
2004
14 Современные проблемы использования табличный методов в логике
2005
15 Трансформация идей И. Канта в работах русский логиков конца XIX - начала XX веков
2005
16Интуиционистская логика и теория множеств
2004
17Теория смысла в общей интенсиональной логике
2006

 

Приобретем оптом курсовые, дипломные работы.
Обращаться: pokupka-rabot@mail.ru


  РЕКЛАМА
  Заказ работ по телефону - 8 (909) 471 35 51
  © 2003-10 MirRabot.com  Мир Работ
Контакты Каталог работ Добавить в избранное На главную