Նիւթ

Վերնագիր: Բինար հարաբերության տրանզիտիվ փակման մասին հիմնական թեորեմի մեկ ապացույց և նրա կառուցման ալգորիթմը

Հրապարակման մանրամասներ:

Հանդեսը լույս է տեսնում տարին երկու անգամ:

Ամսագրի կամ հրապարակման վերնագիր:

Արցախի պետական համալսարանի գիտական տեղեկագիր. Հասարակական և բնական գիտություններ=Ученые записки Арцахского государственного университета: Социальные и естественные науки=Artsakh state university's Proceedings: Social and natural sciences

Հրապարակման ամսաթիվ:

2022

Հատոր:

1

ISSN:

1829-4375

Պաշտոնական URL:


Լրացուցիչ տեղեկություն:

Сандрян С., Галстян А., Sandryan S., Galstyan A.

Այլ վերնագիր:

The Basic Theorem on the Transitive Closure of Binary Relations One Proof and its Construction Algorithm ; Доказательство основной теоремы о транзитивном замыкании бинарного отношенияи его алгоритм построения

Համատեղ հեղինակները:

Արցախի պետական համալսարան

Աջակից(ներ):

Գլխավոր խմբ.՝ Վալերի Ավանեսյան

Ծածկույթ:

30-36

Ամփոփում:

Հոդվածում խիստ մաթեմատիկական տրամաբանության լեզվով կատարված է բինար հարաբերության տրանզիտիվ փակման մասին հիմնական թեորեմի մեկ ապացույց, մշակված է նրա կառուցման ալգորիթմը։
В статье на языке логики строгой математики приводится доказательство основной теоремы о транзитивном замыкании бинарного отношения, разработан алгоритм его построения.
In the work, in the language of the logic of strict mathematics, one proof of the basic theorem on the transitive closure of a binary relation is made; an algorithm for its construction is developed.

Հրատարակության վայրը:

Ստեփանակերտ

Ձևաչափ:

pdf

Նույնացուցիչ:

oai:arar.sci.am:359611

Թվայնացում:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան

Բնօրինակի գտնվելու վայրը:

Արցախի պետական համալսարան

Նիւթին հաւաքածոները:

Վերջին անգամ ձեւափոխուած է:

Jan 12, 2024

Մեր գրադարանին մէջ է սկսեալ:

May 30, 2023

Նիւթին բովանդակութեան հարուածներուն քանակը:

144

Նիւթին բոլոր հասանելի տարբերակները:

https://arar.sci.am/publication/388822

Ցոյց տուր նկարագրութիւնը RDF ձեւաչափով:

RDF

Ցոյց տուր նկարագրութիւնը OAI-PMH ձեւաչափով։

OAI-PMH

Օբյեկտի տեսակ՝

Նման

Այս էջը կ'օգտագործէ 'cookie-ներ'։ Յաւելեալ տեղեկատուութիւն