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

53 years of Professional Experience, meanwhile 28 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

11th International Conference on Computer Science and Information Technologies - CSIT-2017 will take place on September 25 -29, 2017, in Yerevan, Armenia, http://www.csit.am.


Copyright © 2013, IIAP NAS RA