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 Mikayel Khachatryan
Phone (+374 93) 614927
E-mail mikayel.khachatur@gmail.am
Position
Senior Scientific Researcher
Research Interests

Mathematical Logic, Theory of Algorithms, Logic-mathematical Languages

Education

Yerevan State University, Faculty of Mechanics and Mathematics

Titles, Degree

Candidate of Physical and Mathematical Sciences, Associate Professor

Professional Experience

58 years of Professional Experience, meanwhile 30 of years lecturer

Selected Publications
Mikayel  H. Khachatryan, On Generalized Primitive Recursive String  Functions. IIAP of  NAS RA, Mathematical Problems of Computer Science 43, 2015, 42-46.

Մ. Հ. Խաչատրյան, Ալգորիթմների տեսություն, Ուսումնական ձեռնարկ, ՀՊՃՀ, Երևան, Ճարտարագետ, 2013, 192 էջ:

I.D. Zaslavsky and M. H Khachatryan, On the Comparative Complexity of Primitive Recursive Arithmetical and String Functions. IIAP of  NAS RA, Mathematical Problems of Computer Science 39, 2013, 81-87.

Khachatrian M. H. On the complexity of representation of functions obtained by word recursion. 23rd  Days of Weak Arithmetics, International conference, Yerevan, Armenia, June 2-5, 2004, Abstracts, p. 5.

М. А. Хачатрян. О сложности по выводимости некоторых формул в секвенциалных исчисленях. ДАН Арм. ССР, LXVII, 1978, 4, 198-202.

М. А. Хачатрян. О некоторых теоремах анализа в формальной системе Клини-Весли. Математические заметки, том 21, Выпуск 1, январь 1977, 109-116.

М. А. Хачатрян. Пример конструктивной недифференцируемой монотонной   функции. Известия АН Арм. ССР, Серия Математика, 1969, т. IV, 4, с. 296-299
Events
 Conferences
 Workshops
 Seminars
 Trainings
 Scientific Council
 Specialised Council
 


News
The Jubilee Event dedicated to the 60th anniversary of the Institute for Informatics and Automation Problems of the National Academy of Sciences will take place on November 30, 2017, at 15:00 in the big hall of the institute.

The EU is pleased to support since 2015 the Eastern Partnership Connect project and its efforts to provide not only physical networks to interconnect Eastern Partnership (EaP) and other countries with high-speed broadband connections, but also its efforts to build online services for research and education, to extend its reach beyond supporting big science and research and to offer support also to the arts and humanities. Projects like this are of strategic importance to help bring EaP and European neighbours closer together
said the European Commission Directorate-General for Neighbourhood Policy and Enlargement Negotiations’ Neighbourhood East Director Lawrence Meredith.


Cross-border ministerial concert showcases unique technology for music teaching and performance

Copyright © 2013, IIAP NAS RA