| Informatikai Tanszékcsoport>>> Tanszékek>>> Számítástudomány Alapjai Tanszék>>> |
 In English
|
A Számítástudomány Alapjai Tanszék által meghirdetett diplomamunka, szakdolgozat témák - 2011 december
Szakdolgozat témák (témakör: elméleti számítástudomány)
Programtervező informatikus BSc szakos hallgatóknak:
- Reguláris kifejezések ekvivalenciája, témavezető: Dr. Fülöp Zoltán
- Egyszerű, hatékony algoritmusok faautomaták eldöntési problémáinak a megoldására, témavezető: Dr. Vágvölgyi Sándor
- Determinisztikus leszálló, felszálló és reguláris szűkítésű fatranszformációk kompozíciói, témavezető: Dr. Vágvölgyi Sándor
- Kongruencia lezárási algoritmusok, témavezető: Dr. Vágvölgyi Sándor
- Kronos modell ellenőrző rendszer, témavezető: Dr. Gombás Éva
- Szabályozott környezetfüggetlen nyelvtanok, témavezető: Dr. Gombás Éva
- Konverziók reguláris nyelvek különböző reprezentációi közt, témavezető: Dr. Iván Szabolcs
- Hilbert-típusú kalkulusok implementációja, témavezető: Dr. Iván Szabolcs
- Puzzle-megoldás visszavezetésekkel, témavezető: Dr. Iván Szabolcs
- Absztrakció a szoftvertervezésben az Alloy specifikációs nyelv segítségével, témavezető: Dr. Németh L. Zoltán
- Átlátható veremautomaták minimalizációja, témavezető: Dr. Németh L. Zoltán
- Brainfuck, P'' és más minimális programozási nyelvek, témavezető: Dr. Németh L. Zoltán
Mérnök informatikus BSc szakos hallgatóknak:
- Kronos modell ellenőrző rendszer, témavezető: Dr. Gombás Éva
- Szabályozott környezetfüggetlen nyelvtanok, témavezető: Dr. Gombás Éva
- Absztrakció a szoftvertervezésben az Alloy specifikációs nyelv segítségével, témavezető: Dr. Németh L. Zoltán
- Átlátható veremautomaták minimalizációja, témavezető: Dr. Németh L. Zoltán
- Brainfuck, P'' és más minimális programozási nyelvek, témavezető: Dr. Németh L. Zoltán
Gazdaság informatikus BSc szakos hallgatóknak:
- Kronos modell ellenőrző rendszer, témavezető: Dr. Gombás Éva
- Szabályozott környezetfüggetlen nyelvtanok, témavezető: Dr. Gombás Éva
- Absztrakció a szoftvertervezésben az Alloy specifikációs nyelv segítségével, témavezető: Dr. Németh L. Zoltán
- Átlátható veremautomaták minimalizációja, témavezető: Dr. Németh L. Zoltán
- Brainfuck, P'' és más minimális programozási nyelvek, témavezető: Dr. Németh L. Zoltán
Programozó matematikus (főiskolai képzés) szakos hallgatóknak:
- Egyszerű, hatékony algoritmusok faautomaták eldöntési problémáinak a megoldására, témavezető: Dr. Vágvölgyi Sándor
- Determinisztikus leszálló, felszálló és reguláris szűkítésű fatranszformációk kompozíciói, témavezető: Dr. Vágvölgyi Sándor
- Kongruencia lezárási algoritmusok, témavezető: Dr. Vágvölgyi Sándor
- Szabályozott környezetfüggetlen nyelvtanok, témavezető: Dr. Gombás Éva
Informatika tanár (egyetemi képzés) szakos hallgatóknak:
- Szabályozott környezetfüggetlen nyelvtanok, témavezető: Dr. Gombás Éva
Diplomamunka témák (témakör: elméleti számítástudomány)
Programtervező informatikus MSc szakos hallgatóknak:
- Conway-félgyűrűk, témavezető: Dr. Ésik Zoltán
- Faautomaták minimalizálása biszimulációra vonatkozóan, témavezető: Dr. Fülöp Zoltán
- Rangolatlan fákat felismerő faautomaták minimalizálása, témavezető: Dr. Fülöp Zoltán
- Fahomomorfizmusok és felismerhető fanyelvek, témavezető: Dr. Vágvölgyi Sándor
- Reguláris kifejezések minimalizálása, témavezető: Dr. Iván Szabolcs
- Automaták implementációja és alkalmazásai, témavezető: Dr. Németh L. Zoltán
Programtervező matematikus (egyetemi képzés) szakos hallgatóknak:
- Conway-félgyűrűk, témavezető: Dr. Ésik Zoltán
- Faautomaták minimalizálása biszimulációra vonatkozóan, témavezető: Dr. Fülöp Zoltán
- Rangolatlan fákat felismerő faautomaták minimalizálása, témavezető: Dr. Fülöp Zoltán
- Fahomomorfizmusok és felismerhető fanyelvek, témavezető: Dr. Vágvölgyi Sándor
- Automaták implementációja és alkalmazásai, témavezető: Dr. Németh L. Zoltán
A szakdolgozat és dilpomamunka készítés tanszékcsoporti szabályozása megtekinthető, illetve témaválsztási lap letötlthető a http://www.inf.u-szeged.hu/oktatas/diplomamunka/ weboldalról.