Нигиян Семён Александрович — различия между версиями
Ssayadov (обсуждение | вклад) (Новая страница: «{{Персона | name-ru-main =Нигиян Семён Александрович | name-ru-01 = | name-ru-02 = | name-ru-03 = | name-lat = | name-en ...») |
Ssayadov (обсуждение | вклад) |
||
| Строка 15: | Строка 15: | ||
| автокартинки = | | автокартинки = | ||
| портрет = | | портрет = | ||
| − | | дата рождения = | + | | дата рождения =25.07.1949 |
| место рождения = | | место рождения = | ||
| дата смерти = | | дата смерти = | ||
| Строка 28: | Строка 28: | ||
=Биография= | =Биография= | ||
| − | + | ==Образование== | |
| + | * 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 | |
| − | + | *Нигиян С.А. Функциональные и логические языки программирования (формализация, анализ, интерпретация). // Автореферат докторской диссертации, | |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | интересов | ||
| − | Языки и системы программирования | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | 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 | ||
| − | |||
| − | программировании с отрицанием. // Вестник РАУ, Серия физико-математические и | ||
| − | естественные науки, N1 – Ер.: Изд-во РАУ, 2007, с.48-67 | ||
| − | |||
| − | |||
| − | 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 с. (на армянском языке) | ||
| − | |||
| − | Transactions of IIAP of NAS RA: Mathematical Problems of Computer Science, Vol.24, | ||
| − | 2005, p.34-41 | ||
| − | |||
| − | |||
| − | Interpreters for Logic Programming Systems.// Proceedings of the International Conference | ||
| − | CSIT-05, Yerevan, 2005, p.105-108 | ||
| − | |||
| − | |||
| − | International Conference CSIT-05, Yerevan, 2005, p.109-112 | ||
| − | |||
| − | |||
| − | программирования посредством преобразований их программ. // Доклады НАН | ||
| − | Армении, том 104, N1, 2004, c.12-17 | ||
| − | |||
| − | |||
| − | Proceedings of the International Conference CSIT-03, Yerevan, 2003, p.39-41 | ||
| − | |||
| − | |||
| − | информатики в России. Ученые и их школы. Москва, "Наука", 2003, c.364-370 | ||
| − | |||
| − | |||
| − | // Программирование, N3, 2002, c.5-14 | ||
| − | |||
| − | |||
| − | Functional Programming Languages. // Proceedings of the International Conference CSIT- | ||
| − | 01, Yerevan, 2001, p.121-124 | ||
| − | |||
| − | |||
| − | переменной в бестиповом лямбда-исчислении. // Доклады НАН Армении, том 101, | ||
| − | N1, 2001, c. 12-19 | ||
| − | |||
| − | |||
| − | Algebra, Geometry & Their Applications, YSU, Vol.1, 2001, p.11-19 | ||
| − | |||
| − | |||
| − | the International Conference CSIT-99, Yerevan, 1999, p.33-35 | ||
| − | |||
| − | |||
| − | решения для одного класса систем рекурсивных уравнений. // Доклады НАН | ||
| − | Армении, том 99, N3, 1999, c.197-203 | ||
| − | |||
| − | |||
| − | Theory and Applications.// Proceedings of the International Conference CSIT-99, Yerevan, | ||
| − | 1999, p.30-32 | ||
| − | |||
| − | |||
| − | Доклады НАН Армении, том 99, N2, 1999, c.99-103 | ||
| − | |||
| − | |||
| − | нтерпретированными | ||
| − | 170 | ||
| − | |||
| − | (формализация, анализ, интерпретация). // Автореферат докторской диссертации, | ||
Москва, МГУ, 1997, 34 с. | Москва, МГУ, 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 | |
| − | Proceedings of the International Conference CSIT-97, Yerevan , 1997, p.23-25 | + | *Нигиян С.А. Модификация метода резолюций Робинсона на случай использования встроенных предикатов. // Известия НАН Армении, серия Математика, том 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 | |
| − | Программирование, N1, 1996, с.30-38 | + | *Нигиян С.А. О функциональной и конечной эквивалентностях схем программ // ДАН АрмССР том 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 | |
| − | |||
| − | |||
| − | |||
| − | |||
| − | НАН | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | 1991, с.77-86 | ||
| − | |||
| − | |||
| − | Designers, Eötvös Lorant University, Budapest, | ||
| − | |||
| − | |||
| − | ДАН | ||
| − | |||
| − | |||
| − | программ. // Межвузовский сборник научных трудов. Прикладная математика, вып. 3, | ||
| − | Ер.: Изд-во ЕГУ, 1984, с.139-147 | ||
| − | |||
| − | |||
| − | теории алгоритмов. // Ер.: Изд-во ЕГУ, 1984, 21с. (на армянском языке) | ||
| − | |||
| − | |||
| − | сборник научных трудов. Прикладная математика, вып. 2, Ер.: Изд-во ЕГУ, N2, 1983, | ||
| − | с.82-90 | ||
| − | |||
| − | |||
| − | некоторых классах схем программ. // Автореферат кандидатской диссертации, | ||
| − | Москва, ВЦ АН СССР, 1980, 13 с. | ||
| − | |||
| − | |||
| − | с.14-19 | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
==Достижения== | ==Достижения== | ||
| − | + | *Доктор физико-математических наук (1997) | |
==Изображения== | ==Изображения== | ||
=Библиография= | =Библиография= | ||
*http://imht.rau.am/uploads/blocks/0/0/9/files/nigiyan-cv-rus.pdf | *http://imht.rau.am/uploads/blocks/0/0/9/files/nigiyan-cv-rus.pdf | ||
Версия 19:43, 1 февраля 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
Достижения
- Доктор физико-математических наук (1997)
