Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
didattica:magistrale:frs:ay_2021:main [2020/10/27 09:07] tiezzi [Study material] |
didattica:magistrale:frs:ay_2021:main [2021/01/12 11:04] (current) tiezzi [News] |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| ===== News ===== | ===== News ===== | ||
| <WRAP center round important 95%> | <WRAP center round important 95%> | ||
| - | * <wrap em>04/11/2020: First partial exam.</wrap> | + | * 19/1/2021: Projects' presentations. |
| + | * <wrap em>12/1/2021: Second in itinere test: {{ :didattica:magistrale:frs:ay_2021:frs_written_test_12_jan_2021.pdf |partial test}} and {{ :didattica:magistrale:frs:ay_2021:frs_written_test_12_jan_2021_full.pdf |full test}}.</wrap> | ||
| + | * 08/11/2020: The lectures of 10/11 and 11/11 are postponed. Next lecture will take place on 17/11. | ||
| + | * 04/11/2020: First partial exam. | ||
| * 29/09/2020: First lecture of the course. | * 29/09/2020: First lecture of the course. | ||
| * Telegram channel: FRS2021@unicam | * Telegram channel: FRS2021@unicam | ||
| Line 79: | Line 82: | ||
| * {{ :didattica:magistrale:frs:ay_2021:2_frs2021_-_formal_semantics_of_regular_expressions.pdf |Semantics of Regular Expressions}} | * {{ :didattica:magistrale:frs:ay_2021:2_frs2021_-_formal_semantics_of_regular_expressions.pdf |Semantics of Regular Expressions}} | ||
| * {{ :didattica:magistrale:frs:ay_2021:3_frs2021_-_ccs.pdf |CCS}} | * {{ :didattica:magistrale:frs:ay_2021:3_frs2021_-_ccs.pdf |CCS}} | ||
| - | * ... | + | |
| Line 94: | Line 97: | ||
| * 20/10/2020: denotational semantics of regular expressions ([[https://unicam.webex.com/recordingservice/sites/unicam/recording/playback/1d30a49203964682b08a243aa3a57eea|recorded lecture]]) | * 20/10/2020: denotational semantics of regular expressions ([[https://unicam.webex.com/recordingservice/sites/unicam/recording/playback/1d30a49203964682b08a243aa3a57eea|recorded lecture]]) | ||
| * 21/10/2020: exercise on denotational semantics; axiomatic semantics ([[https://unicam.webex.com/recordingservice/sites/unicam/recording/playback/ef8acdc1eed442c88687f3a7dd3f50b1|recorded lecture]]) | * 21/10/2020: exercise on denotational semantics; axiomatic semantics ([[https://unicam.webex.com/recordingservice/sites/unicam/recording/playback/ef8acdc1eed442c88687f3a7dd3f50b1|recorded lecture]]) | ||
| + | * 27/10/2020: CCS synatx and semantics ([[https://unicam.webex.com/recordingservice/sites/unicam/recording/playback/ecfdf30fab7c4e25a65805cc0680f805|recorded lecture]]) | ||
| + | * 03/11/2020: CCS examples ([[https://unicam.webex.com/recordingservice/sites/unicam/recording/playback/2972b5c39e7c450daab2ba83572b789d|recorded lecture]]) | ||
| + | * 04/11/2020: first in itinere test | ||
| + | * 17/11/2020: discussion of the solution of the first in itinere test; CCS examples; Pesuco tool ([[https://unicam.webex.com/recordingservice/sites/unicam/recording/playback/3baa19c2766f450daff73d7903533b6f|recorded lecture]]) | ||
| + | * 18/11/2020: Introduction to Maude: sorts, operations; equations ([[https://unicam.webex.com/recordingservice/sites/unicam/recording/playback/ad04ef26f4ab4f3ab7738a43aaa9be60|recorded lecture]]) | ||
| + | * 24/11/2020: Introduction to Maude: rewrite laws ([[https://unicam.webex.com/unicam/ldr.php?RCID=54dc01ed7a9749f1a7dd99940569619f|recorded lecture]]) | ||
| + | * 25/11/2020: Maude examples ([[https://unicam.webex.com/unicam/ldr.php?RCID=65d555f2429541269196a378b97e329c|recorded lecture]]) | ||
| + | * 01/12/2020: Operational semantics of regular expression in Maude ([[https://unicam.webex.com/unicam/ldr.php?RCID=6dd1f240544b4687ad87cd3a7073acb2|recorded lecture]]) | ||
| + | * 02/12/2020: Exercises on CCS ([[https://unicam.webex.com/unicam/ldr.php?RCID=c976a588a71340fc93b0dc25c55256c3|recorded lecture]]) | ||
| + | * 09/12/2020: Process Algebras operators ([[https://unicam.webex.com/unicam/ldr.php?RCID=eac56526bbac4c27be643feafcbbae4d|recorded lecture]]) | ||
| + | * 15/12/2020: Behavioural equivalences (trace equivalence and bisimilarity) ([[https://unicam.webex.com/unicam/ldr.php?RCID=58012ef62631487288b562ff51bf197b|recorded lecture]]) | ||
| + | * 12/1/2021: Second in itinere test. | ||
| + | * 19/1/2021: Projects' presentations. | ||
| - | | ||
| | | ||
| Line 112: | Line 127: | ||
| ===== Exams ===== | ===== Exams ===== | ||
| <WRAP box round center 95%> | <WRAP box round center 95%> | ||
| - | **Exam Dates A.Y. 2020/2021 (TO BE ANNOUNCED)** | + | **Exam Dates A.Y. 2020/2021** |
| - | * ... | + | * I: 09/02/2021, 15:00 - Polo Lodovici |
| + | * II: 23/02/2021, 15:00 - Polo Lodovici | ||
| + | * III: 14/06/2021, 15:00 - Polo Lodovici | ||
| + | * IV: 28/06/2021, 15:00 - Polo Lodovici | ||
| + | * V: 12/07/2021, 15:00 - Polo Lodovici | ||
| + | * VI: 13/09/2021, 15:00 - Polo Lodovici | ||
| + | * VII: 27/09/2021, 15:00 - Polo Lodovici | ||
| + | * VIII: 07/02/2022, 15:00 - Polo Lodovici | ||
| **Exam rules**: | **Exam rules**: | ||
| * **Written test**. On the exam date a written test takes place, it has a mixed structure: solution of exercises, and open/close answer questionnaire. During the course in itinere tests take place; in case they are evaluated positively, they replace the written test of the exam date. | * **Written test**. On the exam date a written test takes place, it has a mixed structure: solution of exercises, and open/close answer questionnaire. During the course in itinere tests take place; in case they are evaluated positively, they replace the written test of the exam date. | ||
