| Entrambe le parti precedenti la revisioneRevisione precedenteProssima revisione | Revisione precedente |
| magistraleinformatica:mod:2013-14:start [24/02/2015 alle 09:42 (10 anni fa)] – [Lectures] Roberto Bruni | magistraleinformatica:mod:2013-14:start [06/05/2015 alle 16:39 (10 anni fa)] (versione attuale) – [Lectures] Roberto Bruni |
|---|
| | 17 | Wed 26/03 | 11:00-13:00 | A1 | Operational semantics of HOFL\\ Domain theory | | | | 17 | Wed 26/03 | 11:00-13:00 | A1 | Operational semantics of HOFL\\ Domain theory | | |
| | 18 | Thu 27/03 | 11:00-13:00 | C1 | Exercises on the equivalence between the operational and denotational semantics of IMP and on the operational semantics of HOFL | | | | 18 | Thu 27/03 | 11:00-13:00 | C1 | Exercises on the equivalence between the operational and denotational semantics of IMP and on the operational semantics of HOFL | | |
| | 19 | Mon 31/03 | 11:00-13:00 | A | {{:magistraleinformatica:mod:testo-2014-03-31.pdf|First mid-term written exam}}\\ {{:magistraleinformatica:mod:mod14-voti-mid-term.pdf|Results}} | | | | 19 | Mon 31/03 | 11:00-13:00 | A | {{:magistraleinformatica:mod:testo-2014-03-31.pdf|First mid-term written exam}} | | |
| | 20 | Mon 07/04 | 14:00-16:00 | C1 | Correction of mid-term exam\\ Domain theory | | | | 20 | Mon 07/04 | 14:00-16:00 | C1 | Correction of mid-term exam\\ Domain theory | | |
| | 21 | Wed 09/04 | 11:00-13:00 | A1 | Denotational semantics of HOFL\\ Equivalence between the operational and denotational semantics of HOFL | | | | 21 | Wed 09/04 | 11:00-13:00 | A1 | Denotational semantics of HOFL\\ Equivalence between the operational and denotational semantics of HOFL | | |
| | 35 | Wed 21/05 | 11:00-13:00 | A1 | PEPA | | | | 35 | Wed 21/05 | 11:00-13:00 | A1 | PEPA | | |
| | 36 | Thu 22/05 | 11:00-13:00 | C1 | Exercises on probabilistic systems | | | | 36 | Thu 22/05 | 11:00-13:00 | C1 | Exercises on probabilistic systems | | |
| | 37 | Wed 28/05 | 11:00-13:00 | C | {{:magistraleinformatica:mod:testo-2014-05-28.pdf|Second mid-term written exam}}\\ {{:magistraleinformatica:mod:mod14-voti-mid-term2.pdf|Results and admission to oral exam }}\\ Students admitted to oral exam must contact the teacher to fix an appointment. | | | | 37 | Wed 28/05 | 11:00-13:00 | C | {{:magistraleinformatica:mod:testo-2014-05-28.pdf|Second mid-term written exam}}\\ Students admitted to oral exam must contact the teacher to fix an appointment. | | |
| | 38 | Wed 04/06 | 14:00-16:00 | C1 | {{:magistraleinformatica:mod:testo-2014-06-04.pdf|Exam}}\\ {{:magistraleinformatica:mod:mod14-voti-mid-term3.pdf|Results and admission to oral exam}}\\ Students admitted to oral exam must contact the teacher to fix an appointment. | | | | 38 | Wed 04/06 | 14:00-16:00 | C1 | {{:magistraleinformatica:mod:testo-2014-06-04.pdf|Exam}}\\ Students admitted to oral exam must contact the teacher to fix an appointment. | | |
| | 39 | Wed 26/06 | 14:00-16:00 | A | {{:magistraleinformatica:mod:testo-2014-06-26.pdf|Exam}}\\ {{:magistraleinformatica:mod:mod14-voti-mid-term4.pdf|Results and admission to oral exam}}\\ Students admitted to oral exam must contact the teacher to fix an appointment. | | | | 39 | Wed 26/06 | 14:00-16:00 | A | {{:magistraleinformatica:mod:testo-2014-06-26.pdf|Exam}}\\ Students admitted to oral exam must contact the teacher to fix an appointment. | | |
| | 40 | Wed 17/07 | 14:00-16:00 | C1 | {{:magistraleinformatica:mod:testo-2014-07-17.pdf|Exam}}\\ {{:magistraleinformatica:mod:mod14-voti-mid-term5.pdf|Results and admission to oral exam}}\\ Students admitted to oral exam must contact the teacher to fix an appointment. | | | | 40 | Wed 17/07 | 14:00-16:00 | C1 | {{:magistraleinformatica:mod:testo-2014-07-17.pdf|Exam}}\\ Students admitted to oral exam must contact the teacher to fix an appointment. | | |
| | 41 | Thu 04/09 | 14:00-16:00 | N1 | {{:magistraleinformatica:mod:testo-2014-09-04.pdf|Exam}}\\ {{:magistraleinformatica:mod:mod14-voti-mid-term6.pdf|Results and admission to oral exam}}\\ Students admitted to oral exam must contact the teacher to fix an appointment. | | | | 41 | Thu 04/09 | 14:00-16:00 | N1 | {{:magistraleinformatica:mod:testo-2014-09-04.pdf|Exam}}\\ Students admitted to oral exam must contact the teacher to fix an appointment. | | |
| | 42 | Fri 16/01 | 14:00-16:00 | L1 | {{:magistraleinformatica:mod:testo-2015-01-16.pdf|Exam}}\\ Students admitted to oral exam must contact the teacher to fix an appointment. | | | | 42 | Fri 16/01 | 14:00-16:00 | L1 | {{:magistraleinformatica:mod:testo-2015-01-16.pdf|Exam}}\\ Students admitted to oral exam must contact the teacher to fix an appointment. | | |
| | 43 | Fri 06/02 | 14:00-16:00 | L1 | {{:magistraleinformatica:mod:testo-2015-02-06.pdf|Exam}}\\ Students admitted to oral exam must contact the teacher to fix an appointment. | | | | 43 | Fri 06/02 | 14:00-16:00 | L1 | {{:magistraleinformatica:mod:testo-2015-02-06.pdf|Exam}}\\ Students admitted to oral exam must contact the teacher to fix an appointment. | | |
