Számítástudomány

A Wikipédiából, a szabad enciklopédiából
(Számítógép-tudomány szócikkből átirányítva)

A számítógép-tudomány[1][2][3] vagy számítástudomány[4][5] (angol: computer science ill. computing science) a matematika egyik, igen fiatal tudományága, amely az információfeldolgozó gépek (például számítógépek) tervezésének és működtetésének elméleti, matematikai alapjaival foglalkozik[6]. Némileg elnagyoltan az algoritmusok általános elméletének is nevezhető[7]. „A számítógépek megjelenése, a mechanikus számítási eljárások megindították az algoritmus definíciójának és a programok írásmódjának formalizálását, az algoritmusok és programok szintaktikai (utasítások, vezérlési struktúra), szemantikai (helyesség, ekvivalencia), valamint kiszámíthatósági (a bemeneti értékekhez tartozó kiszámítási idő és memóriaszükséglet) tulajdonságainak mélyreható vizsgálatát. E kutatási területeket összefoglalóan matematikai számítástudománynak nevezzük.”[8]

A számítógép-tudomány tehát nem azonos sem az informatikával, sem a számítástechnikával, főleg ha a szilíciumchipek gyártásának technikáját is ideértjük, sem pedig az információelmélettel, bár vannak kisebb-nagyobb átfedések. A számítógép-tudománynak nem feladata konkrét szoftverek fejlesztése, bár foglalkozik azzal, hogy hogyan lehet a szoftverek hatékony tervezését segíteni, és ennek milyen elméleti alapjai vannak. Nem feladata konkrét információfeldolgozó gépek tervezése, bár szintén foglalkozik azzal, hogyan lehet ezek hatékonyságát elméleti szinten növelni; végképp nem feladata pedig ezek megépítése, bár a tudományág úttörői, mint Turing vagy Neumann, munkatársként részt vettek a számítógépek korai modelljeinek építésében, kialakításában is (elméleti munkásságukkal szoros kapcsolatban).

Kialakulása az 1940-es években kezdődött, nemcsak időben egybeesve, de szoros kapcsolatban is az első elektronikus számítógépek tervezésével.[9]

Története és alágai[szerkesztés | forrásszöveg szerkesztése]

A számítógép-tudomány a matematika egyik legkésőbb, mintegy fél évszázada önállósult ága. Keletkezését 1936-tól, Alan Turing angol matematikus automata- és algoritmuselméleti cikkeinek megjelenésétől, illetve Neumann János, S. C. Kleene, A. Markov, G. H. Mealy, E. F. Moore, E. Post, Kurt Gödel, John McCarthy és más kutatók hasonló jellegű munkáinak napvilágra kerülésétől kezdve számíthatjuk.

A számítógép-tudomány fejlődése rendkívül gyors, a legtöbb alágnak azonban már van kialakult és közmegegyezéses jellegű elnevezése és feladatköre. Néhány alága, elméletcsoportja:[10]

  • 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)[11].
  • automataelmélet[2], számításelmélet, bonyolultságelmélet, vagy komplexitáselmélet: formális nyelvek, formális nyelvtanok és automaták elmélete: ide sorolhatóak a generatív nyelvtanok, á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épek és hasonló automaták elmélete, mégpedig az ezek által futtatott algoritmusok 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[9]: ide tartozik a gráfelméleti algoritmusok vizsgálata (keresési problémák; s például a matroidok alkalmazása az ilyesfajta problémákra), az informatika bizonyos alapfogalmainak (adatszerkezetek) matematikai leírása;
  • formális szemantika: ez a fordítóprogramok különböző formális nyelvtanokkal való leírásának matematikai elméletéből nőtte ki magát, fontos szerepet játszanak benne az attribútumnyelvtanok és rekurzív nyelvtanok elmélete (például), vagy például a logikai programozás elméleti leírása;
  • logikai tervezés és optimalizálás[2]: ez a hagyományosan mérnöki tudomány a számítógép-tudomány absztrakt modelljeinek tanulmányozásával egyidőben alakult ki, nagyrészt tőlük függetlenül, logikai áramköröket ugyanis nemcsak számítógépekben, hanem egyszerűbb automatákban is használnak. Az áramkörök tervezésével és optimalizálásával foglalkozik, logikainak azért nevezik, mert az áramkörmodelleket ún. logikai kapukból építi fel: egy logikai kapu olyan elektronikus szerkezet, amely a bemenő digitális (a gyakorlatban szinte mindig elektronikus) jelek valamilyen logikai függvényét képes előállítani, optimális egy áramkör (általában), ha a kapuk számát sikerül minimalizálni.
  • mesterségesintelligencia-kutatás[2] (pontosabban ennek matematikai alapjai): az az algoritmusok hatékonyságát azok önállóságának, önműködésének szempontjából vizsgálja; ez az elmélet a számítógép-tudomány, az informatika és a kognitív tudomány érdekes határterületeiből nőtt össze és ki;

