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

Նիւթ

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

Ներբեռնել

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

Ստեղծողը:

А. А. Чубарян

Տեսակ:

Հոդված

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

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

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

1982

Հատոր:

10

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

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

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

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

Ծածկույթ:

124-140

Հրատարակիչ:

АН Арм. ССР

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

1982-10-10

Ձևաչափ:

pdf

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

oai:arar.sci.am:258173

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

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

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

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

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

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

Dec 8, 2023

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

Jul 24, 2020

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

13

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

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-ներ'։ Յաւելեալ տեղեկատուութիւն