Ցոյց տուր կառուցուածքը

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

Математические вопросы кибернетики и вычислительной техники=Կիբեռնետիկայի և հաշվողական տեխնիկայի մաթեմատիկական հարցեր=Mathematical problems of computer science

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

2020

Հատոր:

53

ISSN:

2579-2784

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

Համբարձումյան Արսեն Ա., Амбарцумян Арсен А.

Վերնագիր:

Investigation of Monotonous Properties for Frege Systems

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

Մոնոտոնության հատկության հետազոտում Ֆրեգեի համակարգերում; Исследование свойства монотонности систем Фреге

Ստեղծողը:

Hambardzumyan, Arsen A.

Խորագիր:

Mathematical cybernetics ; Computer science

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

Minimal tautology ; Monotonous and strong monotonous of proof systems ; Proof lines ; Frege systems

Ծածկոյթ:

14-20

Ամփոփում:

In this paper, we investigate the relations between the Frege proof lines of minimal tautologies and the results of substitutions in them. Սույն աշխատանքում հետազոտվել են մինիմալ նույնաբանությունների և նրանց մեջ կատարված տեղադրությունների արդյունքների նվազագույն արտածման քայերի հարաբերությունը Ֆրեգեի համակարգերում: В настоящей работе для систем Фреге исследовано соотношение количества шагов выводов минимальных тавтологий и результатов подстановки в них.

Հրատարակիչ:

Изд-во НАН РА

Տեսակ:

Հոդված

Ձեւաչափ:

pdf

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

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