lektor Luís Cruz-Filipe (Luís Calhorda Cruz Filipe) Syddansk Universitet Institut for matematik og datalogi Campusvej 55 5230 Odense Danmark lcf @ imada.sdu.dk 91803771

Indledende emner Algoritmer og datastrukturer Diskrete strukturer Formelle sprog Funktionsprogrammering Kunstig intelligens Logik Logikprogrammering Objektorienteret programmering Videregående emner Artificial Intelligence Complexity Theory Computational Logic Concurrency Theory Constraint Logic Programming Functional Programming Knowledge Represenation Logic Programming Object-Oriented Programming Probability Theory Theory of Computation Type Theory

 

---