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

Օբյեկտ

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

Ներբեռնել

Վերնագիր: О сложностных характеристиках выводов в системах исчисления предикатов и формальной арифметики

Ստեղծողը:

А. А. Чубарян

Տեսակ:

Հոդված

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

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

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

1982

Հատոր:

10

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

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

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

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

Ծածկույթ:

124-140

Հրատարակիչ:

АН Арм. ССР

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

1982-10-10

Ձևաչափ:

pdf

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

oai:arar.sci.am:258173

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

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

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

Математика Չուբարյան Ա. Ա.

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

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

Dec 8, 2023

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

Jul 24, 2020

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

12

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

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

Ցույց տուր նկարագրությունը 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-ներ'։ Ավելի տեղեկատվություն