Home

About Institute
 Short history
 Administration
 Departments
 Councils
 Documents
 Contacts
 


Scientific Activity
 Main Fields
 Programs
 Periodicals
 Partnership
 R&D Projects
 Scientific Events


Education
 Postgraduate  School
 MD  School


Resources
 ASNET-AM
 ARMGRID
 Library
Personal Data

Full name Seda Manukian
Phone (+374 10) 282001
E-mail zaslav@ipia.sci.am
Position
Senior Scientific Researcher
Research Interests

Constructive mathematical analysis, constructive curves and their transformations; mathematical logic, inductive representations and algorithmic transformations of sets expressible in formal arithmetical systems

Education

Yerevan State University, Faculty of Physics and Mathematics, 1957

Titles, Degree

Senior Scientific Researcher, Candidate of Physical and Mathematical Sciences

Professional Experience
Programmer,
Junior Scientific Researcher, 
Senior Scientific Researcher
  Institute for Informatics and Automation Problems (1957-present)
Selected Publications
О внутренних точках невырожденных конструктивных кривых. ДАН СССР, т. 196, №3, с. 768-769, 1971.

Об устойчивости конструктивных простых дуг относительно алгорифмических преобразований. ДАН СССР, т. 220, №6, с. 1267-1270, 1975.

Некоторые свойства разбиений плоскости невырожденными конструктивными кривыми. Труды ВЦ АН АрмССР и ЕГУ, “Математические вопросы кибернетики и вычислительной техники”, т.8, с. 67-95, 1975.

О некоторых топологических особенностях конструктивных простых дуг. “Исследования по теории алгорифмов и математической логике”, ВЦ АН СССР, Москва, т. 2, с. 122-129, 1976.

Об алгорифмах, перерабатывающих конструктивные кривые в точки. Труды ВЦ АН АрмССР и ЕГУ, “Математические вопросы кибернетики и вычислительной техники”, т. 10, с. 55-71, 1982

Задача Дирихле в конструктивном анализе. ДАН АрмССР, т. 79, №2, с. 58-62, 1984.

О структуре рекурсивно перечислимых нечетких множеств. Труды ИПИА НАН РА и ЕГУ, “Математические вопросы кибернетики и вычислительной техники”, т. 17, с. 86-91, 1997.

Некоторые алгебры рекурсивно перечислимых множеств и их приложения к нечеткой логике. Записки научных семинаров ПОМИ, “Теория сложности вычислений VIII”, Санкт-Петербург, т. 304, с. 19-74, 2003.

Algebras of Recursively Enumerable Sets and their Applications to Fuzzy Logic. Journal of Mathematical Sciences, vol. 130, №2, pp.4598-4606, 2005.

On Representation of Recursively Enumerable Sets in Weak Arithmetics. Transections of IIAP of NAS of RA, “Mathematical Problems of Computer Science”, vol. 27, pp. 90-110, 2006.

С. Н. Манукян. Классификация многомерных арифметических множеств, представимых в системе М. Пресбургера. Доклады Национальной Академии Наук Армении, том 111, № 2, стр. 114-120, 2011.

Some Algebraical and Logical Properties of Two-dimensional Arithmetical sets Representable in Presburger’s System. Transections of IIAP of NAS of RA, “Mathematical Problems of Computer Science”, vol. 37, pp. 64-74, 2012.

On an Algebraic Classification of Multidimensional Recursively Enumerable Sets Expressible in Formal Arithmetical Systems. Transactions of the Institute for Informatics and Automation Problems of NAS of RA, vol. 41, pp. 103-113, 2014.

On Strongly Positive Multidimensional Arithmetical Sets. Transactions of the Institute for Informatics and Automation Problems of NAS of RA, vol. 43, pp. 32-41, 2015.
Events
 Conferences
 Workshops
 Seminars
 Trainings
 Scientific Council
 Specialised Council
 


News

The graded test in Informatics for PhD applicants will take place on October 23, 2017 at 11:00 in the Institute for Informatics and Automation Problems (Room 333). The program

The professional examination by specialties E.13.04 and E.13.05 for PhD applicants in 2017/2018 academic year will take place in the Institute for Informatics and Automation Problems, on November 2, 2017, at 10:00The program

The qualifying test in Informatics for PhD students will take place on November 06, 2017 at 11:00 in the Institute for Informatics and Automation Problems (Room 333).

The professional qualifying examination by specialties E.13.04 (The program)  and E.13.05 (The program) will be held on November 16, 2017 at 12:00 in the Institute for Informatics and Automation Problems. 


Copyright © 2013, IIAP NAS RA