Azərbaycanca
Deutsch
日本語
Lietuvos
සිංහල
Türkçe
Українська
United State
Teoremlərin avtomatik sübutu (ing. Automated Theorem Proving, ATP, həmçinin Automated deduction) — isbat, proqram vasitəsilə həyata keçirilmişdir. Riyazi məntiqin aparatına əsaslanır. Süni intellekt nəzəriyyəsinin fikirlərindən istifadə olunur. İsbat prosesi təkliflərin məntiqi və predikatların məntiqinə əsaslanır.
Hətta olduqca sadə nəzəriyyələrin səbəbindən yalnız yarı avtomatik insan maşın sübutları praktik tətbiq olunur. Üstəlik, tam avtomatlaşdırıldıqdan sonra sübut hesablama adlanır. Yalnız daha mürəkkəb nəzəriyyələrin sübutunu yoxlamaq üçün tam avtomatik ola bilər (bu üçün hazırlayırsınızsa).
İstifadəsi
Hal-hazırda, sənayedəki teoremlərin avtomatik sübutu, əsasən inteqrasiya edilmiş sxemlərin və proqramların işlənməsi və yoxlanılmasında istifadə olunur. Pentium prosessorlarında bölmə xətası aşkar edildikdən sonra müasir mikroprosessorların üzən nöqtə əməliyyatlarının mürəkkəb modulları çox diqqətlə hazırlanır. AMD, Intel və digər şirkətlərin yeni prosessorları bölünmə və digər əməliyyatların düzgün aparıldığını yoxlamaq üçün teoremlərin avtomatik sübutundan istifadə edirlər.
Microsoft Windows 7 əməliyyat sisteminin kodunu və digər proqram məhsullarını yoxlamaq üçün Z3 teoreminin avtomatik sübutundan istifadə edir.
İstinadlar
- Gwen Salaün, Bernhard Schätz. Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings. Springer. 2011. 5. ISBN .
Xarici keçidlər
- Teoremlərin avtomatik sübutu haqqında
- Çıxarış avtomatlaşdırma sistemi (ÇAS)
- SPASS: An Automated Theorem Prover for First-Order Logic with Equality
- Беклемишев, Лев Дмитриевич. "FAQ: Kompüter sübutları". postnauka.ru. 20.05.2014.
wikipedia, oxu, kitab, kitabxana, axtar, tap, meqaleler, kitablar, oyrenmek, wiki, bilgi, tarix, tarixi, endir, indir, yukle, izlə, izle, mobil, telefon ucun, azeri, azəri, azerbaycanca, azərbaycanca, sayt, yüklə, pulsuz, pulsuz yüklə, haqqında, haqqinda, məlumat, melumat, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, şəkil, muisiqi, mahnı, kino, film, kitab, oyun, oyunlar, android, ios, apple, samsung, iphone, pc, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, web, computer, komputer
Teoremlerin avtomatik subutu ing Automated Theorem Proving ATP hemcinin Automated deduction isbat proqram vasitesile heyata kecirilmisdir Riyazi mentiqin aparatina esaslanir Suni intellekt nezeriyyesinin fikirlerinden istifade olunur Isbat prosesi tekliflerin mentiqi ve predikatlarin mentiqine esaslanir Hetta olduqca sade nezeriyyelerin sebebinden yalniz yari avtomatik insan masin subutlari praktik tetbiq olunur Ustelik tam avtomatlasdirildiqdan sonra subut hesablama adlanir Yalniz daha murekkeb nezeriyyelerin subutunu yoxlamaq ucun tam avtomatik ola biler bu ucun hazirlayirsinizsa IstifadesiHal hazirda senayedeki teoremlerin avtomatik subutu esasen inteqrasiya edilmis sxemlerin ve proqramlarin islenmesi ve yoxlanilmasinda istifade olunur Pentium prosessorlarinda bolme xetasi askar edildikden sonra muasir mikroprosessorlarin uzen noqte emeliyyatlarinin murekkeb modullari cox diqqetle hazirlanir AMD Intel ve diger sirketlerin yeni prosessorlari bolunme ve diger emeliyyatlarin duzgun aparildigini yoxlamaq ucun teoremlerin avtomatik subutundan istifade edirler Microsoft Windows 7 emeliyyat sisteminin kodunu ve diger proqram mehsullarini yoxlamaq ucun Z3 teoreminin avtomatik subutundan istifade edir IstinadlarGwen Salaun Bernhard Schatz Formal Methods for Industrial Critical Systems 16th International Workshop FMICS 2011 Trento Italy August 29 30 2011 Proceedings Springer 2011 5 ISBN 9783642244308 Xarici kecidlerTeoremlerin avtomatik subutu haqqinda Cixaris avtomatlasdirma sistemi CAS SPASS An Automated Theorem Prover for First Order Logic with Equality Beklemishev Lev Dmitrievich FAQ Komputer subutlari postnauka ru 20 05 2014