Խորացված որոնում ?

Օբյեկտ

О некоторых оценках длин логических выводов в классическом исчислении высказываний

Ներբեռնել

Վերնագիր: О некоторых оценках длин логических выводов в классическом исчислении высказываний

Ստեղծողը:

Г. С. Цейтин ; А. А. Чубарян

Տեսակ:

Հոդված

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

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

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

1975

Հատոր:

8

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

սեղմիր այստեղ կապին հետևելու համար

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

Ասույթների դասական հաշվի տրամաբանական արտածումների երկարության որոշ գնահատականների մասին

Ծածկույթ:

57-64

Հրատարակիչ:

АН Арм. ССР

Ստեղծման ամսաթիվը:

1975-08-10

Ձևաչափ:

pdf

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

oai:arar.sci.am:258144

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

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

Խորագիր և բանալի բառեր:

Математика Ցեյտին Գ. Ս. Չուբարյան Ա. Ա.

Օբյեկտի հավաքածուներ:

Վերջին անգամ ձևափոխված:

Dec 8, 2023

Մեր գրադարանում է սկսած:

Jul 24, 2020

Օբյեկտի բովանդակության հարվածների քանակ:

16

Օբյեկտի բոլոր հասանելի տարբերակները:

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

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

RDF

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

OAI-PMH

Հրատարակության անուն Ամսաթիվ
О некоторых оценках длин логических выводов в классическом исчислении высказываний Dec 8, 2023

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

Նման

Алгорифм решения одной задачи целочисленного выпуклого программирования

Р. А. Оганян А. Г. Пилипосян

Հոդված

Алгоритм решения простейшей параметрической задачи линейного программирования

Н. Г. Казарян С. А. Сукиасян

Հոդված

О решении одной параметрической задачи линейного программирования

В. Б. Варданян

Հոդված

Об одной задаче параметрического линейного программирования, когда зависимость функционала от параметра нелинейна

С. Д. Саркисян

Հոդված

О некоторых различиях между базисными и подчиненными переменными в логико-математических языках

И. Д. Заславский

Հոդված

О сложностных характеристиках выводов в системах исчисления предикатов и формальной арифметики

А. А. Чубарян

Հոդված

O сложностях выводов балансированных формул в двух пропозициональных системах выводов

Чубарян, А. А. Азизян, А. С. Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) Մ․ Մ․ Ջրբաշյան (1960-1965) Ա․ Գ․ Նազարով (1966-1983) Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) Վ․ Ս․ Զաքարյան (2005-2018) Ռ․ Մ․ Մարտիրոսյան (2018-)

Հոդված

Сравнение длин линейных и древовидных выводов некоторых семейств формул в ряде систем исчисления высказываний

Апинян, Л. A. Чубарян, А. A. Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) Մ․ Մ․ Ջրբաշյան (1960-1965) Ա․ Գ․ Նազարով (1966-1983) Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) Վ․ Ս․ Զաքարյան (2005-2018) Ռ․ Մ․ Մարտիրոսյան (2018-)

Հոդված
Ավելին

Կապի մանրամասներ

Հասցե

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան
Մարշալ Բաղրամյան 24/6
Երևան 0019

Հեռախոս

(+374) 10 524750

Էլ․ փոստ

info@flib.sci.am

Այցելեք մեզ։

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