border=0

De klasse fan algoritmyske (of masine-komputerbere) dielsnûmerfunksjes fermindere mei de klasse fan alle parten rekkenjende funksjes.

Dizze skripsje jout in algoritmyske ynterpretaasje fan it begryp fan in diel rekursive funksje. It kin net bewiisd wurde, om't it in net-rigele matematysk begryp fan in yntuktyf komputerbere funksje ferbiedt mei it strikte matematysk begryp fan in diel rekursive funksje. De ûndersochte ûndersyk troch in tal maten fan 'e wiskundigen foar meardere desennia die bliken dat de folsleine feasibility fan it konsept fan in partielrekrektive funksje as it wittenskiplike lykweardich is fan in yntuitysk konsept fan in komputerbere partielfunksje.

Tsjerke fan 'e dissertaasje wie genôch om de needsaaklike justysje oan te jaan oan de formulieren fan algoritmyske problemen en yn guon gefallen meitsje it mooglik om har ûnbeskôgigens te bewizen. De reden is dat meastal yn algoritmyske problemen fan wiskunde sprekke wy net oer algoritme, mar oer de kompatibiliteit fan guon spesjale konstrukte funksjes. Troch 'e tsiis fan' e tsjerke is de fraach fan 'e kwetsberens fan in funksje lykweardich te meitsjen oan' e fraach fan 'e rekkenens. It konsept fan in rekursive funksje is strikt. Dêrom jout it gebrûklike wiskundige technyk somt ús somtiden fuortendaliks dat in funksje dy't in probleem beheart kin net rekursyf wêze. It wie dizze saak dat Cherch sels de ûnmachtens fan 'e haad algoritmyske probleem fan predikaatlogika bewiisd hie, it probleem fan' e identike wierheid fan earste-gradulearre formulas.

Sjoch ek:

Besykje fragen en taken

Value formalisaasje

Foarbyld 3.1.

Oersetting fan intekeners fan ien oantal systeem nei in oar

Algemiene oanpak

Gean werom nei Tafel Ynhâld: Teoretyske Stiftingen fan Computer Science

2019 @ edudocs.fun