Tantárgy adatlapja

Tárgy neve: A digitális számítás elmélete
Tárgy kódja: P-MIB_A5
Óraszám: N: 2/2/0, L: 0/0/0
Kreditérték: 5
Az oktatás nyelve: magyar
Követelmény típus: Kollokvium
Felelős kar: ITK
Felelős szervezeti egység: Pázmány Péter Katolikus Egyetem Információs Technológiai és Bionikai Kar
Tárgyfelelős oktató: Dr. Ruszinkó Miklós
Tárgyleírás:

Tantárgy neve:A digitális számítás elmélete
P-MIB_A5
Tárgyfelelős:Ruszinkó Miklós
Tantárgy oktatója:Ruszinkó Miklós
A tantárgy céljának rövid ismertetése:A számításelmélet matematikai alapjainak a megismerése
Elsajátítandó elméleti ismeretanyag:Automaták és grammatikák elmélete; Turing gépek, rekurzíve felsorolható és rekurzív nyelvek, eldönthetőség; bonyolultságelmélet: P, NP, PSPACE, NP-teljesség, Kolmogorov komplexitás
Elsajátítandó gyakorlati ismeretanyag:A tanult ismeretek alkalmazása hatékony algoritmusok konstruálásában
A 2-4 legfontosabb kötelező irodalom felsorolása bibliográfiai adatokkal (szerző, cím, kiadás adatai, (esetleg oldalak), ISBN):Michael Sipser. Introduction to the Theory of Computation. 3d edtition, ISBN-13: 978-1-133-18779-0; Lovász László: Algoritmusok bonyolultsága. ISBN: 9781133187790; 9789632792538.
A 2-4 legfontosabb ajánlott felsorolása bibliográfiai adatokkal (szerző, cím, kiadás adatai, (esetleg oldalak), ISBN):Knuth, D. E Donald E. Knuth. A számítógép-programozás művészete 1-3. ISBN 9631071170; Gács Péter · Lovász László Algoritmusok, ISBN: 9631816184. ISBN: 9631071170; 9631816184.
Elmélet-gyakorlat aránya:Elméleti óra óraszáma: 2
Gyakorlati óra és labor óra óraszáma: 2 + 0
Az alkalmazott oktatási módszerek:Interaktív előadás és gyakorlat
Az értékelés módja:Kollokvium
Az értékelés kritériuma:Mennyire értik tudják használni az elsajátított ismereteket problémák megoldásában
Miként járul hozzá a tantárgy a KKK-ban megjelölt kompetenciaelemek megszerzéséhez:

Mérnökinformatikus alapképzés:
A tantárgy a formális nyelvek, automaták és számíthatóság alapfogalmait az elméleti és gyakorlati feladatok összehangolt alkalmazásával fejleszti a hallgatók elméleti informatikai és absztrakciós készségét.

A tárgy az alábbi képzéseken vehető fel

mérnökinformatikus IANI-MI alapképzés (BA/BSc/BProf) Nappali magyar 7 félév ITK
szechenyi-img-alt