|
Lektor Hans Hüttel |
| Aalborg Universitet |
| Institut for datalogi |
| Selma Lagerlöfs Vej 300 |
| 9220 Aalborg Ø |
| Danmark |
| hans @ cs.aau.dk |
| 31754520 |
|
|
|
|
| Indledende emner |
| Algoritmer og datastrukturer |
| Concurrent og parallel programmering |
| Diskrete strukturer |
| Formelle sprog |
| Funktionsprogrammering |
| Logik |
| Logikprogrammering |
| Objektorienteret programmering |
| Oversættelse |
| Programmeringssprog |
| Videregående emner |
| Computational Logic |
| Computing Education |
| Concurrency Theory |
| Functional Programming |
| History of Computing |
| Philosophy of Computing |
| Program Analysis |
| Program Transformation |
| Programming Environments |
| Programming Language Design |
| Semantics |
| Software Verification |
| Theory of Computation |
| Type Theory |
|
![[topimage]](TopBanner900.png)