Текущая версия на 22:04, 18 февраля 2014

Нигиян Семён Александрович
Дата рождения:	25.07.1949
Краткая информация: Доктор физико-математических наук, профессор. Специалист в области теории программирования

Биография

Образование

• 1966-1971, механико-математический факультет ЕГУ,
• 1971-1974, аспирантура ЕГУ. Кандидат физико-математических наук, “Компактность и частичная разрешимость отношения невключения в

некоторых классах схем программ” (4 декабря 1980 г., ВЦ АН СССР, Москва, СССР)

• Доктор физико-математических наук, “Функциональные и логические языки программирования (формализация, анализ, интерпретация), 24 октября 1997 г., МГУ им. М.В.Ломоносова, Москва, Россия

Опыт работы

• 1975-1982 - ассистент кафедры Математического обеспечения ЭВМ, ф-т Прикладной математики, ЕГУ
• 1980-1985 - МГУ им. М.В. Ломоносова, Москва, СССР
• 1982-1990, доцент кафедры Математического обеспечения ЭВМ, ф-т Прикладной математики, ЕГУ
• 1990 - Будапештский университет, Будапешт, Венгрия
• 1991-1992 - заведующий кафедрой Алгомитрических языков, ф-т Информатики и прикладной математики, ЕГУ
• 1992-2000 - доцент кафедры Алгомитрических языков, ф-т Информатики и прикладной математики, ЕГУ
• 1997 - МГУ им. М.В.Ломоносова, Москва, Россия
• 2000-2001 - профессор кафедры Алгомитрических языков, ф-т Информатики и прикладной математики, ЕГУ
• 2001-2007 - заведующий кафедрой Системного программирования, ф-т Информатики и прикладной математики, ЕГУ
• 2007 -заведующий кафедрой Программирования и информационных технологий, ф-т Информатики и прикладной математики, Ереванский государственный университет (ЕГУ)

Читаемые курсы

• Теория трансляции
• Функциональные системы программирования
• Семантика языков программирования
• Основания логического программирования

Круг научных интересов

• Языки и системы программирования
• Функциональное программирование и лямбда-исчисление
• Логическое программирование
• Математические модели вычислений

Сочинения

