Section: Materiale didattico del modulo di Logica | Fondamenti di Informatica (2023/24)

Home

Section outline

- Select activity Presentazione del corso
  
  Presentazione del corso File
  
  Modified 25/09/23, 10:54
- Select activity Introduzione alla logica
  
  Introduzione alla logica File
  
  Uploaded 19/10/23, 15:17
- Select activity Proposizioni semplici
  
  Proposizioni semplici File
  
  Modified 26/11/23, 12:01
- Select activity Connettivi
  
  Connettivi File
  
  Uploaded 19/10/23, 15:14
- Select activity Forme proposizionali
  
  Forme proposizionali File
  
  Modified 3/11/23, 16:34
- Select activity Basi di connettivi
  
  Basi di connettivi File
  
  Modified 11/11/23, 17:43
- Select activity Reti logiche
  
  Reti logiche File
  
  Uploaded 20/11/23, 10:27
- Select activity Conseguenza logica
  
  Conseguenza logica File
  
  Modified 26/11/23, 12:03
- Select activity Logica dei predicati
  
  Logica dei predicati File
  
  Modified 14/01/24, 17:14
- Select activity Formalizzazione dei concetti della logica
  
  Formalizzazione dei concetti della logica File
  
  Modified 13/12/23, 13:06
- Select activity Esercizi del 19/10/2023
  
  Esercizi del 19/10/2023 File
  
  Uploaded 20/10/23, 18:48
- Select activity Esercizi del 26/10/2023
  
  Esercizi del 26/10/2023 File
  
  Uploaded 29/10/23, 11:49
- Select activity Esercizi del 2/11/2023
  
  Esercizi del 2/11/2023 File
  
  Uploaded 3/11/23, 16:26
- Select activity Esercizi del 9/11/2023
  
  Esercizi del 9/11/2023 File
  
  Uploaded 11/11/23, 18:31
- Select activity Lavagna del 14/12/2023
  
  Lavagna del 14/12/2023 File
  
  Uploaded 18/12/23, 16:28
- Select activity Lavagna del 21/12/2023
  
  Lavagna del 21/12/2023 File
  
  Uploaded 21/12/23, 16:44
- Select activity Collezione esercizi di logica
  
  Collezione esercizi di logica File
  
  Si faccia attenzione al fatto che le notazioni che appaiono in questi esercizi non sono del tutto consistenti con le notazioni che usiamo a lezione, soprattutto per ciò che riguarda la logica dei predicati.
  
  Uploaded 13/09/23, 16:12
- Select activity Codice sorgente delle slide
  
  Codice sorgente delle slide URL
  
  Le slide di quresto corso sono state realizzate con LaTeX e distriubite con licenza CC-BY-SA-4.0.