Számos terület (pl. a párhuzamos algoritmusok elmélete, az axiomatikus bonyolultságelmélet stb.) azonban még mindig inkább csak születőfélben lévő elmélet, mintsem önálló névvel rendelkező tudományág formájában létezik, és nehezebben sorolható a fenti alágak közé.

További információk[szerkesztés | forrásszöveg szerkesztése]

  • Ralston, Anthony: Programozás és számítógép-tudomány. Műszaki Könyvkiadó, Bp., 1974. ISBN 963-10-0616-6. (er. mű: Introduction to Programming and Computer Science, McGraw-Hill Inc.; ford. Dr. Szabados József).

Jegyzetek[szerkesztés | forrásszöveg szerkesztése]

  1. A kombinatorika és a séta mestere (beszélgetés Szemerédi Endre matematikussal). Magyar Tudomány; 2008./06.; hiv. beill. 2010. augusztus 1. Vö.: „Az elméleti számítástechnika művelése ugyanis sokszor nagyon nehéz, bonyolult matematikai eszközöket és gondolatokat igényel: szóval, az elméleti számítástechnika szerintem a matematika egyik ága! Egyébként Magyarországon folyt vita arról, hogy hogyan nevezzék a gyereket, elméleti számítástechnika, számítógép-tudomány és ki tudja, mi még – egyik sem tűnik túl szerencsésnek. Talán az elméleti számítástechnika a legjobb magyar fordítás...
  2. ^ a b c d Ralston, Anthony: Programozás és számítógép-tudomány. Műszaki Könyvkiadó, Bp., 1974. ISBN 963-10-0616-6.
  3. Az ELTE számítógéptudományi tanszékének honlapja. Hiv. beill.: 2011. 12. 19.
  4. Katona Gyula – Recski András – Szabó Csaba: A számítástudomány alapjai. Typotex Kft., 2002.; ISBN 978-963-9664-19-7; ISBN 963-9664-19-7.
  5. A BME számítástudományi és információelméleti tanszékének honlapja. Hiv. beill.: 2011. 12. 19.
  6. Computer science - Szótári bejegyzés az amerikai NITRD (A Hálózati és Információs Technológia Nemzeti Együttműködést Irányító Hivatala - National Coordination Office for Networking and Information Technology) honlapján. „Számítógéptudomány: A számítási rendszerek és számítások módszeres tanulmányozása. Eredményei és tárgya közé tartoznak a számításokat végző rendszerek és módszerek megértésével, tervezési módszerekkel, algoritmusokkal és eszközökkel, a fogalmak tesztelésének, valamint az analízisnek és verifikációnak módszereivel, a tudásreprezentációval és ennek implementációjával foglalkozó elméletek.” Hiv. beillesztése: 2011. 12. 19.
  7. Dayton Codebreakers.com
  8. Giorgio Ausiello: Algoritmusok és rekurzív függvények bonyolultságelmélete. Műszaki Könyvkiadó, Bp., 1984. ISBN 963-10-5159-5. 14. o.
  9. ^ a b U. S. National Research Council Committee on the Fundamentals of Computer Science : Computer Science. Google elektronikus könyv (pdf), (erősen) korlátozott előnézet. Hiv. beill. 2010. július 12.; 11.-13. o.
  10. Tasnádi Attila: Számítástudomány gazdaságinformatikusoknak | bookline
  11. (ld. angolul)

Kapcsolódó szócikkek[szerkesztés | forrásszöveg szerkesztése]