• Nigiyan S.A., Sargsyan L.A. Modification of SLDNF-resolution for Built-in Predicates. // Proceedings of the International Conference CSIT-09, Yerevan, 2009, p.60-61
• Нигиян С.А., Нигиян А.В. Логическое моделирование недетерминированных конечных автоматов. // Сборник научных статей. Годичная научная конференция (5 – 10 декабря 2008 г.). Физико-математические и естественные науки. – Ер.: Изд-во РАУ, 2009, с. 118-123
• Нигиян С.А., Нигиян А.В. К логической трактовке недетерминированных конечных автоматов. // Доклады НАН Армении, том 108, N2, 2008, c.124-132
• Нигиян С.А., Акопян Р.Ю., Будагян Л.Э. Об алгоритмах интерпретации строго типизированных функциональных программ. // Сборник научных статей. Годичная научная конференция (3 – 7 декабря 2007 г.). Физико-математические и естественные науки. – Ер.: Изд-во РАУ, 2008, с. 172-179
• Нигиян С.А., Хачоян Л.О., Нигиян А.В. К логической трактовке процедурного программирования. // Доклады НАН Армении, том 107, N1, 2007, c.20-25
• Нигиян С.А., Саркисян Л.А. Об SLDNF-резолюции в чистом логическом программировании с отрицанием. // Вестник РАУ, Серия физико-математические и естественные науки, N1 – Ер.: Изд-во РАУ, 2007, с.48-67
• Nigiyan S.A., Avetisyan S.A. On Procedural Semantics of Untyped Functional Progrаms. // Proceedings of the International Conference CSIT-07, Yerevan, 2007, p.60-62
• Нигиян С.А., Хачоян Л.О., Акопян В.Р., Саркисян Л.А. Методические указания по решению задач курса теории трансляции. // Ер.: Изд-во ЕГУ, 2007, 76с. (на армянском языке)
• Нигиян С.А., Хачоян Л.О., Нигиян А.В. Процедурные языки программирования с логической точки зрения. // Сборник научных статей. Годичная научная конференция (28 ноября – 2 декабря 2006 г.). Физико-математические и естественные науки. – Ер.:Изд-во РАУ, 2007, с. 138-144
• Нигиян С.А., Аветисян С.А. Об алгоритмах интерпретации бестиповых функциональных программ. // Вестник РАУ, Серия физико-математические и естественные науки, N2 – Ер.: Изд-во РАУ, 2006, с.77-84
• Нигиян С.А., Будагян Л.Э. Функциональные системы программирования (учебно-методическое пособие). // Ер.: Изд-во ЕГУ, 2006, 60 с. (на армянском языке)
• Nigiyan S.A., Hambardzumyan A.M. On Interpreters of Logic Programming Systems. // Transactions of IIAP of NAS RA: Mathematical Problems of Computer Science, Vol.24, 2005, p.34-41
• Nigiyan S.A., Hambardzumyan A.M. On Totally Solvable and Totally Complete Interpreters for Logic Programming Systems.// Proceedings of the International Conference CSIT-05, Yerevan, 2005, p.105-108
• Nigiyan S.A., Sargsyan L.A. On Negation in Logic Programming.// Proceedings of the International Conference CSIT-05, Yerevan, 2005, p.109-112
• Нигиян С.А., Хачоян Л.О., Акопян В.Р. Оптимизация систем логического программирования посредством преобразований их программ. // Доклады НАН Армении, том 104, N1, 2004, c.12-17
• Nigiyan S.A., Hakobyan V.R. On Optimization of Logical Programming Systems.// Proceedings of the International Conference CSIT-03, Yerevan, 2003, p.39-41
• Нигиян С.А. Об Ереванской школе программирования. // В кн. История информатики в России. Ученые и их школы. Москва, "Наука", 2003, c.364-370
• Нигиян С.А., Аветисян С.А. О семантике бестиповых функциональных программ. // Программирование, N3, 2002, c.5-14
• Nigiyan S.A., Avetisyan S.A.On Fixpoint and Procedural Semantics of Untyped Functional Programming Languages. // Proceedings of the International Conference CSIT-01, Yerevan, 2001, p.121-124
• Нигиян С.А., Аветисян С.А. О решениях рекурсивных уравнений с отделяющейся переменной в бестиповом лямбда-исчислении. // Доклады НАН Армении, том 101, N1, 2001, c. 12-19
• Nigiyan S.A. On Equation Systems in Monotonic Models of Typed Lambda Calculus. // Algebra, Geometry & Their Applications, YSU, Vol.1, 2001, p.11-19
• Nigiyan S.A., Budaghyan L,E. On Execution of Functional Programs. // Proceedings of the International Conference CSIT-99, Yerevan, 1999, p.33-35
• Нигиян С.А., Будагян Л.Э. Правила вычисления главной функции наименьшего решения для одного класса систем рекурсивных уравнений. // Доклады НАН Армении, том 99, N3, 1999, c.197-203
• Nigiyan S.A., Khachoyan L.O. Interpretation and Transformations of Logic Programs. Theory and Applications.// Proceedings of the International Conference CSIT-99, Yerevan, 1999, p.30-32
• Нигиян С.А., Хачоян Л.О. К проблеме -эквивантности логических программ. // Доклады НАН Армении, том 99, N2, 1999, c.99-103
• Нигиян С.А. Метод резолюций для логики предикатов первого порядка с нтерпретированными предикатами // Доклады АН России том 359, N2, 1998, с.168-170
• Нигиян С.А. Функциональные и логические языки программирования (формализация, анализ, интерпретация). // Автореферат докторской диссертации, Москва, МГУ, 1997, 34 с.
• Nigiyan S.A. Mathematical Theory of Programming Languages (functional approach). // Proceedings of the International Conference CSIT-97, Yerevan , 1997, p.23-25
• Нигиян С.А., Хачоян Л.О. О преобразованиях логических программ // Программирование N6, 1997, с.17-28
• Нигиян С.А. Модификация метода резолюций Робинсона на случай использования встроенных предикатов. // Известия НАН Армении, серия Математика, том 35, N5, 1996
• Нигиян С.А. Хорновское программирование со встроенными предикатами.// Программирование, N1, 1996, с.30-38
• Нигиян С.А., Хачоян Л.О. Интерпретация и преобразования логических программ // Доклады НАН Армении том 96 N2-4 1996, с.32-37
• Нигиян С.А. Логическая концепция языков программирования // Доклады НАН Армении том 95 N1 1995, с.26-29
• Нигиян С.А. Интерпретатор ПРОЛОГа с точки зрения логической семантики // Программирование N2, 1994, с. 64-73
• Нигиян С.А. Функциональная концепция языков программирования // Доклады НАН Армении том 94 N2 1993, с.131-137
• Нигиян С.А. Об интерпретации функциональных языков программирования // Программирование N2 1993, с.58-68
• Нигиян С.А. Функциональные языки программирования // Программирование N5, 1991, с.77-86
• Nigiyan S.A. Functional Languages of Programming // In: Sixth Conference of Program Designers, Eötvös Lorant University, Budapest, 1990
• Нигиян С.А. О функциональной и конечной эквивалентностях схем программ // ДАН АрмССР том LXXX N3 1985, с.115-116
• Нигиян С.А. О формальной и интерпретационной полулиберальности схем программ. // Межвузовский сборник научных трудов. Прикладная математика, вып. 3, Ер.: Изд-во ЕГУ, 1984, с.139-147
• Нигиян С.А., Маранджян Г.Б. Методические указания по решению задач курса теории алгоритмов. // Ер.: Изд-во ЕГУ, 1984, 21с. (на армянском языке)
• Нигиян С.А. О разрешимости алгоритмических проблем. // Межвузовский сборник научных трудов. Прикладная математика, вып. 2, Ер.: Изд-во ЕГУ, N2, 1983, с.82-90
• Нигиян С.А. Компактность и частичная разрешимость отношения невключения в некоторых классах схем программ. // Автореферат кандидатской диссертации, Москва, ВЦ АН СССР, 1980, 13 с.
• Нигиян С.А. О сводимости к свободным схемам. // Программирование, N4, 1980, с.14-19
• Нигиян С.А. К проблеме неэквивалентности для схем с памятью // Программирование N5 1979, с.11-17
• Нигиян С.А. Частичная разрешимость неэквивалентности свободных схем // Программирование N2, 1979, с.23-33
• Нигиян С.А. Об одном классе схем сводимых к свободным // Молодой научный работник, ЕГУ, N2 (28), 1978, с. 42-49
• Нигиян С.А. Рекурсивная перечислимость неэквивалентности в классе свободных монадических схем. // Молодой научный работник, ЕГУ, N2 (22), 1975, с. 36-46

Достижения

• Доктор физико-математических наук (1997)
• профессор

Библиография

• Нигиян Семён Александрович