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 Igor Zaslavski
Phone (+374 10) 282001
E-mail zaslav@ipia.sci.am
Position
Main Scientific Researcher
Research Interests

Mathematical Logic and its applications to the Mathematical Linguistics, to the Testing of Electronic Circuits, to the Theoretical Physics

Education

St-Petersburg (Leningrad) State University, Faculty of Mathematics and Mechanics, 1954

Titles, Degree

Doctor of physical and mathematical sciences, Corresponding Member of NAS RA

Professional Experience
Main Scientific Researcher   Institute for Informatics and Automation Problems NAS RA (2007 – at present)

Deputy Director   Institute for Informatics and Automation
Problems NAS RA (1998 – 2007)

Head of Laboratory   Institute for Informatics and Automation
Problems NAS RA (1963-2014)

Senior Engineer and
Leading Engineer
  Computer Center of the AS of Armenia 
(1959-1963)

Engineer and Junior
Scientific Researcher
  Institute of the Communication,
St. Petersburg (Leningrad) (1954-1957)
Selected Publications
Некоторые свойства конструктивных вещественных чисел и конструктивных функций. Труды МИАН СССР, т. 67, с. 385-457, 1962.

Граф-схемы с памятью. Труды МИАН СССР, т. 72, с. 99-192, 1964.

On Some Models of Computability of Boolean Functions. Lecture Notes in Computer Science, vol. 32, pp. 153-159, 1975.

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

Симметрическая конструктивная логика. Изд-во АН АрмССР, с. 1-281, 1978.

Տրամաբանության դերը փաստարկման պրոցեսում: Հայոց Փիլիսոփայական Ակադեմիա, Փաստարկման միջազգային ինստիտուտ, ՀՀԳԱԱ-ի հրատարակչությունը, Երևան, էջեր 1-28, 1998.

Dual Realizability in Symmetric Logic. Annals of Pure and Applied Logic, vol. 113, pp. 389-397, 2002.

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

On Some Generalizations of the Primitive Recursive Arithmetic. Theoretical Computer Science, Paris, vol. 322, pp. 221-230, 2004.

Formal Axiomatic Theories Based on a Three-valued Logic. Journal of Mathematical Sciences, vol. 130, №2, pp. 4578-4597, 2005.

Some Criteria of Completeness for Axiomatic Systems in Three-valued Logic. Transactions of IIAP of NAS of RA, “Mathematical Problems of Computer Science”, vol. 27, pp. 174-202, 2006.

Some Criteria of Decidability for Axiomatic Systems in Three-valued Logic. Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), vol. 4363, pp. 247-259, 2007.

Нечеткая конструктивная логика. Записки научных семинаров ПОМИ, “Исследования по конструктивной математике и математической логике XI”, Санкт-Петербург, т. 358, с. 130-152, 2008.

On Some Mathematical and Philosophical Problems Connected with the Constructive Representation of Time and Space. News and Views, The Journal of the International Academy for Philosophy (New Series), Yerevan, vol. 2, №2 (26), pp. 52-68, Fall 2010.

Расширенная нечеткая конструктивная логика. Записки научных семинаров ПОМИ, “Исследования по конструктивной математике и математической логике XII”, Санкт-Петербург, т. 407, с. 35-76, 2012.
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