See All News
Igor Zaslavski
Position: Main Scientific Researcher

Phone: (+374 10) 282001
E-mail: zaslav@ipia.sci.am




  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.
 
News
2019թ. մարտի 19-ին ժ. 11:30-12:30-ը
Ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտում (2-րդ հարկ, 209 սենյակ) անցկացվելու է դասախոսություն հետևալ թեմայով. Introduction to Information Retrieval (information retrieval and its basic concepts; current challenges of information retrieval).

Զեկուցողն է Թուլուզի Ինֆորմատիկայի հետազոտությունների ինստիտուտի (IRIT) պրոֆեսոր Ժոզիան Մոթեն (Josiane Mothe):

Բոլոր ցանկացողները հրավիրվում են մասնակցելու:



On March 19, 2019 at 14:00

Seminar of Department for Information theory and statistical models  will be held on the topic: "Information-Theoretic Investigation of Community Detection Problems and Recommender Framework Development". Reporter: PhD student Karen Mkhitaryan.



2019թ. մարտի 21-ին ժ. 14:00-16:00-ը
Ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտում անցկացվելու է գիտական սեմինար հետևալ թեմայով. "Lessons learnt from the FabSpace 2.0 experience (FabSpace 2.0 concepts, carried on activities, lessons learnt). FabSpace is an open-innovation network for geodata-based innovation – by leveraging Space data in particular in Universities 2.0. It is a one-stop shop-access to Space data and a wide range of other data as well as free software and data processing tools to develop new digital applications".

Զեկուցողն է` Թուլուզի Ինֆորմատիկայի հետազոտությունների ինստիտուտի (IRIT) պրոֆեսոր Ժոզիան Մոթեն (Josiane Mothe):



                                                           
CONTACTS
  • 0014, Yerevan, Republic of Armenia, 1, P. Sevak str.
  • Phone: (+37410) 28-20-30
  • Fax: (+37410) 28-20-50
  • E-mail: ipia@ipia.sci.am
ABOUT INSTITUTE
SCIENTIFIC ACTIVITY
EDUCATION