Sadržaj
9 odnosi: Church-Turingova teza, Model računanja, Nedeterministički konačni automat, Popis osnovnih tema u matematici, Računarstvo, Računska teorija složenosti, Računski problem, Teorija izračunljivosti, Teorija računanja.
Church-Turingova teza
U teoriji izračunljivosti, Church-Turingova teza (poznata i kao Churchova teza, Churchova konjektura te Turingova teza) je hipoteza o prirodi računala, kao što je digitalno računalo ili ljudsko biće s olovkom i papirom, a koji se podvrgavaju skupu pravila.
Pogledaj Teorija izračunljivosti (računarstvo) i Church-Turingova teza
Model računanja
Model računanja je termin iz teorije računanja: teorije izračunljivosti i računske teorije složenosti.
Pogledaj Teorija izračunljivosti (računarstvo) i Model računanja
Nedeterministički konačni automat
U teoriji izračunljivosti, nedeterministički konačni automat (NKA) (još i nedeterministički konačni strojKiš Miroslav, Englesko-hrvatski i hrvatsko-engleski informatički rječnik, Zagreb, Naklada Ljevak, 2000., str. 660) je konačni automat u kojem za svaki par stanja i ulaznog znaka (simbola) može postojati nekoliko mogućih sljedećih stanja.
Pogledaj Teorija izračunljivosti (računarstvo) i Nedeterministički konačni automat
Popis osnovnih tema u matematici
Matematika je znanost koja se bavi pitanjima vezanim za brojeve, prostor, strukture i promjene.
Pogledaj Teorija izračunljivosti (računarstvo) i Popis osnovnih tema u matematici
Računarstvo
Računalstvo ili računarstvo (računarska znanost ili znanost o računalima) se bavi proučavanjem teoretskih osnova informacije i računanja, te njihovim implementacijama i primjenama u računalnim sustavima.
Pogledaj Teorija izračunljivosti (računarstvo) i Računarstvo
Računska teorija složenosti
Kao grana teorije računanja u računarstvu, računska teorija složenosti opisuje skalabilnost algoritama, te inherentnu teškoću u pružanju skalabilnih algoritama za specifične računske probleme.
Pogledaj Teorija izračunljivosti (računarstvo) i Računska teorija složenosti
Računski problem
U teoretskom računarstvu, računski problem je matematički objekt koji predstavlja pitanje koje može biti riješeno računalom.
Pogledaj Teorija izračunljivosti (računarstvo) i Računski problem
Teorija izračunljivosti
* Teorija rekurzije, grana matematičke logike, suvremeno nazvana teorijom izračunljivosti.
Pogledaj Teorija izračunljivosti (računarstvo) i Teorija izračunljivosti
Teorija računanja
Teorija računanja je grana računarstva koja razmatra mogu li se i s kojom učinkovitošću riješiti problemi koristeći računalo.
Pogledaj Teorija izračunljivosti (računarstvo) i Teorija računanja