Ինֆորմատիկայի և կիրառական մաթեմատիկայի ֆակուլտետ
Faculty of Informatics and Applied Mathematics
:
>

Bachelor's Programmes:
Informatics and Applied Mathematics
Mathematics: Computer Sciences

Information Security

Master's Programmes:
Numerical Analysis and Mathematical Modelling

Mathematical and Program Support for Computing Machines, Complexes and Networks
Discrete Mathematics and Theoretical Informatics

Entrant
Latest Publications
Anahit Chubaryan , Artur Khamisyan, Garik Petrosyan
On some systems for two versions of many-valued logics
2017 | Book
LAP (Lambert Academic Publishing). 2017, 73 p.
H. H. Tepanyan, P. A. Petrosyan
Interval edge-colorings of composition of graphs
2017 | Article
Discrete Applied Mathematics. 2017, 217, pp. 368-374
Chubaryan A. A. , Tshitoyan A. S.
On some propositional proof systems for various logics
2017 | Article
Sciences of Europe. 2017, 11 (11), pp. 26-29
|
Chubaryan A. A. , Petrosyan G. W.
Some notes on proof complexities in Frege systems
2017 | Article
Sciences of Europe. 2017, Vol.1,#12 (12), pp. 31-34
|
Chubaryan Anahit , Khamisyan Artur
Generalization of Kalmar’s proof of deducibility in two valued propositional logic into many valued logic
2017 | Article
Pure and Applied Mathematics. 2017, Vol.6, No. 2, pp. 71-75
|