Advanced search ?

Object

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

Download

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

Ստեղծողը:

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

Տեսակ:

Հոդված

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

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

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

1975

Հատոր:

8

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

click here to follow the link

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

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

Ծածկոյթ:

57-64

Հրատարակիչ:

АН Арм. ССР

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

1975-08-10

Ձեւաչափ:

pdf

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

oai:arar.sci.am:258144

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

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

Subject and keywords:

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

Object collections:

Last modified:

Aug 18, 2025

In our library since:

Jul 24, 2020

Number of object content hits:

16

All available object's versions:

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

Show description in RDF format:

RDF

Show description in OAI-PMH format:

OAI-PMH

Edition name Date
О некоторых оценках длин логических выводов в классическом исчислении высказываний Aug 18, 2025

Objects

Similar

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

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

Հոդված

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

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

Հոդված

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

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

Հոդված

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

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

Հոդված

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

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

Հոդված

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

А. А. Чубарян

Հոդված

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-)

Հոդված
More

Contact details

Address

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

Phone

(+374) 10 524750

E-Mail

info@flib.sci.am

Visit us!

This page uses 'cookies'. More information