Нигиян Семён Александрович
| Нигиян Семён Александрович |
Биография
Дата рождения
25 июля 1949 года Образование (начиная с ВУЗ-а)
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 N2-4 1996, с.32-37.
33. Нигиян С.А. Логическая концепция языков программирования // Доклады НАН Армении том 95 N1 1995, с.26-29.
34. Нигиян С.А. Интерпретатор ПРОЛОГа с точки зрения логической семантики // Программирование N2, 1994, с. 64-73.
35. Нигиян С.А. Функциональная концепция языков программирования // Доклады НАН Армении том 94 N2 1993, с.131-137.
36. Нигиян С.А. Об интерпретации функциональных языков программирования // Программирование N2 1993, с.58-68.
37. Нигиян С.А. Функциональные языки программирования // Программирование N5, 1991, с.77-86.
38. Nigiyan S.A. Functional Languages of Programming // In: Sixth Conference of Program Designers, Eötvös Lorant University, Budapest, 1990
39. Нигиян С.А. О функциональной и конечной эквивалентностях схем программ // ДАН АрмССР том 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 1979, с.11-17.
46. Нигиян С.А. Частичная разрешимость неэквивалентности свободных схем // Программирование N2, 1979, с.23-33.
47. Нигиян С.А. Об одном классе схем сводимых к свободным // Молодой научный
