Նիւթ

Վերնագիր: Investigation of Monotonous Properties for Frege Systems

Journal or Publication Title:

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

Date of publication:

2020

Volume:

53

ISSN:

2579-2784

Additional Information:

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

Other title:

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

Coverage:

14-20

Abstract:

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

Publisher:

Изд-во НАН РА

Format:

pdf

Identifier:

oai:arar.sci.am:261602

Location of original object:

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

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

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

Dec 8, 2023

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

Aug 27, 2020

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

10

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

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

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

RDF

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

OAI-PMH

Հրատարակութեան անունը Թուական
Hambardzumyan, Arsen A., Investigation of Monotonous Properties for Frege Systems Dec 8, 2023

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