Օբյեկտ

Վերնագիր: Ընդհանրացված ոչ պարզորոշ կոնստրուկտիվ տրամաբանություն ; Обобщенная нечеткая конструктивная логика

Ամփոփում:

Դիտարկվում է ոչ պարզորոշ կոնստրուկտիվ տրամաբանության համակարգ, որտեղ տրամաբանական արժեքները կազմում են մասնակի կարգավորված բազմություն: Սահմանվում է ճշմարտության ալգորիթմական սանդղակի գաղափարը (կարճ, Ա-սանդղակ), և այդ գաղափարի հիման վրա կառուցվում է ընդհանրացված ոչ պարզորոշ կոնստրուկտիվ տրամաբանության համակարգ: Մասնավորապես սահմանվում են պրեդիկատային բանաձևերի ուժեղ և թույլ նույնաբար ճշմարտության գաղափարները տվյալ Ա-սանդղակի նկատմամբ: Ապացուցվում է, որ կոնստրուկտիվ (ինտուիցիոնիստական) պրեդիկատային հաշվում արտածվող որոշակի տիպի յուրաքանչյուր պրեդիկատային բանաձև նույնաբար ճշմարիտ է ուժեղ իմաստով ցանկացած Ասանդղակի նկատմամբ: Մյուս կողմից ապացուցվում է, որ որոշ պրեդիկատային բանաձևեր (որոնք նույնաբար ճշմարիտ են դասական տրամաբանության տեսակետից) նույնաբար ճշմարիտ չեն թույլ իմաստով ցանկացած Ա-սանդղակի նկատմամբ:

Հրատարակիչ:

ՀՀ ԳԱԱ «ԳԻՏՈՒԹՅՈՒՆ» ՀՐԱՏԱՐԱԿՉՈՒԹՅՈՒՆ

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

oai:noad.sci.am:135785

Լեզու:

Ռուսերեն

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

ՀՀ ԳԱԱ Զեկույցներ

URL:


Կազմակերպության անվանում:

ՀՀ Գիտությունների ազգային ակադեմիա

Երկիր:

Հայաստան

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

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

Mar 3, 2021

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

Jul 15, 2020

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

8

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

https://noad.sci.am/publication/149312

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

RDF

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

OAI-PMH

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