Az alábbi információk tájékoztató jellegűek. A hatályos követelmények az egyetemi tanrendi keresőben találhatók.
Nappali tagozaton:
Előadás: heti 2 óra / 4 kredit. Teljesítés módja: Kollokvium.
A kurzus felvételének előfeltételei: Bonyolultságelmélet vagy Számítástudomány Alapjai
Az első megbeszélés időpontja és helye: szeptember 14. 17.00 óra, Árpád tér 2. II. emeleti szemináriumi szoba (202. szoba)
Előadás anyaga: /pub/kurzusneve
Logikai áramkörök tervezése (logikai kapuk, flip-flopok, optimalizálás). Szinkron rendszerek általános definíciója. Szinkron sémák szintaxisának és szemantikájának algebrai és kategóriaelméleti eszközökkel történő leírása. Néhány egyszerűbb algoritmus implementálása szinkron rendszerek segítségével.
Szimuláció, átütemezés és erős ekvivalencia. Lelassítás, szisztolikus transzformációk. Szinkron rendszerek ekvivalenciájának eldöntése.
Visszacsatolással ellátott monoidális kategóriák es szinkron rendszerek kapcsolata. Szinkron rendszerek egyszerű algebrai azonosságokkal történő axiomatizálása. Visszacsatolás késleltetéssel és anélkül, iterációs elméletek.
Válogatott tanulmányok különböző tudományos folyóiratokból.