képzettség: programtervező matematikus, informatikus PhD

beosztás: egyetemi  docens

HIRDETÉSEK

ÓRAREND

oktatott tárgyak:

• Algoritmusok és adatszerkezetek I. és II. (programtervező informatikus BSc)
  
• Logikai programok építése (programtervező informatikus MSc: bevezetés a logikai programozásba és a Prolog nyelvbe; néhány kisebb projekt bemutatása, megbeszélése; egy hasonló méretű program önálló elkészítése)
• Logikai programozás I. és II. (alkalmazott matematikus szakon)
  

• Tanulást segítő szakdolgozatok, alkalmazások
  
• Algoritmusok és adatszerkezetek
• Algorithms and Data Structures
  
• Prolog példaprogramok, jegyzetek, útmutatások stb.
  
• A SICStus Prolog 4 rendszer (ELTE hallgatók a megfelelő szerződés elfogadása esetén díjmentesen megkaphatják)
• Formális nyelvek és automaták gyakorlat
• Mesterséges intelligencia
  

• Algoritmusok és adatszerkezetek
• Adatszerkezetek transzformációi
• Reprezentáció transzformációk 

• Logikai programozás
• Logikai nyelvtanok, fordítóprogramok, szövegfeldolgozás, programtranszformációk
  
• Funkcionális-logikai programozás

• Gráfkereső algoritmusok (Mesterséges Intelligencia)
  

Elérési lehetőségek:

A személyes honlapom itt található.

"Life is given to us, we earn it by giving it."
(Rabindranath Tagore: Stray birds 56.)