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

Материал из Энциклопедия фонда «Хайазг»
Версия от 22:04, 18 февраля 2014; Ssayadov (обсуждение | вклад) (→‎Библиография)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск
Дополните информацию о персоне
Нигиян Семён Александрович
Нигиян Семён Александрович.jpg
Дата рождения: 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)
  • профессор

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

Источник — «http://ru.hayazg.info/index.php?title=Нигиян_Семён_Александрович&oldid=380817»