„Számítástudomány” változatai közötti eltérés

A ''számítógép-tudomány''<ref>''[http://www.matud.iif.hu/08jun/12.html 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, miképp 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...''”</ref><ref name="ralston">Ralston, Anthony: ''Programozás és számítógép-tudomány''. Műszaki Könyvkiadó, Bp., 1974. {{ISBN|963-10-0616-6}}.</ref><ref>[http://www.cs.elte.hu/compsci/index-hun.html Az ELTE számítógéptudományi tanszékének honlapja]. Hiv. beill.: 2011. 12. 19.</ref> tárgya maga számítógép, mint eszköz; az információfeldolgozó gépek tervezésének és használatának elméleti kérdéseit kutatja. 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. Némileg elnagyoltan az algoritmusok általános elméletének is nevezhető.<ref>{{cite web |url=http://tantargyvilagerdek.mindenkilapja.hu/html/22026403/render/matematika |title=Tudomány és még sok minden |accessdate=2016-01-13 |publisher=mindenkilapja.hu |archiveurl=https://web.archive.org/web/20160815195805/http://tantargyvilagerdek.mindenkilapja.hu/html/22026403/render/matematika |archivedate=2016-08-15 }}</ref> 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. Komplex vizsgálati területei a véges automaták, valamint a veremautomaták, mint a [[Turing-gép]] speciális esetei.