Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
didattica:magistrale:ias:ay_1920:main [2019/09/19 16:33] luca |
didattica:magistrale:ias:ay_1920:main [2020/09/17 16:55] (current) |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Intelligent and Adaptive Systems (IAS) ====== | ====== Intelligent and Adaptive Systems (IAS) ====== | ||
| - | **1st year** (students enrolled in 2018-2019) | + | **1st year** (students enrolled in 2019-2020) |
| <WRAP center round box 95%> | <WRAP center round box 95%> | ||
| **Compulsory Exams - Group I** (30 ECTS): | **Compulsory Exams - Group I** (30 ECTS): | ||
| Line 9: | Line 9: | ||
| * [[didattica:magistrale:svl:ay_1920:main|Systems Verification Lab ]] (6 ECTS) - 2nd Semester | * [[didattica:magistrale:svl:ay_1920:main|Systems Verification Lab ]] (6 ECTS) - 2nd Semester | ||
| * [[didattica:magistrale:lcp:ay_1920:main|Logic and Constraint Programming]] (6 ECTS) - 2nd Semester | * [[didattica:magistrale:lcp:ay_1920:main|Logic and Constraint Programming]] (6 ECTS) - 2nd Semester | ||
| + | |||
| + | **Group II Choice** (6 ECTS) - 1st or 2nd Semester: | ||
| + | * [[didattica:magistrale:toc:ay_1920:main|Theory of Complexity]] (6 ECTS) - 1st semester | ||
| + | * [[didattica:magistrale:qnm:ay_1920:main|Queueing Networks: Modeling]] (6 ECTS) - 1st semester | ||
| + | * [[didattica:magistrale:com:ay_1920:main|Compilers]] (6 ECTS) - 1st semester | ||
| + | * [[didattica:magistrale:qns:ay_1920:main|Queueing Networks: Simulation]] (6 ECTS) - 2nd semester | ||
| + | * [[didattica:magistrale:atse:ay_1920:main|Advanced Topics in Software Engineering]] (6 ECTS) - 2nd semester | ||
| + | * [[didattica:magistrale:nf:ay_1920:main|Networking Fundamentals (CISCO I-II)]] (6 ECTS) - 1st and 2nd semester - this course can be chosen only if it was not selected as free choice during the BSc in Computer Science (Laurea triennale in Informatica) | ||
| </WRAP> | </WRAP> | ||
| - | **2nd year** (students enrolled in 2017-2018 - former Software Modelling and Verification (SMV) curriculum) | + | **2nd year** (students enrolled in 2018-2019) |
| <WRAP center round box 95%> | <WRAP center round box 95%> | ||
| **Compulsory Exams - Group I** (12 ECTS): | **Compulsory Exams - Group I** (12 ECTS): | ||
| - | * [[didattica:magistrale:com:ay_1920:main|Compilers (substitutes Formal Languages and Compilers)]] (6 ECTS) - 1st Semester | + | * [[didattica:magistrale:pas:ay_1920:main|Performance Analysis and Simulation)]] (6 ECTS) - 1st Semester |
| - | * [[didattica:magistrale:ml:ay_1920:main|Machine Learning (substitutes Big Data Analytics)]] (6 ECTS) - 1st Semester | + | * [[didattica:magistrale:masl:ay_1920:main|Multiagent Systems Lab]] (6 ECTS) - 1st Semester |
| </WRAP> | </WRAP> | ||
