News
Nuovo Esercizio e Esercizi su ML (Posted on: )
- È stato pubblicato un primo esercizio su DL, altri sono in arrivo.
- Gli esercizi di ML sono stati spostati alla lezione 16 (a cui appartenevano) e i link nella news sotto aggiornati.
Esercizi su ML (Posted on: )
Il problema dei link “finti” è stato sistemato. Tutti i link sul sito, ora, puntano a file scaricabili. Vi chiediamo di segnalarci eventuali dead links (link che non puntano ad un contenuto).
Esercizi su ML (Posted on: )
Attenzione: nel gruppo di lezione L17.X, a partire da L17.X2, gli esercizi vengono svolti nel video “interattivamente”. Non aveva senso quindi produrre un PDF.
Trovate qui gli esercizi su Modal Logics:
- Informal to Formal: L16.X.ML.Informal2Formal.pdf, L16.X.ML.Informal2Formal-small.mp4
- Frames: ./material/L16.X2.ML.Frames-small.mp4
- Validity: ./material/L16.X3.ML.Validity-small.mp4
- Validity: ./material/L16.X4.ML.ValidityII-small.mp4
- Validity: ./material/L16.X5.ML.ValidityIII-small.mp4
- Frames: ./material/L16.X6.ML.MoreFrames-small.mp4
- Tableaux: ./material/L16.X7.ML.Tableaux-small.mp4
Nuovi contenuti (Posted on: )
- Caricate slide con approfondimento su L5.T35: L5.T35.PL.LogCE-Addendum.pdf
- Caricate slide per intervento live di oggi (teoria): L10.Z.Lezione.Frontale.pdf
- Caricate slide e video per lezione di oggi (logictools + esercizi): L10.ZX.Lezione.Frontale.pdf e L10.ZX.Lezione.Frontale-small.mp4
- Aggiunta news su piccolo errore in una vecchia versione delle slide: L8.X (si trova immeditamente dopo questa news)
- Aggiunta lingua nella specifica dell’esame: Italiano (vedi: http://www.datascientia.education/cl-2020/exam-structure.html)
Errata on Slides (Posted on: )
Trova l’errore (fare click per la soluzione) …
La numerazione alle slide 17 della vecchia versione delle slides di esercizi di Propositional Logic era errata. Le slide sono state aggiornate, ma se le avete scaricate prima di oggi (19/10/2020), vi consigliamo di riscaricarle al seguente link: L8.X.1.PL.Exercises.pdf.
Recent Changes (Posted on: )
Out of curiosity, since September the 30th, the Computational Logic website managed traffic for 270 GB (and we are a small website; imagine the traffic generated by Netflix and other streaming services).
These are the most downloaded materials and the relative bandwidth on the server:
| Resource | Hits | Unique Visitors | Size |
|---|---|---|---|
| /cl-2020/material/L7.T53.PL.Reasoning.Tableau-small.mp4 | 1260 | 85 | 23.47 GB |
| /cl-2020/material/L6.T44.PL.Reasoning.TruthTables.SATDPLL-small.mp4 | 1097 | 102 | 15.72 GB |
| /cl-2020/material/L8.X.1.PL.Exercises-small.mp4 | 1041 | 45 | 46.11 GB |
| /cl-2020/material/L8.T72.FOL.Language-small.mp4 | 1016 | 63 | 39.48 GB |
| /cl-2020/material/L6.T43.PL.Reasoning.TruthTables.SATCNF-small.mp4 | 1000 | 89 | 20.24 GB |
| /cl-2020/material/L6.T42.PL.Reasoning.TruthTables.DecisionProblems-small.mp4 | 751 | 89 | 7.0 GB |
| /cl-2020/material/L7.T51.PL.Reasoning.Deduction-small.mp4 | 738 | 84 | 11.22 GB |
| /cl-2020/material/L5.T35.PL.LogCE-small.mp4 | 652 | 69 | 11.1 GB |
Recent Changes (Posted on: )
- The video of L8.T72.FOL.Language has been fixed. The previous version had an issue in the first few minutes due to a post-processing error.
- Fixed a glitch in the calendar, according to which some lessons did not appear in their natural order.
New Material published (Posted on: )
The material for L5, L6, and L7 has been published on the website.
Tic-Tac-Toe (Posted on: )
A revised version of the slides presented on Tuesday is now available on the website.
The revised slides are marked “New” and “Revised”, to simplify a second lecture to the students who attended the live session.
Collaboration Opportunities (Posted on: )
The applications to the “150 ore” program can be done at the link:
https://www.unitn.it/servizi/224/collaborazioni-studenti-150-ore
Notice that the deadline for applications for the A.Y. 2020-2021 is September 30, 2020.