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 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 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