Талқылау:Көп мәнді логика
Бұл Көп мәнді логика бетін жақсартуды талқылау үшін қолданылатын талқылау беті. | |||
---|---|---|---|
Жаңа тақырып қосу үшін төмендегі жолаққа талқылау тақырыбын енгізіп, жаңа тақырып бастау батырмасын басыңыз:
| Мақала ережелері
|
19 сәуір 2021 кезіндегі өңдеу сұранысы (Қорғалған)
[қайнарын өңдеу]Бұл the жартылай-қорғалған мақаланы at Көп мәнді логика be created. (өңдеу · тарихы · соңғы · сілтемелер · қорғау журналы)
Cұраныс білдіре алуы үшін бұл үлгі сұраныстың нақты, сондай-ақ толық сипаттамасымен бірге болуы тиіс, that is, specify what text should be removed and a verbatim copy of the text that should replace it. "Please change X" is not acceptable and will be rejected; the request must be of the form "please change X to Y".
Бұл өңдемені әлдебір өздіктіқұпталған қатысушы жасаған. Нәтижесін күткен қатысушы сұранысы қабылданғаны, қабылданбағанын білуі үшін |
Осы мақаланы жариялауды ұсынамын.Өзім жаздым
Көп мәнді логика-математикалық логиканың бір саласы.
Көп мәнді логика туралы
[қайнарын өңдеу]Көп мәнді логикада сөйлемнің ақиқаттық мәнділігі екіден артық болады. Осыған байланысты үш мәнді, төрт мәнді және шексіз көп мәнді логика болады. Классикалық математикалық логиканы Көп мәнді логиканың жеке түрі ретінде қарастыруға болады. Бұл жерде логиканың мәнділігі екіге тең.
Үстіміздегі ғасырдың 20-жылдары поляк логигі Ян Лукасевич (1878-1956ж.) үш мәнді және төрт мәнді логиканы жасап шықты. Бұдан кейін американ математигі, логигі Э. Л. Пост өз бетімен көп мәнді логиканың негізін салды. Математикалық логиканың парадокстарын шешу мақсатымен совет ғалымы СССР ҒА-ның корр. мүшесі С. В. Яблонскийдің мектебін ерекше атап өту орынды. Ол басқарған ғылыми коллективте көп мәнді логиканың математикалық жүйелі мәселелері шешілді.
Көп мәнді функциялардан (К 2) тұратын М жиыны функционалды толық деп аталады, егерде оған кіретін функциялар арқылы кез келген көп мәнді функцияны өрнектей алатын болсақ, функционалды толықтылық-көп мәнді логикадағы басты мәселенің бірі. Мысалы, электронды есептеу машиналарының кейбір келелі мәселелері функционалды толықтылыққа келіп тіреледі. Классикалық математикалық логика мен үш мәнді логика үшін бұл проблеманы Э. Л. Пост пен С. В. Яблонский толық шешті. Төрт мәнді және т.б. логикаларда бұл проблеманы шешуде зерттеушілер көптеген қиындықтарға кездесті. Бұл қиындықтар бірте-бірте шешілуде. [1]
Gulnaz Sakenkyzy (талқылауы) 15:37, 2021 ж. сәуірдің 19 (+06)
Дереккөздер
[қайнарын өңдеу]- ↑ Қазақ Совет энциклопедиясы, Бас редактор М.Қ.Қаратаев, Беттер саны 639, Алматы, 1975 жыл, 6 том, 39-40 бет, ISBN 9965-26-096-6
Бұл мақаланы Уикипедия сапа талаптарына лайықты болуы үшін уикилендіру қажет. |
Бұл мақалада еш сурет жоқ.
Мақаланы жетілдіру үшін қажетті суретті енгізіп көмек беріңіз. Суретті қосқаннан кейін бұл үлгіні мақаладан аластаңыз.
|
Бұл — мақаланың бастамасы. Бұл мақаланы толықтырып, дамыту арқылы, Уикипедияға көмектесе аласыз. Бұл ескертуді дәлдеп ауыстыру қажет. |
Тағы қараңыз
[қайнарын өңдеу]Сыртқы сілтемелер
[қайнарын өңдеу]--Gulnaz Sakenkyzy (талқылауы) 15:39, 2021 ж. сәуірдің 19 (+06)Гүлназ