Bejelentkezés
 Fórum


 Doktori képzés 

 Doktori védések 

 Honosított fokozatok 

 Habilitációs előadások 

 Dokumentumok 

 Kapcsolatok 
 
 
Habilitáció
 
A Debreceni Egyetem
tisztelettel meghívja Önt

Kovásznai Gergely
Kovásznai Gergely
habilitációs előadására
(a jelölt publikációs listája az MTMT-ben).

A tudományos előadás
    címe: Kvantormentes bit-vektor logikák számítási bonyolultsága
    helye, időpontja: DE informatikai épület I201-es tanterem, 2018. XI. 30. 12:00

Az idegen nyelvű tudományos előadás
    címe (idegen nyelven: angol): Computational complexity of quantifier-free bit-vector logics
    helye, időpontja: DE informatikai épület I201-es tanterem, a magyar előadás után.

Az oktatási előadás
    címe: Rezolúció elsőrendű logikában
    helye, időpontja: DE informatikai épület I201-es tanterem, 2018. XI. 30. 11:00

 
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. )