Օբյեկտ
Վերնագիր: Ընդհանրացված ոչ պարզորոշ կոնստրուկտիվ տրամաբանություն ; Обобщенная нечеткая конструктивная логика
Ամփոփում:
Դիտարկվում է ոչ պարզորոշ կոնստրուկտիվ տրամաբանության համակարգ, որտեղ տրամաբանական արժեքները կազմում են մասնակի կարգավորված բազմություն: Սահմանվում է ճշմարտության ալգորիթմական սանդղակի գաղափարը (կարճ, Ա-սանդղակ), և այդ գաղափարի հիման վրա կառուցվում է ընդհանրացված ոչ պարզորոշ կոնստրուկտիվ տրամաբանության համակարգ: Մասնավորապես սահմանվում են պրեդիկատային բանաձևերի ուժեղ և թույլ նույնաբար ճշմարտության գաղափարները տվյալ Ա-սանդղակի նկատմամբ: Ապացուցվում է, որ կոնստրուկտիվ (ինտուիցիոնիստական) պրեդիկատային հաշվում արտածվող որոշակի տիպի յուրաքանչյուր պրեդիկատային բանաձև նույնաբար ճշմարիտ է ուժեղ իմաստով ցանկացած Ասանդղակի նկատմամբ: Մյուս կողմից ապացուցվում է, որ որոշ պրեդիկատային բանաձևեր (որոնք նույնաբար ճշմարիտ են դասական տրամաբանության տեսակետից) նույնաբար ճշմարիտ չեն թույլ իմաստով ցանկացած Ա-սանդղակի նկատմամբ:
Հրատարակիչ:
ՀՀ ԳԱԱ «ԳԻՏՈՒԹՅՈՒՆ» ՀՐԱՏԱՐԱԿՉՈՒԹՅՈՒՆ
Նույնականացուցիչ:
oai:noad.sci.am:135785
Լեզու:
Ամսագրի կամ հրապարակման վերնագիր:
URL:
Կազմակերպության անվանում:
ՀՀ Գիտությունների ազգային ակադեմիա
Երկիր:
Օբյեկտի հավաքածուներ:
- Digital Library > Ակադեմիական ինստիտուտներ > ՀՀ ԳԱԱ Ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ > Հրապարակումներ
Վերջին անգամ ձևափոխված:
Mar 3, 2021
Մեր գրադարանում է սկսած:
Jul 15, 2020
Օբյեկտի բովանդակության հարվածների քանակ:
23
Օբյեկտի բոլոր հասանելի տարբերակները:
https://noad.sci.am/publication/149312
Ցույց տալ նկարագրությունը RDF ձևաչափով:
Ցույց տալ նկարագրությունը OAI-PMH ձևաչափով։
| Հրատարակության անուն | Ամսաթիվ |
|---|---|
| И. Д. Заславский, 2015, Обобщенная нечеткая конструктивная логика | Mar 3, 2021 |
