Անվանում:

On the Structre of Positive and Strongly PositiveArithmetical Sets

Հեղինակ:

Manukian Seda

Տեսակ:

Conference

Չվերահսկվող բանալի բառեր:

Positive set ; strongly positive set ; arithmetical set ; signature

Ամփոփում:

The relations between the classes of positive and strongly positive arithmetical sets are investigated. Some simplified form for the logical representation of the class of positive sets is obtained. It is proved that the logical representation of the class of positive sets is obtained when the list of operations &,∨ in the definition of the class of strongly positive sets is replaced by the list ∃,&,∨ .

Լեզու:

English

URL:

Կազմակերպության անվանում:

Institute for Informatics and Automation Problems

Երկիր:

Armenia

Գիտաժողովի անվանում:

11th International Conference on Computer Science and Information Technologies CSIT 2017

Վայր:

Yerevan

Մասնակցության տեսակը:

oral