Vai al contenuto
Topos Uranos
Italiano

Livello 1 · 28 lezioni

Logica Matematica I: Logica Proposizionale

Sintassi, deduzione e semantica del calcolo proposizionale classico.

Contenuto del corso

Unità 0Presentazione del corso

  1. 01Piano di studi di Logica Matematica I

Unità 1Linguaggio

  1. 02Linguaggio: introduzione
  2. 03Che cos’è la logica matematica
  3. 04Il linguaggio della logica proposizionaleCon account
  4. 05Induzione sui numeri naturali e sulle formuleCon account
  5. 06Formalizzazione del linguaggio naturaleCon account
  6. 07Linguaggio: sintesi e sfideCon account

Unità 2Deduzione

  1. 08Deduzione: introduzioneAbbonamentoCon account
  2. 09Sistemi deduttivi formaliAbbonamentoCon account
  3. 10Quattro tecniche di deduzioneAbbonamentoCon account
  4. 11Le simmetrie dei connettiviAbbonamentoCon account
  5. 12Le tecniche della logica classicaAbbonamentoCon account
  6. 13Leggi di De Morgan e leggi distributiveAbbonamentoCon account
  7. 14Deduzione: sintesi e sfideAbbonamentoCon account

Unità 3Semantica

  1. 15Semantica: introduzioneAbbonamentoCon account
  2. 16Semantica della logica proposizionaleAbbonamentoCon account
  3. 17Conseguenza ed equivalenza semanticaAbbonamentoCon account
  4. 18Leggi generalizzate di De Morgan e distributiveAbbonamentoCon account
  5. 19Completezza funzionaleAbbonamentoCon account
  6. 20Forme normaliAbbonamentoCon account
  7. 21L’algoritmo delle forme normali e le sue applicazioniAbbonamentoCon account
  8. 22Semantica: sintesi e sfideAbbonamentoCon account

Unità 4Metateoria

  1. 23Metateoria: introduzioneAbbonamentoCon account
  2. 24Correttezza e completezzaAbbonamentoCon account
  3. 25Il teorema di compattezzaAbbonamentoCon account
  4. 26Il metodo di risoluzioneAbbonamentoCon account
  5. 27Metateoria: sintesi e sfideAbbonamentoCon account

Unità 5Chiusura del corso

  1. 28Bilancio finale di Logica Matematica IAbbonamentoCon account