„Formális nyelv” változatai közötti eltérés

Ugrás a navigációhoz Ugrás a kereséshez
Témához kapcsolódó külső hivatkozás
a (csúnya volt ez így)
(Témához kapcsolódó külső hivatkozás)
* Csirmaz, László: ''Matematikai logika egyetemi jegyzet'', ELTE Bp., 1994 ([http://www.renyi.hu/~csirmaz/ Postscript változat])
* Szeredi - Lukácsy - Benkő: A szemantikus világháló elmélete és gyakorlata. Typotex Kiadó, 2005. {{ISBN|963-9548-48-0}}
 
== További információk ==
* [https://youproof.hu/kriptografia/6-turing-gep-formalis-nyelv-rekurzivan-felsorolhato-rekurziv-megallasi-problema Alice és Bob - 6. rész: Alice és Bob a kiszámíthatóság határán]
* [https://youproof.hu/kriptografia/7-algoritmus-bonyolultsag-problemaosztalyok-polinomialis-exponencialis-p-np-sejtes-tanu-tetel Alice és Bob - 7. rész: Alice és Bob egymillió dolláros kérdése]
* [https://youproof.hu/kriptografia/8-karp-redukcio-np-teljes-np-nehez-cook-levin-tetel-logikai-halozatok-graf-izomorfizmus Alice és Bob - 8. rész: Alice és Bob biztonsága]
 
{{Nemzetközi katalógusok}}
258

szerkesztés

Navigációs menü