РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ ГУМАНИТАРНЫЙ УНИВЕРСИТЕТ

Список учебных пособий и монографий сотрудников

Список учебных пособий и монографий сотрудников ОИСвГС РГГУ

• Ефимова Е.А. Программирование на языке Пролог для задач искусственного интеллекта: Интеллектуальные системы [Электронный ресурс]: учебное пособие. - М. РГГУ, 2019. – 202 с. - http://elib.lib.rsuh.ru/elib/000013499 
  
• Ефимова Е.А. Программирование на языке Пролог для задач искусственного интеллекта: Введение в логическое программирование: учебник. – М.: РГГУ, 2019. – 408 с.
• Бениаминов Е.М., Ефимова Е.А. Алгебраические методы в информатике: Элементы универсальной алгебры [Электронный ресурс]: Учебное пособие. - М.: РГГУ, 2017. – 161 с. http://elib.lib.rsuh.ru/elib/000011292.
• Бениаминов Е.М., Ефимова Е.А. Элементы универсальной алгебры и ее приложений в информатике. (учебное пособие) Из-во М.:"Научный мир", 2004, 168 с.
• Бениаминов Е.М. Алгебраические методы в теории баз данных и представлении знаний. Из-во М.:"Научный мир", 2003, 184 с.
• Гладкий А.В. Введение в современную логику. М.: МЦНМО, 2001. 200 с.
• Ефимова Е.А. Алгебра : учеб. пособие : для студентов вузов, обучающихся по направлению 031302 "Интеллектуальные системы в гуманитарной сфере" – Москва : РГГУ, 2013. – 187 с.
• Ефимова Е.А. Основы программирования на языке Visual Prolog. (2-е изд., испр.) М.: НОУ "ИНТУИТ", 2016, 265 с.
• Ефимова Е.А. Разработка приложений на языке Visual Prolog (учебное пособие) // ИНТУИТ [Электронный ресурс] / Нац. открытый ун-т, 2015. – http://www.intuit.ru/studies/courses/3507/749/info.
• Лапшин В.А. Онтологии в компьютерных системах. М.: Научный мир, 2010. 224 с.
• Лапшин В.А. Лекции по математической лингвистике. Из-во М.:"Научный мир", 2010.
• Логическое программирование [Электронный ресурс] : учебно-методический комплекс / сост. Е. А. Ефимова – М.:[РГГУ], 2013 – 24 с. - 1,5 печ.л.
• Многозначные логики и их применения: Т. 1: Логические исчисления, алгебры и функциональные свойства / Сост. О.М. Аншаков, Д.В. Виноградов, В.К. Финн; Под ред. В.К. Финна. – М.: Издательство ЛКИ, 2008. – 504 с.
• Многозначные логики и их применения: Т. 2: Логики в системах искусственного интеллекта / Сост. О.М. Аншаков, Д.В. Виноградов, В.К. Финн; Под ред. В.К. Финна. – М.: Издательство ЛКИ, 2008. – 240 с.
• Пентус А.Е., Пентус М.Р. Конечные автоматы и регулярные выражения. Сборник задач. М.: Издательство попечительского совета механико-математического факультета МГУ, 2015. 72 с.
• Стояновский А.В., Шабат Г.Б. Математика: учеб. пособие для студентов вузов, обучающихся по специальности «Психология» Москва: РГГУ, 2012.
• Автоматическое порождение гипотез в интеллектуальных системах. Под общ. ред. В.К. Финна. М.: Книжный дом «ЛИБРОКОМ», 2009.
• ДСМ-метод автоматического порождения гипотез: Логические и эпистемологические основания. Под общ. ред. О.М. Аншакова. М.: Книжный дом «ЛИБРОКОМ», 2009.
• В.К. Финн Искусственный интеллект: Методология, применения, философия. - М.: КРАСАНД, 2011.
• В.К. Финн Интеллектуальные системы и общество. М.: КомКнига, 2007.
• Хвостова К.В., Финн В.К. Проблемы исторического познания в свете современных междисциплинарных исследований. М.: Российск. гос. гуманит. ун-т. 1997. 256 с.
• Шиханович Ю.А. Введение в математику.Учебное пособие - Москва: 2005.- 283 с.
• Шиханович Ю.А. Группы, кольца, решетки. Из-во во: «Кирцидели», 2006.
• Шиханович Ю.А. Минимум по теории алгоритмов для нематематиков. Из-во М.:"Научный мир", 2009.
• Шиханович Ю.А. Начальные главы математического анализа в полуформальном изложении. Учебное пособие - Из-во М: «Научный мир», 2010.- 288 с.
• Шиханович Ю.А. Логические и математические исчисления. Из-во М.:"Научный мир", 2011.
• Эволюционная эпистемология и логика социальных наук (Карл Поппер и его критики). Составители Д.Г. Лахути, В.Н. Садовский и В.К. Финн. М.: Эдиториал УРРС, 2000.
• Янков В. А. Истолкование ранней греческой философии, М., РГГУ, 2011, 832 с.
• Oleg Anshakov, Tamás Gergely Cognitive Reasoning: A Formal Approach. Springer-Verlag, Berlin-Heidelberg, 2010.
• Дж. Ст. Милль Система логики силлогистической и индуктивной. Издание 5-ое, М.: ЛЕНАНД, 2011.

Статьи

• On the Heuristics of JSM Research (Additions to Articles), V. K. Finn
• An Intelligent System for Diagnostics of Pancreatic Diseases, O. P. Shesternikova, V. K. Finn, L. V. Vinokurova, K. A. Les’ko, G. G. Varvarina and E. Yu. Tyulyaeva