Bejelentkezés
 Fórum


 Doktori képzés 

 Doktori védések 

 Honosított fokozatok 

 Habilitációs előadások 

 Dokumentumok 

 Kapcsolatok 
 
 
Témakiírás
 
Algebra és logika a számítástudományban

TÉMAKIÍRÁS

Intézmény: Szegedi Tudományegyetem
matematika- és számítástudományok
Matematika Doktori Iskola

témavezető: Ésik Zoltán
helyszín (magyar oldal): SZTE TTIK Matematika- és Számítástudományok Doktori Iskola 6720 Szeged, Aradi vértanúk tere 1.
helyszín rövidítés: MatDI


A kutatási téma leírása:

Automaták és nyelvek véges és végtelen szavakon és fákon. Automaták és faautomaták strukturális elmélete. Számítási logikák algebrai jellemzése. A fixpont műveletek azonosságelmélete és felhasználása a számítástudomány fejezeteinek axiomatikus tárgyalásában.

felvehető hallgatók száma: 1

Jelentkezési határidő: 2015-11-04

 
Minden jog fenntartva © 2007, Országos Doktori Tanács - a doktori adatbázis nyilvántartási száma az adatvédelmi biztosnál: 02003/0001. Program verzió: 2.2358 ( 2017. X. 31. )