| автокартинки =
| портрет =
| дата рождения =25.07.1949
| место рождения =
| дата смерти =
=Биография=
Дата рождения ==Образование== * 1966-1971, механико-математический факультет [[ЕГУ|ЕГУ]], * 1971-1974, аспирантура ЕГУ. Кандидат физико-математических наук, “Компактность и частичная разрешимость отношения невключения в некоторых классах схем программ” (4 декабря 1980 г., ВЦ АН СССР, Москва, СССР) *Доктор физико-математических наук, “Функциональные и логические языки программирования (формализация, анализ, интерпретация), 24 октября 1997 г., МГУ им. М.В.Ломоносова, Москва, Россия
25 июля 1949 года ==Опыт работы==Образование (начиная с *1975-1982 - ассистент кафедры Математического обеспечения ЭВМ, ф-т Прикладной математики, ЕГУ *1980-1985 - МГУ им. М.В. Ломоносова, Москва, СССР *1982-1990, доцент кафедры Математического обеспечения ЭВМ, ф-т Прикладной математики, ЕГУ*1990 - Будапештский университет, Будапешт, Венгрия *1991-1992 - заведующий кафедрой Алгомитрических языков, ф-т Информатики и прикладной математики, ЕГУ *1992-2000 - доцент кафедры Алгомитрических языков, ф-т Информатики и прикладной математики, ЕГУ *1997 - МГУ им. М.В.Ломоносова, Москва, Россия *2000-2001 - профессор кафедры Алгомитрических языков, ф-т Информатики и прикладной математики, ЕГУ *2001-2007 - заведующий кафедрой Системного программирования, ф-т Информатики и прикладной математики, ЕГУВУЗ*2007 -азаведующий кафедрой Программирования и информационных технологий, ф-т Информатики и прикладной математики, Ереванский государственный университет (ЕГУ) ==Читаемые курсы==*Теория трансляции*Функциональные системы программирования*Семантика языков программирования*Основания логического программирования
1966-1971, механико-математический факультет ЕГУ, 1971-1974, аспирантура ЕГУ Ученая степень к.ф.-м.н., “Компактность и частичная разрешимость отношения невключения в некоторых классах схем программ”, 4 декабря 1980 г., ВЦ АН СССР, Москва, СССР д.ф.-м.н., “Функциональные и логические языки программирования (формализация, анализ, интерпретация), 24 октября 1997 г., МГУ им. М.В.Ломоносова, Москва, Россия Опыт работы 2007-по наст. вр., заведующий кафедрой Программирования и информационных технологий, ф-т Информатики и прикладной математики, Ереванский государственный университет (ЕГУ) 2001-2007, заведующий кафедрой Системного программирования, ф-т Информатики и прикладной математики, ЕГУ 2000-2001, профессор кафедры Алгомитрических языков, ф-т Информатики и прикладной математики, ЕГУ 1992-2000, доцент кафедры Алгомитрических языков, ф-т Информатики и прикладной математики, ЕГУ 1991-1992, заведующий кафедрой Алгомитрических языков, ф-т Информатики и прикладной математики, ЕГУ 1982-1990, доцент кафедры Математического обеспечения ЭВМ, ф-т Прикладной математики, ЕГУ 1975-1982, ассистент кафедры Математического обеспечения ЭВМ, ф-т Прикладной математики, ЕГУ Октябрь 1997, Март – Aпрель 1997, МГУ им. М.В.Ломоносова, Москва, Россия Сентябрь 1990, Будапештский университет, Будапешт, Венгрия Февраль - Май 1985, Сентябрь – Декабрь 1980, МГУ им. М.В.Ломоносова, Москва, СССР Читаемые курсы Теория трансляции, Функциональные системы программирования, Семантика языков программирования, Основания логического программирования ==Круг научных интересов == * Языки и системы программирования, * Функциональное программирование и лямбда-исчислениеисчисление, * Логическое программирование, * Математические модели вычислений Участие в грантах (настоящих и прошлых) Научные темы (государственное финансирование): 94-719, 2000-13, 0828, 0119, 1027 Языки Армянский, русский, английский ==Сочинения==Профессиональное членство ( ОА, профессиональный совет, редакция научного журнала, фонды и т.д. ) Армянское математическое общество Специализированный совет 044 “Mатематическая кибернетика и математическая логика” Редакция научного журнала “Proceedings of the Yerevan State University, Physical and Mathematical Sciences”, Издательство Ереванского государственного университета. Награды Золотая медаль ЕГУ Список 1. *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. 2. *Нигиян С.А., Нигиян А.В. Логическое моделирование недетерминированных конечных автоматов. // Сборник научных статей. Годичная научная конференция (5 – 10 декабря 2008 г.). Физико-математические и естественные науки. – Ер.: Изд-во РАУ, 2009, с. 118-123. 3. *Нигиян С.А., Нигиян А.В. К логической трактовке недетерминированных конечных автоматов. // Доклады НАН Армении, том 108, N2, 2008, c.124-132. 4. *Нигиян С.А., Акопян Р.Ю., Будагян Л.Э. Об алгоритмах интерпретации строго типизированных функциональных программ. // Сборник научных статей. Годичная научная конференция (3 – 7 декабря 2007 г.). Физико-математические и естественные науки. – Ер.: Изд-во РАУ, 2008, с. 172-179. 5. *Нигиян С.А., Хачоян Л.О., Нигиян А.В. К логической трактовке процедурного программирования. // Доклады НАН Армении, том 107, N1, 2007, c.20-25. 6. *Нигиян С.А., Саркисян Л.А. Об SLDNF-резолюции в чистом логическом программировании с отрицанием. // Вестник РАУ, Серия физико-математические и естественные науки, N1 – Ер.: Изд-во РАУ, 2007, с.48-67. 7. *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. 8. *Нигиян С.А., Хачоян Л.О., Акопян В.Р., Саркисян Л.А. Методические указания по решению задач курса теории трансляции. // Ер.: Изд-во ЕГУ, 2007, 76с. (на армянском языке). 9. *Нигиян С.А., Хачоян Л.О., Нигиян А.В. Процедурные языки программирования с логической точки зрения. // Сборник научных статей. Годичная научная конференция (28 ноября – 2 декабря 2006 г.). Физико-математические и естественные науки. – Ер.: Изд-во РАУ, 2007, с. 138-144. 10. *Нигиян С.А., Аветисян С.А. Об алгоритмах интерпретации бестиповых функциональных программ. // Вестник РАУ, Серия физико-математические и естественные науки, N2 – Ер.: Изд-во РАУ, 2006, с.77-84. 11. *Нигиян С.А., Будагян Л.Э. Функциональные системы программирования (учебно- методическое пособие). // Ер.: Изд-во ЕГУ, 2006, 60 с. (на армянском языке). 12. *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. 13. *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 14. *Nigiyan S.A., Sargsyan L.A. On Negation in Logic Programming.// Proceedings of the International Conference CSIT-05, Yerevan, 2005, p.109-112. 15.*Нигиян С.А., Хачоян Л.О., Акопян В.Р. Оптимизация систем логического программирования посредством преобразований их программ. // Доклады НАН Армении, том 104, N1, 2004, c.12-17. 16. *Nigiyan S.A., Hakobyan V.R. On Optimization of Logical Programming Systems.// Proceedings of the International Conference CSIT-03, Yerevan, 2003, p.39-41. 17. *Нигиян С.А. Об Ереванской школе программирования. // В кн. История информатики в России. Ученые и их школы. Москва, "Наука", 2003, c.364-370. 18. *Нигиян С.А., Аветисян С.А. О семантике бестиповых функциональных программ. // Программирование, N3, 2002, c.5-14. 19. *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. 20. *Нигиян С.А., Аветисян С.А. О решениях рекурсивных уравнений с отделяющейся переменной в бестиповом лямбда-исчислении. // Доклады НАН Армении, том 101, N1, 2001, c. 12-19. 21. *Nigiyan S.A. On Equation Systems in Monotonic Models of Typed Lambda Calculus. // Algebra, Geometry & Their Applications, YSU, Vol.1, 2001, p.11-19. 22. *Nigiyan S.A., Budaghyan L,E. On Execution of Functional Programs. // Proceedings of the International Conference CSIT-99, Yerevan, 1999, p.33-35. 23. *Нигиян С.А., Будагян Л.Э. Правила вычисления главной функции наименьшего решения для одного класса систем рекурсивных уравнений. // Доклады НАН Армении, том 99, N3, 1999, c.197-203. 24. *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. 25. *Нигиян С.А., Хачоян Л.О. К проблеме -эквивантности логических программ. // Доклады НАН Армении, том 99, N2, 1999, c.99-103. 26. *Нигиян С.А. Метод резолюций для логики предикатов первого порядка с нтерпретированными предикатами предикатами // Доклады АН России том 359, N2, 1998, с.168-170. 27. *Нигиян С.А. Функциональные и логические языки программирования (формализация, анализ, интерпретация). // Автореферат докторской диссертации,
Москва, МГУ, 1997, 34 с.
28. *Nigiyan S.A. Mathematical Theory of Programming Languages (functional approach). // Proceedings of the International Conference CSIT-97, Yerevan , 1997, p.23-25. 29. *Нигиян С.А., Хачоян Л.О. О преобразованиях логических программ программ // Программирование Программирование N6, 1997, с.17-28. 30. *Нигиян С.А. Модификация метода резолюций Робинсона на случай использо-вания использования встроенных предикатов. // Известия НАН Армении, серия Математика, том 35, N5, 1996. 31. *Нигиян С.А. Хорновское программирование со встроенными предикатами.// Программирование, N1, 1996, с.30-38. 32. *Нигиян С.А., Хачоян Л.О. Интерпретация и преобразования логических программ программ // Доклады НАН Армении Армении том 96 96 N2-4 4 1996, с.32-37. 33. *Нигиян С.А. Логическая концепция языков программирования программирования // Доклады НАН Армении Армении том 95 N1 95 N1 1995, с.26-29. 34. *Нигиян С.А. Интерпретатор ПРОЛОГа с точки зрения логической семантики семантики // Программирование Программирование N2, 1994, с. 64-73. 35. *Нигиян С.А. Функциональная концепция языков программирования программирования // Доклады НАН Армении Армении том 94 N2 94 N2 1993, с.131-137. 36. *Нигиян С.А. Об интерпретации функциональных языков программирования программирования // Программирование Программирование N2 1993, с.58-68. 37. *Нигиян С.А. Функциональные языки программирования программирования // Программирование Программирование N5, 1991, с.77-86. 38. *Nigiyan S.A. Functional Languages of Programming Programming // In: Sixth Conference of Program Designers, Eötvös Lorant University, Budapest, 1990 1990 39. *Нигиян С.А. О функциональной и конечной эквивалентностях схем программ программ // ДАН АрмССР АрмССР том LXXX N3 LXXX N3 1985, с.115-116. 40. *Нигиян С.А. О формальной и интерпретационной полулиберальности схем программ. // Межвузовский сборник научных трудов. Прикладная математика, вып. 3, Ер.: Изд-во ЕГУ, 1984, с.139-147. 41. *Нигиян С.А., Маранджян Г.Б. Методические указания по решению задач курса теории алгоритмов. // Ер.: Изд-во ЕГУ, 1984, 21с. (на армянском языке). 42. *Нигиян С.А. О разрешимости алгоритмических проблем. // Межвузовский сборник научных трудов. Прикладная математика, вып. 2, Ер.: Изд-во ЕГУ, N2, 1983, с.82-90. 43. *Нигиян С.А. Компактность и частичная разрешимость отношения невключения в некоторых классах схем программ. // Автореферат кандидатской диссертации, Москва, ВЦ АН СССР, 1980, 13 с. 44. *Нигиян С.А. О сводимости к свободным схемам. // Программирование, N4, 1980, с.14-19. 45. *Нигиян С.А. К проблеме неэквивалентности для схем с памятью памятью // Программирование N5 Программирование N5 1979, с.11-17. 46. *Нигиян С.А. Частичная разрешимость неэквивалентности свободных схем схем // Программирование Программирование N2, 1979, с.23-33. 47. Нигиян С.А. Об одном классе схем сводимых к свободным // Молодой научный ==Сочинения==
==Достижения==
*Доктор физико-математических наук (1997)
==Изображения==
=Библиография=
*http://imht.rau.am/uploads/blocks/0/0/9/files/nigiyan-cv-rus.pdf