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