Object
Title: Investigation of Monotonous Properties for Frege Systems
Journal or Publication Title:
Date of publication:
Volume:
ISSN:
Additional Information:
Համբարձումյան Արսեն Ա., Амбарцумян Арсен А.
Other title:
Coverage:
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:
Identifier:
oai:arar.sci.am:261602
Location of original object:
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան
Object collections:
Last modified:
Dec 8, 2023
In our library since:
Aug 27, 2020
Number of object content hits:
10
All available object's versions:
https://arar.sci.am/publication/284832
Show description in RDF format:
Show description in OAI-PMH format:
-
ՀՀ ԳԱԱ Շարունակական հրատարակություններ
-
Բնագիտության և տեխնիկայի պատմությունը Հայաստանում=История естествознания и техники в Армении
-
Գրական բանասիրական հետախուզումներ=Литературные разыскания
-
Գրականագիտական հանդես = Литературный журнал = Literary Journal
-
Լեզվի և ոճի հարցեր = Вопросы языка и стиля
-
Լեզու և լեզվաբանություն= Язык и языкознание= Language and linguistics
-
ՀՍՍՌ ԳԱ Ն. Մառի անվան լեզվի ինստիտուտ. Աշխատությունների ժողովածու= Институт языка им. Н. Я. Марра АН АрмССР. Сборник трудов
-
Հայոց ցեղասպանության պատմության և պատմագրության հարցեր = Вопросы истории и историографии Геноцида армян=The issues of the history and historiography of the Armenian Genocide
-
ՀՀ ԳԱԱ Շիրակի հայագիտական հետազոտությունների կենտրոն. Գիտական աշխատություններ= Ширакский центр арменоведческих исследований НАН РА. Научные труды = Shirak Centre of Armenological Studies of NAS RA․ Scientific works
-
Շեքսպիրական. Հայկական շեքսպիրյան տարեգիրք (Լրակազմեր) = Шекспиракан. Армянский шекспировский ежегодник
-
Շեքսպիրական. Հայկական շեքսպիրյան տարեգիրք = Шекспиракан. Армянский шекспировский ежегодник
-
Հնագիտության և ազգագրության ինստիտուտի աշխատություններ = Proceedings of the Institute of Archaeology and Ethnography = Труды Института археологии и этнографии
-
Աշխատություններ փիլիսոփայության և իրավունքի ինստիտուտի
-
ԿԱՆԹԵՂ. Գիտական հոդվածների ժողովածու =КАНТЕХ. Научные труды =KANTEGH. Articles
-
«Կաճառ» Գիտական հոդվածների ժողովածու. ՀՀ ԳԱԱ Գիտակրթական միջազգային կենտրոն = ״Качар״ Сборник научных трудов. НАН РА Международный научно-образовательный центр =“Katchar” Collection of Scientific Articles. International Scientific-Educational Center NAS RA
-
ՀՀ ԳԱԱ երիտասարդ գիտաշխատողների հոդվածների ժողովածու= Сборник статей молодых научных сотрудников НАН РА= Collection օf Articles օf the Young Researchers օf NAS RA
-
Ժամանակակից Եվրասիա = Contemporary Eurasia
-
Սոցիալ-տնտեսական զարգացման արդի հիմնախնդիրները Հայաստանի Հանրապետությունում =Современные проблемы социaльно-экономического развития в Республике Армения =The contemporary issues of socioeconomic development in the Republic of Armenia
-
ՀՀ ԳԱԱ Գ. Ս. Դավթյանի անվան հիդրոպոնիկայի պրոբլեմների ինստիտուտ. Հաղորդումներ= Институт проблем гидропоники им. Г. С.Давтяна НАН РА. Сообщения= G. S. Davtyan Institute of Hydroponics Problems NAS RA. Communications
-
Խաղողագործության, գինեգործության և պտղաբուծության հայկական գիտահետազոտական ինստիտուտի աշխատություններ = Труды Армянского научно-исследовательского института виноградарства, виноделия и плодоводства
-
ՀՍՍՌ ԳԱ Հայ բժշկության և բիոլոգիայի պատմության սեկտոր. Աշխատություններ=Сектор истории армянской медицины и биологии АН Арм. ССР. Труды
-
АН СССР-Армянский филиал. Труды биологического института=Բիոլոգիայի ինստիտուտի աշխատություններ =Transactions of the Biological Institute
-
Лаборатория индуцированного мутагенеза растений․ АН Арм. ССР: Институт Экспериментальной биологии. АН Арм. ССР = Բույսերի ինդուկցված մուտագենեզի լաբորատորիա․ ՀՍՍՀ ԳԱ: Փորձարարական կենսաբանության ինստիտուտ․ ՀՍՍՀ ԳԱ
-
АН Армянской ССР. Ботанический сад. Бюллетень=Հայկական ՍՍՌ ԳԱ Բուսաբանական այգի. Բյուլետեն
-
АН Армянской ССР. Бюраканская оптико-механическая лаборатория= ՀՍՍՀ ԳԱ. Բյուրականի օպտիկա-մեխանիկական լաբորատորիա
-
Сборник научных трудов. Флора, растительность и растительные ресурсы.Тахтаджяния=Գիտական աշխատությունների ժողովածու: Հայաստանի ֆլորան, բուսականությունը և բուսական ռեսուրսները: Թախտաջանիա
-
Зоологический сборник = Կենդանաբանական ժողովածու = Zoological Papers
-
Միկրոբիոլոգիական ժողովածու: Գյուղատնտեսական և արդյունաբերական միկրոբիոլոգիայի հարցեր: Միկրոբիոլոգիայի հարցեր = Микробиологический сборник. Вопросы сельскохозяйственной и промышленной микробиологии. Вопросы микробиологии
-
Севанская озерная станция. Труды: Севанская гидробиологическая станция. Труды=Սևանի ջրակենսաբանական կայան. Աշխատություններ
-
Բյուրականի աստղադիտարանի հաղորդումներ: Երևանի աստղադիտարանի բյուլետեն (Լրակազմեր) = Сообщения Бюраканской обсерватории. Бюллетень ереванской Астрономической обсерватории = Contributions from the Burakan observatory. Bulletin of the Erevan astronomical observatory
-
Բյուրականի աստղադիտարանի հաղորդումներ: Երևանի աստղադիտարանի բյուլետեն = Сообщения Бюраканской обсерватории. Бюллетень ереванской Астрономической обсерватории = Contributions from the Burakan observatory. Bulletin of the Erevan astronomical observatory
-
Математические вопросы кибернетики и вычислительной техники=Կիբեռնետիկայի և հաշվողական տեխնիկայի մաթեմատիկական հարցեր=Mathematical problems of computer science
-
Математические вопросы кибернетики и вычислительной техники, 1963
-
Математические вопросы кибернетики и вычислительной техники, 1964
-
Математические вопросы кибернетики и вычислительной техники, 1965
-
Математические вопросы кибернетики и вычислительной техники, 1966
-
Математические вопросы кибернетики и вычислительной техники, 1968
-
Математические вопросы кибернетики и вычислительной техники, 1972
-
Математические вопросы кибернетики и вычислительной техники, 1975
-
Математические вопросы кибернетики и вычислительной техники, 1979
-
Математические вопросы кибернетики и вычислительной техники, 1982
-
Математические вопросы кибернетики и вычислительной техники, 1984
-
Математические вопросы кибернетики и вычислительной техники, 1985
-
Математические вопросы кибернетики и вычислительной техники, 1986
-
Математические вопросы кибернетики и вычислительной техники, 1988
-
Математические вопросы кибернетики и вычислительной техники, 1997
-
Математические вопросы кибернетики и вычислительной техники, 1998
-
Математические вопросы кибернетики и вычислительной техники, 2000
-
Математические вопросы кибернетики и вычислительной техники, 2001
-
Математические вопросы кибернетики и вычислительной техники, 2004
-
Математические вопросы кибернетики и вычислительной техники, 2005
-
Математические вопросы кибернетики и вычислительной техники, 2006
-
Математические вопросы кибернетики и вычислительной техники, 2007
-
Математические вопросы кибернетики и вычислительной техники, 2008
-
Математические вопросы кибернетики и вычислительной техники, 2009
-
Математические вопросы кибернетики и вычислительной техники, 2010
-
Математические вопросы кибернетики и вычислительной техники, 2011
-
Математические вопросы кибернетики и вычислительной техники, 2012
-
Математические вопросы кибернетики и вычислительной техники, 2013
-
Математические вопросы кибернетики и вычислительной техники, 2014
-
Математические вопросы кибернетики и вычислительной техники, 2015
-
Математические вопросы кибернетики и вычислительной техники, 2016
-
Математические вопросы кибернетики и вычислительной техники, 2017
-
Математические вопросы кибернетики и вычислительной техники, 2018
-
Математические вопросы кибернетики и вычислительной техники, 2019
-
Математические вопросы кибернетики и вычислительной техники, 2020
-
Математические вопросы кибернетики и вычислительной техники, 2020, 53
- Կազմ; Խմբագրական խորհուրդ
- Polynomial Bounded Proof Complexities for Some Classes of DNF-Tautologies
- Investigation of Monotonous Properties for Frege Systems
- On Some Universal Propositional Proof Systems for Many-Valued Logic
- Estimating Time of Driver Arrival with Gradient Boosting Algorithms and Deep Neural Networks
- Application of Machine Learning-Based Electrochemical Deposition Models to CMP Modeling
- A Solution for Preventing the Rogue Certificate Attack
- Development of Management System for eduroam Database Updated Specification
- Development of Multi-EAP Radius Configuration for eduroam Service
- The Concept of Internal IP Addresses System for NRENs
- Բովանդակություն
-
Математические вопросы кибернетики и вычислительной техники, 2020, 54
-
Математические вопросы кибернетики и вычислительной техники, 2020, 53
-
Математические вопросы кибернетики и вычислительной техники, 2021
-
Математические вопросы кибернетики и вычислительной техники, 2022
-
Математические вопросы кибернетики и вычислительной техники, 2023
-
Mathematical problems of computer science, 2024
-
Математические вопросы кибернетики и вычислительной техники, 1963
-
Сообщения института математики и механики= Մաթեմատիկայի և մեխանիկայի ինստիտուտի հաղորդումներ= Bulletin of the Institute of Mathematics and Mechanics
-
Գեոմեխանիկայի պրոբլեմներ =Проблемы геомеханики =Problems of geomechanics Գեոմեխանիկայի
-
Бюллетень по инженерной сейсмологии = Բյուլետեն ինժեներային սեյսմոլոգիայի
-
Труды ботанического института Академии наук Армянской ССР=Աշխատություններ Հայկական ՍՍՌ Գիտությունների ակադեմիայի բուսաբանական ինստիտուտի=Acta Instituti Botanici Academiae Scientiarum SSR Armeniae
-
Труды геологического института=Երկրաբանական ինստիտուտի աշխատություններ
-
Записки всесоюзного минералогического общества. Армянское отделение =Համամիութենական միներալոգիական ընկերության հայկական բաժանմունքի զեկուցագրեր
-
Ցեղասպանագիտական հանդես
-
Հասարակագիտական միտքը արդի ժամանակաշրջանում
-
Արեւելաասիական ուսումնասիրություններ=Eastern Asian Studies
-
ՀՀ ԳԱԱ Հ. Աճառյանի անվան լեզվի ինստիտուտի տեղեկագիրք=Directory of Institute of Language After H. Acharyan=Ведомости института языка имени Р. Ачаряна
-
Հայկական ՍՍՌ ԳԱ Ֆիզիոլոգիայի ինստիտուտ. Աշխատություններ: Բարձրագույն ներվային գործունեության հարցեր = Институт Физиологии АН Арм. ССР. Труды. Вопросы высшей нервной деятельности
-
International Journal of Armenian Genocide Studies=Հայոց ցեղասպանության ուսումնասիրության միջազգային հանդես
-
«Լոռե բերդից մինչև Ստեփանավան. պատմամշակութային ժառանգության հետքերով» և «ՀՀ ԳԱԱ պատմության ինստիտուտի երիտասարդ գիտաշխատողների խորհրդի XLIII գիտական նստաշրջան՝ նվիրված Սիմոն Կրկյաշարյանի ծննդյան 100-ամյակին»
-
Հայագիտական ընթերցումներ. Գիտական հոդվածների ժողովածու=Арменоведческие чтения. Сборник научных трудов=Armenological readings. Collection of scientific articles
-
Բնագիտության և տեխնիկայի պատմությունը Հայաստանում=История естествознания и техники в Армении
| Edition name | Date |
|---|---|
| Hambardzumyan, Arsen A., Investigation of Monotonous Properties for Frege Systems | Dec 8, 2023 |
