КАТАЛОГ РАБОТ
КАК ОПЛАТИТЬ И ПОЛУЧИТЬ РАБОТУ
ГАРАНТИИ
ВОПРОСЫ И ОТВЕТЫ
ПОДТВЕРЖДЕНИЕ ОПЛАТЫ
КОНТАКТЫ
КАТАЛОГ РАБОТ
№
Название
Год выпуска
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 Мир Работ