Tag : Bejelentkezés |Bejegyzés |Feltöltés ismeretek
Keresés
Számítási teória [Módosítás ]
A számítási elmélet, amelyet rekurzióelméletnek is neveznek, a matematikai logika, a számítástechnika és a számítás elmélete, amely az 1930-as években származott a számítható funkciók és a Turing-fokok tanulmányozásával. A terület azóta is kiterjed az általánosított kiszámíthatóság és meghatározhatóság tanulmányozására. Ezekben a területeken a rekurzió elmélete átfedi a bizonyításelméletet és a hatékony leíró leíró elméletet.
A rekurzióelmélet által felvetett alapvető kérdések a következők: "Mit jelent a természetes számok funkciójának kiszámíthatósága?" És "Hogyan lehet a nem összeférhető funkciókat hierarchiába sorolni a nem kompatibilitási szintjük alapján?". A kérdésekre adott válaszok olyan gazdag elmélethez vezettek, amelyet még mindig aktívan kutatnak.
A matematikai logika rekurziós elméletei gyakran tanulmányozzák az e cikkben leírt relatív kiszámíthatóság, redukálhatósági fogalmak és fokstruktúrák elméletét. Ez ellentétes a szubrekurzív hierarchiák, a formális módszerek és a formális nyelvek elméletével, amely a számítástechnika számítási teóriájának tanulmányozásában gyakori. A tudás és a módszerek között azonban jelentős átfedés tapasztalható e két kutatóközösség között, és nincs köztük szoros vonal.
[A számítás elmélete][Bizonyítási elmélet]
1.Számítható és összeegyeztethetetlen készlet
2.Turing számíthatósága
3.A kutatás területei
3.1.Relatív kiszámíthatóság és a Turing fokozatok
3.2.Egyéb redukálhatóságok
3.3.Rice tétele és az aritmetikai hierarchia
3.4.Fordított matematika
3.5.számozások
3.6.Az elsődleges módszer
3.7.A rekurzívan felsorolható készletek rács
3.8.Automorfizmusproblémák
3.9.Kolmogorov komplexitása
3.10.Frekvencia számítás
3.11.Induktív következtetés
3.12.A Turing kiszámíthatóságának általánosságai
3.13.Folyamatos számítási elmélet
4.A meghatározhatóság, a bizonyítás és a kiszámíthatóság közötti kapcsolatok
5.A tárgy neve
6.Szakmai szervezetek
[Feltöltése Több Tartalom ]


Szerzői jog @2018 Lxjkh