InfoGuide https://video.sadmin.io/c/infoguide@peertube.uno/videos Sun, 08 Nov 2026 15:08:25 GMT https://validator.w3.org/feed/docs/rss2.html PeerTube - https://video.sadmin.io InfoGuide https://video.sadmin.io/lazy-static/avatars/06e846f5-87b8-4e05-9172-a8b2883f3528.png https://video.sadmin.io/c/infoguide@peertube.uno/videos All rights reserved, unless otherwise specified in the terms specified at https://video.sadmin.io/about and potential licenses granted by each content's rightholder. https://video.sadmin.io/feeds/podcast/videos.xml?videoChannelId=22037 <![CDATA[Alla scoperta dei proof assistant con Agda]]> https://video.sadmin.io/w/8fxdd2nVKA4YdC9Qd3gqit https://video.sadmin.io/w/8fxdd2nVKA4YdC9Qd3gqit Fri, 31 Mar 2023 18:45:00 GMT Trascrizione codice: https://dpdmancul.gitlab.io/agda-examples/transcript.html
Appunti (in inglese): https://dpdmancul.gitlab.io/agda-examples/

Un viaggio alla scoperta dei proof assistant, fra matematica, logica , filosofia e informatica.

0:00 Introduzione
6:40 Agda

8:33 Numeri naturali
19:20 Funzioni (somma)
26:40 Dimostrazioni

44:45 Logica
58:25 Principio del terzo escluso e monadi di continuazione
1:08:10 Sillogismi

1:17:20 Liste
1:28:40 Correttezza programmi

1:35:01 Intelligenza artificiale nei proof assistant
1:37:00 Oltre Agda: Idris2 e Isabelle
1:38:50 Dimostrare correttezza algoritmi vs codice
1:42:05 Monadi (promise, future, task)

]]> InfoGuide Education nonadult Alla scoperta dei proof assistant con Agda Trascrizione codice: https://dpdmancul.gitlab.io/agda-examples/transcript.html Appunti (in inglese): https://dpdmancul.gitlab.io/agda-examples/ Un viaggio alla scoperta dei proof assistant, fra matematica, logica , filosofia e informatica. ... <![CDATA[Difesa Contro le Arti Oscure - 3) La pietra della resurrezione (Sicurezza Informatica)]]> https://video.sadmin.io/w/k1hw5FJgtHNcMeRF2rWGxy https://video.sadmin.io/w/k1hw5FJgtHNcMeRF2rWGxy Tue, 10 May 2022 19:52:49 GMT Difesa Contro le Arti Oscure
Corso di Sicurezza Informatica
3) La pietra della resurrezione

Slides: https://gitlab.com/cominfo/dada/-/jobs/artifacts/main/download?job=compile

Backup, Recupero dati, Makware, Virus, Software Libero e Open Source

]]> InfoGuide Education nonadult Difesa Contro le Arti Oscure - 3) La pietra della resurrezione (Sicurezza Informatica) Difesa Contro le Arti Oscure Corso di Sicurezza Informatica 3) La pietra della resurrezione Slides: https://gitlab.com/cominfo/dada/-/jobs/artifacts/main/download?job=compile Backup, Recupero dati, Makware, Virus, Software Libero e Open ... <![CDATA[Difesa Contro le Arti Oscure - 2) Il mantello dell'invisibilità (Sicurezza Informatica)]]> https://video.sadmin.io/w/4XZaTxn7t4auQVfAM4aDVj https://video.sadmin.io/w/4XZaTxn7t4auQVfAM4aDVj Tue, 03 May 2022 19:51:07 GMT Difesa Contro le Arti Oscure
Corso di Sicurezza Informatica
2) Il mantello dell'invisibilità

Slides: https://gitlab.com/cominfo/dada/-/jobs/artifacts/main/download?job=compile

