Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
didattica:magistrale:lcp:ay_1920:main [2020/04/07 10:58]
tiezzi [Study material]
didattica:magistrale:lcp:ay_1920:main [2021/03/18 09:13] (current)
tiezzi [Study material]
Line 3: Line 3:
 ===== News ===== ===== News =====
 <WRAP center round important 95%> <WRAP center round important 95%>
-  * <wrap em>​**24/​3/​2020**</​wrap>​: the lecture of 24 March will start later; the beginning of the lecture is delayed to 10:00. +  * <wrap em>Guidelines for the projects'​ presentations:</​wrap>​ date and time: 3rd of June, 14:​00-16:​00;​ venue: https://​unicam.webex.com/​meet/​francesco.tiezzi;​ presentation of the work: I expect a presentation with slides, and a demo of the implemented application,​ you do not need to write a report; presentation duration: 15 minutes (20 minutes at most); material: please, send me the slides and the developed code (it is fine to send it the same day of the exam). 
-  * Google Meet: https://​meet.google.com/​yrw-jsak-pci +  * **13/​4/​2020**:​ the lectures of 14 and 15 March are postponed; the updated schedules of the next lectures is reported below. 
-  * <wrap em>**17/​3/​2020**</​wrap>​: the 3rd hour of the lecture of today is postponed, due to problem with Webex.+  * **24/​3/​2020**:​ the lecture of 24 March will start later; the beginning of the lecture is delayed to 10:00. 
 +  * **17/​3/​2020**:​ the 3rd hour of the lecture of today is postponed, due to problem with Webex.
   * **11/​3/​2020**:​ please, install SWI Prolog in your machine:​ https://​www.swi-prolog.org/​   * **11/​3/​2020**:​ please, install SWI Prolog in your machine:​ https://​www.swi-prolog.org/​
   * **10/​3/​2020**:​ first lecture (via Webex: https://​unicam.webex.com/​meet/​francesco.tiezzi)   * **10/​3/​2020**:​ first lecture (via Webex: https://​unicam.webex.com/​meet/​francesco.tiezzi)
Line 81: Line 82:
   * {{ :​didattica:​magistrale:​lcp:​ay_1920:​lpnchapter6.pdf |LPN chapter6}}   * {{ :​didattica:​magistrale:​lcp:​ay_1920:​lpnchapter6.pdf |LPN chapter6}}
   * {{ :​didattica:​magistrale:​lcp:​ay_1920:​lpnchapter10.pdf |LPN chapter10}}   * {{ :​didattica:​magistrale:​lcp:​ay_1920:​lpnchapter10.pdf |LPN chapter10}}
 +  * {{ :​didattica:​magistrale:​lcp:​ay_1920:​minizinc.pdf |Minizinc}}
 +  * {{ :​didattica:​magistrale:​lcp:​ay_1920:​drools.pdf |Drools}}
  
 **Lectures** **Lectures**
Line 91: Line 94:
   * 31/03/2020: exercises on recursion; lists ([[https://​unicam.webex.com/​recordingservice/​sites/​unicam/​recording/​playback/​789bbfe0f0284fecb2ffbfc1068747e2|recorded lecture]])   * 31/03/2020: exercises on recursion; lists ([[https://​unicam.webex.com/​recordingservice/​sites/​unicam/​recording/​playback/​789bbfe0f0284fecb2ffbfc1068747e2|recorded lecture]])
   * 01/04/2020: exercises on lists, arithmetics ([[https://​unicam.webex.com/​recordingservice/​sites/​unicam/​recording/​playback/​c2ee511add8049d9bfbd62e6dbb68f87|recorded lecture]])   * 01/04/2020: exercises on lists, arithmetics ([[https://​unicam.webex.com/​recordingservice/​sites/​unicam/​recording/​playback/​c2ee511add8049d9bfbd62e6dbb68f87|recorded lecture]])
-  * 07/04/2020: accumulators and append, exercises +  * 07/04/2020: accumulators and append, exercises ​([[https://​unicam.webex.com/​recordingservice/​sites/​unicam/​recording/​playback/​515f95e292794389a7d31e9ffe35e5de|recorded lecture]]) 
-  * 08/04/2020: cut, exercises +  * 08/04/2020: cut and negation ([[https://​unicam.webex.com/​recordingservice/​sites/​unicam/​recording/​playback/​5dc73c6569a94bfd9cc83f762b49ed85|recorded lecture]]) 
-  * 14/04/2020Minizinc 1 +  * 21/04 (09:00-12:00): Partial exam on Prolog. 
-  * 15/04/2020: Minizinc ​2 +  * 22/04 (14:​00-16:​00): Minizinc ​1 ([[https://​unicam.webex.com/​recordingservice/​sites/​unicam/​recording/​playback/​f190416230f14a79ab02048400775a34|recorded lecture]]) 
-  * 21/04/2020partial exam on Prolog +  * 28/04 (09:00-12:00): Minizinc 2 ([[https://​unicam.webex.com/​recordingservice/​sites/​unicam/​recording/​playback/​827c0c131ba043efa015753b3a276988|recorded lecture]]) 
-  * 22/04/2020: Drools 1 +  * 29/04 (14:00-16:00): Minizinc 3, Drools 1 ([[https://​unicam.webex.com/​recordingservice/​sites/​unicam/​recording/​playback/​62e255ff3792427ba5eabbeb49b62965|recorded lecture]]) 
-  * 28/04/2020: Drools 2 +  * 05/05 (09:​00-12:​00): Drools 2 ([[https://​unicam.webex.com/​recordingservice/​sites/​unicam/​recording/​playback/​6d69de9a092748f8968351a7d6e919a8|recorded lecture]]) 
-  * 29/04/2020: Drools 3 +  * 06/05 (14:​00-16:​00): Drools 3 ([[https://​unicam.webex.com/​recordingservice/​sites/​unicam/​recording/​playback/​2d0bc1a0fecf48b0a5b80805de179db3|recorded lecture]]) 
-  * 05/05/2020: Discussion about projects +  * 12/05 (09:​00-11:​00): Discussion about projects. 
-  * 26/05/2020: Projects'​ presentations+  * 26/05 (09:​00-10:​00):​ Discussion about projects. 
 +  * 03/06 (14:​00-16:​00): Projects'​ presentations.
  
 +/*
 **Practical sessions** **Practical sessions**
   * 11/03/2020: {{ :​didattica:​magistrale:​lcp:​ay_1920:​20200311_exercises.zip |exercises}} - {{ :​didattica:​magistrale:​lcp:​ay_1920:​20200311_solutions.zip |solutions}}   * 11/03/2020: {{ :​didattica:​magistrale:​lcp:​ay_1920:​20200311_exercises.zip |exercises}} - {{ :​didattica:​magistrale:​lcp:​ay_1920:​20200311_solutions.zip |solutions}}
Line 107: Line 112:
   * 31/03/2020: {{ :​didattica:​magistrale:​lcp:​ay_1920:​lcp1819_ex3.zip |exercises}} {{ :​didattica:​magistrale:​lcp:​ay_1920:​ch3_solutions.zip |solutions}}   * 31/03/2020: {{ :​didattica:​magistrale:​lcp:​ay_1920:​lcp1819_ex3.zip |exercises}} {{ :​didattica:​magistrale:​lcp:​ay_1920:​ch3_solutions.zip |solutions}}
   * 01/04/2020: {{ :​didattica:​magistrale:​lcp:​ay_1920:​exercise_ch4.zip |exercises}} {{ :​didattica:​magistrale:​lcp:​ay_1920:​solutions_ch4.zip |solutions}}   * 01/04/2020: {{ :​didattica:​magistrale:​lcp:​ay_1920:​exercise_ch4.zip |exercises}} {{ :​didattica:​magistrale:​lcp:​ay_1920:​solutions_ch4.zip |solutions}}
-  * 07/04/2020: {{ :​didattica:​magistrale:​lcp:​ay_1920:​exercises_ch5_lcp2020.zip |exercises}} {{ :​didattica:​magistrale:​lcp:​ay_1920:​exercises_ch5_solutions_lcp2020.zip |solutions}}+  * 07/04/2020: {{ :​didattica:​magistrale:​lcp:​ay_1920:​exercises_ch5_lcp2020.zip |exercises}} {{ :​didattica:​magistrale:​lcp:​ay_1920:​exercises_ch5_solutions_lcp2020.zip |solutions}} ​{{ :​didattica:​magistrale:​lcp:​ay_1920:​homework.zip |homework}} {{ :​didattica:​magistrale:​lcp:​ay_1920:​ex6_solution_lcp20.zip |solution}} 
 +  * 08/04/2020: {{ :​didattica:​magistrale:​lcp:​ay_1920:​ex10_lcp20.zip |exercise}} 
 +*/
  
 **Reference books** **Reference books**