INFORMATIKAI KAR DOKTORI PROGRAM
SZIGORLATI TÁRGYAK

FŐTÁRGYAK (melléktárgyként is választhatók):

Programozási módszertan
Számítógépes rendszerek
Programok helyessége és szemantikája
Számítási modellek, absztrakt matematikai gépek
Algoritmusok tervezése és elemzése
Bonyolultságelmélet
Numerikus számítások
Adatbázisok, tudásbázisok, információs rendszerek
Komputeralgebra
Mesterséges intelligencia
Számítógépes grafika
Programozási nyelvek
Párhuzamos és elosztott rendszerek
Informatikai biztonság


MELLÉKTÁRGYAK:

Adatszerkezetek
Információelmélet és kódolás
Matematikai logika
Temporális logikák
Formális nyelvek
Programozási technológia
Információs rendszerek alkalmazásai
Fraktál geometria, káosz
Adatbányászat
A www és a hálózatok matematikája
Neurális számítások
Képfeldolgozás (Számítógépes látás)
Térinformatika
Approximációelmélet
Egyenletrendszerek numerikus megoldása
Differenciálegyenletek numerikus megoldása
Görbék és felületek (matematikai) modellezése