InfoGuide

By

... more

Download on the App Store

Download on the App Store

Get it on Google Play

FAQs about InfoGuide:

How many episodes does InfoGuide have?

The podcast currently has 7 episodes available.

InfoGuide episodes:

May 30, 2023 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 Source
...more
0min
May 30, 2023 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 tracker, Messaggistica
...more
0min
May 30, 2023Difesa 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
...more
0min
May 30, 2023 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 greco
37:13 Chimica
...more
0min
May 30, 2023 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
...more
0min
May 30, 2023 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:20 Simboli
#latex
...more
0min
May 30, 2023 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.
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)
...more
0min

FAQs about InfoGuide:

How many episodes does InfoGuide have?

The podcast currently has 7 episodes available.