Tracciamento, Navigazione e ricerca anonima, Blocco dei tracker, Messaggistica

]]> InfoGuide Education nonadult Difesa Contro le Arti Oscure - 2) Il mantello dell'invisibilità (Sicurezza Informatica) Difesa Contro le Arti Oscure Corso di Sicurezza Informatica 2) Il mantello dell'invisibilità Slides: https://gitlab.com/cominfo/dada/-/jobs/artifacts/main/download?job=compile Tracciamento, Navigazione e ricerca anonima, Blocco dei tracke... <![CDATA[Difesa Contro le Arti Oscure - 1) La Bacchetta di Sambuco (Sicurezza Informatica)]]> https://video.sadmin.io/w/evrZ5MAfPLEXgUFbcMWWRW https://video.sadmin.io/w/evrZ5MAfPLEXgUFbcMWWRW Mon, 25 Apr 2022 19:47:20 GMT Difesa Contro le Arti Oscure
Corso di Sicurezza Informatica

  1. La Bacchetta di Sambuco

Slides: https://gitlab.com/cominfo/dada/-/jobs/artifacts/main/download?job=compile

Password, Phishing, Criptazione

]]> InfoGuide Education nonadult Difesa Contro le Arti Oscure - 1) La Bacchetta di Sambuco (Sicurezza Informatica) Difesa Contro le Arti Oscure Corso di Sicurezza Informatica La Bacchetta di Sambuco, Slides: https://gitlab.com/cominfo/dada/-/jobs/artifacts/main/download?job=compile Password, Phishing, Criptazione <![CDATA[Corso di LaTeX - 3/3]]> https://video.sadmin.io/w/bi7utoL3uUwECyd6eGiyso https://video.sadmin.io/w/bi7utoL3uUwECyd6eGiyso Tue, 05 Nov 2019 19:51:27 GMT Corso introduttivo a LaTeX
Lezione 3 di 3
Codice sorgente slides: https://gitlab.com/cominfo/corso-latex
Tenuto presso il Collegio Universitario don Nicola Mazza di Padova

0:00 Immagini
7:00 TikZ
29:50 Presentazioni
35:10 Scrivere in greco
37:13 Chimica

]]> InfoGuide Education nonadult Corso di LaTeX - 3/3 Corso introduttivo a LaTeX Lezione 3 di 3 Codice sorgente slides: https://gitlab.com/cominfo/corso-latex Tenuto presso il Collegio Universitario don Nicola Mazza di Padova 0:00 Immagini 7:00 TikZ 29:50 Presentazioni 35:10 Scrivere in gr... <![CDATA[Corso di LaTeX - 2/3]]> https://video.sadmin.io/w/3KnqY8pnwjzMRVSbpMnWu7 https://video.sadmin.io/w/3KnqY8pnwjzMRVSbpMnWu7 Tue, 29 Oct 2019 19:50:11 GMT Corso introduttivo a LaTeX
Lezione 2 di 3
Codice sorgente slides: https://gitlab.com/cominfo/corso-latex
Tenuto presso il Collegio Universitario don Nicola Mazza di Padova

0:00 Riferimenti
6:10 Bibliografia
11:50 Tabelle
17:35 Matematica

]]> InfoGuide Education nonadult Corso di LaTeX - 2/3 Corso introduttivo a LaTeX Lezione 2 di 3 Codice sorgente slides: https://gitlab.com/cominfo/corso-latex Tenuto presso il Collegio Universitario don Nicola Mazza di Padova 0:00 Riferimenti 6:10 Bibliografia 11:50 Tabelle 17:35 Matematica <![CDATA[Corso di LaTeX - 1/3]]> https://video.sadmin.io/w/p7NYTF44myKpebM2VEfEXF https://video.sadmin.io/w/p7NYTF44myKpebM2VEfEXF Tue, 22 Oct 2019 18:46:57 GMT Corso introduttivo a LaTeX
Lezione 1 di 3
Codice sorgente slides: https://gitlab.com/cominfo/corso-latex
Tenuto presso il Collegio Universitario don Nicola Mazza di Padova

0:00 Cos'è LaTeX?
6:10 Primi passi
23:55 Elenchi
27:25 Note
29:20 Simboli

#latex

]]> InfoGuide Education nonadult Corso di LaTeX - 1/3 Corso introduttivo a LaTeX Lezione 1 di 3 Codice sorgente slides: https://gitlab.com/cominfo/corso-latex Tenuto presso il Collegio Universitario don Nicola Mazza di Padova 0:00 Cos'è LaTeX? 6:10 Primi passi 23:55 Elenchi 27:25 Note 29:...