|
|
Compulsory Courses Compulsory courses (60 credits)
Automatic Reasoning Area
|
|
Mathematical Logics
|
6 credits |
Logics for Data and Knowledge Representation
|
6 credits |
Foundations Area
|
|
Advanced Algoritms
|
6 credits |
Concurrency Theory
|
6 credits |
| Computational Complexity |
6 credits |
Knowledge extraction area
|
|
| Data mining for knowledge management |
6 credits |
| Machine learning |
6 credits |
Web and Systems area
|
|
| Languages for the web |
12 credits |
Web architectures
|
6 credits |
| Organizational Information Systems |
6 credits |
|
|
|
