Kurzus nemzetközi vendég- és részidős hallgatóknak

Kar

Informatikai Kar

Szervezet

IK Algoritmusok és Alkalmazásaik Tanszék

Kód

IPM-22feszMCE

Cím

Számítási modellek Ea.

Tervezett félév

Őszi

ECTS

2

Nyelv

en

Oktatás célja

A tantárgy célja a számítás és a számítási modellek fogalmának jobb megértése fontos klasszikus és nem konvencionális számítási modellek tanulmányozása által. További cél annak elsajátítása, hogy hogyan használhatók ezek a modellek elméleti és gyakorlati problémák megoldásához. tudás: Komplex és aktuális ismeretekkel rendelkezik informatikai szakterületének innovatív, kutatói szintű műveléséhez szükséges általános, matematikai és számítástudományi elvek, modellek, szabályok, összefüggések terén. Ismeri a főbb modellek alkalmazhatóságát elméleti és gyakorlati problémák megoldásában. képesség: Képes komplex matematikai, számítástudományi és informatikai tudásának és készségeinek felhasználására informatikai kutatás-fejlesztési feladatok újszerű megoldásához. Képes komplex informatikai problémák formalizálására, a szükséges elvi és gyakorlati háttér feltárására és a probléma megoldására. attitűd: Figyelemmel kíséri a képesítésével, informatikai szakterületével kapcsolatos szakmai, technológiai fejlődést. Elfogadja és munkatársaival is betartatja a munka- és szervezeti kultúra, továbbá az informatikai tudományos kutatás etikai elveit. Szakmai tudását megosztja szakmai eredmények eléréséhez. Nyitott a kezdeményező együttműködésre, az informatikai és más szakterületek szakembereivel. autonómia, felelősség: Informatikai tevékenysége során hozott szakmai döntéseiért felelősséget vállal. Felelősséget vállal a határidők betartására és betartatására. Felelősséget vállal a saját és az irányítása alatt dolgozó, illetve a vele együtt (egy projektben) tevékenykedő munkatársai munkájáért.

Tantárgy tartalma

A számítástudomány klasszikus modelljei: véges automaták, veremautomaták, Turing-gépek, ezen számítási modellek változatai, parciális rekurzív függvények, RAM gépek, logikai áramkörök, sejtautomaták, Petri hálók. További fontos modellek: hálózatok, valamint párhuzamos és elosztott számítási modellek. Neurális hálózatok. Újelvű számítási modellek (természet-inspirált számítások). A tárgyalt modellek számítási ereje, hatékonysága, számítási és leírási bonyolultság, valamint alkalmazhatósága elméleti és gyakorlati problémák megoldásában.

Számonkérés és értékelés

Félévközi zárthelyi és szóbeli vagy írásbeli vizsga 50-50%-os súlyozással.

Irodalomjegyzék

J. E. Savage, Models of Computation: Exploring the Power of Computing, Brown University, 1998. https://cs.brown.edu/people/jsavage/book/pdfs/ModelsOfComputation.pdf M. Fernandez, Models of Computation: An Introduction to Computability Theory  (Undergraduate Topics in Computer Science), Springer, 2009 M. Sipser, Introduction to the Theory of Computation,  3rd edition, Cengage, 2012 G. Păun, G. Rozenberg, A. Salomaa: DNA Computing – New Computing Paradigms.   Springer, 1998 Gh. Păun, Membrane Computing. An Introduction. Springer, 2002

Kurzus szakjai