| rewriting |
| equational logic |
| functional programming |
| automated reasoning |
| Physics Laboratory |
| Introduction to Computers |
| Advanced Programming Exercies (tree and graph structures) |
| Infomation Engineering Laboratory I, II (compiler construction) |
| Exercises on System Programming |