Teoremlərin avtomatik sübutu (ing.Automated Theorem Proving, ATP, həmçinin Automated deduction) — isbat, proqram vasitəsi ilə 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 həllolunmazlığı 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 (2011). Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings. Springer. 5. ISBN9783642244308.
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
Беклемишев, Лев Дмитриевич (20.05.2014). "FAQ: Kompüter sübutları". postnauka.ru.
Avqust 01, 2021
teoremlərin, avtomatik, sübutu, automated, theorem, proving, həmçinin, automated, deduction, isbat, proqram, vasitəsi, ilə, həyata, keçirilmişdir, riyazi, məntiqin, aparatına, əsaslanır, süni, intellekt, nəzəriyyəsinin, fikirlərindən, istifadə, olunur, isbat, . Teoremlerin avtomatik subutu ing Automated Theorem Proving ATP hemcinin Automated deduction isbat proqram vasitesi ile heyata kecirilmisdir Riyazi mentiqin aparatina esaslanir Suni intellekt nezeriyyesinin fikirlerinden istifade olunur Isbat prosesi tekliflerin mentiqi ve predikatlarin mentiqine esaslanir Hetta olduqca sade nezeriyyelerin hellolunmazligi 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 Istifadesi RedakteHal 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 1 Istinadlar Redakte Gwen Salaun Bernhard Schatz 2011 Formal Methods for Industrial Critical Systems 16th International Workshop FMICS 2011 Trento Italy August 29 30 2011 Proceedings Springer 5 ISBN 9783642244308 Xarici kecidler RedakteTeoremlerin avtomatik subutu haqqinda Cixaris avtomatlasdirma sistemi CAS SPASS An Automated Theorem Prover for First Order Logic with Equality Beklemishev Lev Dmitrievich 20 05 2014 FAQ Komputer subutlari postnauka ru Menbe https az wikipedia org w index php title Teoremlerin avtomatik subutu amp oldid 6080357, wikipedia, oxu, kitab, kitabxana, axtar, tap, hersey,
ne axtarsan burda
, en yaxsi meqale sayti, meqaleler, kitablar, oyrenmek, wiki, bilgi, tarix, seks, porno, indir, yukle, sex, azeri sex, azeri, seks yukle, sex yukle, izle, seks izle, porno izle, mobil seks, telefon ucun, chat, azeri chat, tanisliq, tanishliq, azeri tanishliq, sayt, medeni, medeni saytlar, chatlar, mekan, tanisliq mekani, mekanlari, yüklə, pulsuz, pulsuz yüklə, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, şəkil, muisiqi, mahnı, kino, film, kitab, oyun, oyunlar.
