„Számítástudomány” változatai közötti eltérés
| [ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
Nincs szerkesztési összefoglaló |
|||
11. sor:
Néhány kialakulóban lévő alága, elméletcsoportja <ref>U. S. National Research Council Committee on the Fundamentals of Computer Science <!-- le nem fordítom G.-->: ''[http://books.google.hu/books?id=sTlPLMq6ZdYC&printsec=frontcover&dq=computer+science&hl=hu&ei=MFk7TP_XNJWSjAfUqP3dAw&sa=X&oi=book_result&ct=result&resnum=2&ved=0CDIQ6AEwAQ#v=onepage&q&f=false Computer Science]''. [[Google, Inc.|Google]] elektronikus könyv ([[pdf]]); Hiv. beill. 2010. július 12.</ref> <ref>[http://bookline.hu/product/home!execute.action;jsessionid=q5dxeF43oNYs+aPLmkVFwA**?id=55311&type=22&_v=Tasnadi_Attila_Szamitastudomany_gazdasaginformatikusoknak Tasnádi Attila: Számítástudomány gazdaságinformatikusoknak | bookline<!-- Robot generálta cím -->]</ref>:
* [[kiszámíthatóságelmélet]], rekurzióelmélet: ez egyes függvényeknek, műveleteknek más függvényekkel való kiszámíthatóságával foglalkozik, tekinthető a számításelmélet egy olyan ágának vagy testvérterületének is; mely Turing-gépek és automaták helyett hagyományos matematikai fogalmakra (függvény, generált struktúra stb.) alapoz. E terület úttörője [[Stephen Cole Kleene]] volt (érdekesség, hogy tekinthető a [[matematikai logika]] részének is) <ref>[http://www-gap.dcs.st-and.ac.uk/~history/Mathematicians/Kleene.html (ld. angolul)]</ref>.
* számításelmélet (vagy bonyolultságelmélet): [[formális nyelv]]ek, formális nyelvtanok és [[absztrakt automata|automaták]] elmélete: ide sorolhatóak a [[generatív nyelvtan]]ok, általánosabban a [[produkciós rendszerek]], az automatatípusok által generált és/vagy elfogadott nyelvek vizsgálata, az egyes automatatípusok összehasonlítása; ennek az alágnak rengeteg fontos kutatója volt mind nyugaton, mind a [[Szovjetunió]]ban; fontos terület a [[Turing-gép]]ek és hasonló automaták elmélete, mégpedig az ezek által futtatott [[algoritmus]]ok idő-és memóriaigényének vizsgálata, központi problémája a hatékonysági vagy bonyolultsági osztályok (P, NP stb.) közti kapcsolatok megállapítása, illetve az indeterminisztikus algoritmusok vizsgálata és alkalmazása;
* absztrakt adatszerkezetek elmélete: ide tartozik a [[gráfelmélet]]i algoritmusok vizsgálata (keresési problémák; s például a [[matroid]]ok alkalmazása az ilyesfajta problémákra), az informatika bizonyos alapfogalmainak ([[adatszerkezet]]ek) matematikai leírása;
| |||