WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

загрузка...
   Добро пожаловать!

Pages:     | 1 | 2 ||

[7] Новак В., Перфильева И., Мочкорж И. Математические принципы нечеткой логики. / Пер. с англ. М.: Физматлит, 2006.

[8] Приемы объектно-ориентированного проектирования. Паттерны проектирования. / Пер. с англ. / Э. Гамма, Р. Хелм, Р. Джонсон, Дж. Влиссидес. СПб: Питер, 2001.

[9] Chandru V., Rao M. R. Linear programming. // Algorithms and theory of computation handbook. / Ed. by M. J. Atallah. CRC Press, 1999.

[10] Ciabattoni A., Fermller C. G., Metcalfe G. Uniform rules and dialogue games for fuzzy logics. // LPAR / Ed. by F. Baader, A. Voronkov.

Vol. 3452 of Lecture Notes in Computer Science. Springer, 2004.

Pp. 496–510.

[11] Degtyarev A., Voronkov A. Equality reasoning in sequent-based calculi. // Handbook of Automated Reasoning. / Ed. by A. Robinson, A. Voronkov.

Elsevier, 2001. Vol. 1. Pp. 611–706.

[12] Gottwald S. A Treatise on Many-Valued Logics. Baldock: Research Studies Press, 2001.

[13] Hhnle R. Many-valued logic and mixed integer programming. // Annals of Mathematics and Artificial Intelligence. 1994. Vol. 12, no. 3-4.

Pp. 231–263.

[14] Hjek P. Metamathematics of Fuzzy Logic. Dordrecht: Kluwer Academic Publishers, 1998.

[15] Hjek P. What is mathematical fuzzy logic. // Fuzzy Sets and Systems.

2006. Vol. 157, no. 5. Pp. 597–603.

[16] Metcalfe G., Olivetti N., Gabbay D. M. Lukasiewicz logic: from proof sys tems to logic programming. // Logic Journal of the IGPL. 2005.

Vol. 13, no. 5. Pp. 561–585.

[17] Olivetti N. Tableaux for Lukasiewicz infinite-valued logic. // Studia Logi ca. 2003. Vol. 73, no. 1. Pp. 81–111.

[18] Zadeh L. A. Fuzzy logic and approximate reasoning. // Synthese.

1975. Vol. 30. Pp. 407–428.

Основные работы автора по теме диссертации [1 ] Герасимов А. С. Бесконечнозначная предикатная логика со связкой для усиления утверждений. // Современная логика: проблемы теории, истории и применения в науке: Материалы IX Общероссийской научной конференции (Санкт-Петербург, 2006). СПб: 2006. С. 348–350.

[2 ] Герасимов А. С. Предикатная логика на основе секвенциального исчисления, предназначенная для моделирования непрерывных шкал. // Десятая национальная конференция по искусственному интеллекту с международным участием КИИ-06 (Обнинск, 2006): Труды конференции. М.: Физматлит, 2006. С. 339–347.

[3 ] Герасимов А. С. Программная реализация поиска доказательств в бесконечнозначной предикатной логике, основанной на линейных неравенствах. // Материалы XVI Международной школы-семинара Синтез и сложность управляющих систем (Санкт-Петербург, 2006). / Под ред.

О. Б. Лупанова. М.: Изд-во механико-математического факультета МГУ, 2006. С. 30–35.

[4 ] Герасимов А. С. Разработка ИПП для решения задачи определения совместности систем линейных двучленных неравенств. // Технологии Microsoft в теории и практике программирования: Материалы межвузовского конкурса-конференции студентов, аспирантов и молодых ученых Северо-Запада. СПб: Изд-во Политехн. ун-та, 2005. С. 161–162.

[5 ] Герасимов А. С., Косовский Н. К. Истинно полиномиальный алгоритм определения совместности систем линейных двучленных неравенств. // Устойчивость и процессы управления. Труды международной конференции (Санкт-Петербург, 2005). / Под ред. Д. А. Овсянникова, Л. А. Петросяна. СПб: СПбГУ, НИИ ВМ и ПУ, ООО ВММ, 2005.

С. 779–785.

[6 ] Герасимов А. С., Косовский Н. К. Оценка сложности истинно полиномиального алгоритма проверки совместности систем линейных двучленных неравенств. // Вестник С.-Петербург. ун-та. Сер. 10.

2006. № 2. С. 16–21.

Pages:     | 1 | 2 ||






© 2011 www.dissers.ru - «Бесплатная электронная библиотека»