267SM - COMPUTABILITÀ, COMPLESSITÀ E LOGICA 2021

Schema della sezione

• Seleziona sezione Introduzione

  Introduzione

  Minimizza tutto Espandi tutto

  
  

  • Seleziona attività Annunci

    

    Annunci Forum
• Seleziona sezione Informazioni Generali

  Informazioni Generali

  Il corso considera di tre lezioni frontali e di una di tutorato ogni settimana:

  • Lunedì dalle 9:00 alle 11:00, aula 0B, edificio H3
  • Martedì dalle 16:00 alle 18:00, aula 0B, edificio H3
  • Giovedì dalle 14:00 alle 16:00, aula 0B, edificio H3

  
  

  Tutorato il mercoledì dalle 14:00 alle 16:00, aula 0B, edificio H3.
  

  Il codice di MS Teams per accedere al corso è 7re3ioq

  Sul Teams del corso saranno disponibili le registrazioni delle lezioni.
  

  
  

  Esami

  Gli esami, composti da uno scritto e un orale, saranno nelle seguenti date:

  Appello di gennaio

  • Scritto: 24 gennaio 2022
  • Orale: 25 gennaio 2022 (Modificato)

  Appello di febbraio

  • Scritto: 24 febbraio 2022 (Modificato)
  • Orale: 25 febbraio 2022 

  Appello di giugno

  • Scritto: 13 giugno 2022
  • Orale: 15 giugno 2022

  Appello di luglio

  • Scritto: 18 luglio 2022
  • Orale: 20 luglio 2022

  Appello di agosto/settembre (primo)

  • Scritto: 31 agosto 2022 ore 10:00, aula 4D, H2bis
  • Orale: 31 agosto 2022 ore 15:00, aula 4D, H2bis

  Appello di agosto/settembre (secondo) (data modificata)

  • Scritto: 21 settembre 2022 ore 10:00, aula 4D, H2bis
  • Orale: 21 settembre 2022 ore 15:00, aula 4D, H2bis

  
  

  
  

  • Seleziona attività Simulazione d'esame

    

    Simulazione d'esame File PDF
  • Seleziona attività Soluzione simulazione parte di logica

    

    Soluzione simulazione parte di logica File PDF
  • Seleziona attività Soluzione logica Esame 24_01_2022

    

    Soluzione logica Esame 24_01_2022 File PDF
  • Seleziona attività Altri esercizi tipo esame per parte di Logica

    

    Altri esercizi tipo esame per parte di Logica File PDF
• Seleziona sezione Computabilità e Complessità

  Computabilità e Complessità

  • Seleziona attività Slide - lezione 1

    

    Slide - lezione 1 File PDF
  • Seleziona attività Slide - lezione 2 (con correzioni)

    

    Slide - lezione 2 (con correzioni) File PDF
  • Seleziona attività Slide - lezione 3 (con correzioni)

    

    Slide - lezione 3 (con correzioni) File PDF
  • Seleziona attività Slide - lezione 4

    

    Slide - lezione 4 File PDF
  • Seleziona attività Slide - lezione 5

    

    Slide - lezione 5 File PDF
  • Seleziona attività Slide - lezione 6 (esercizi)

    

    Slide - lezione 6 (esercizi) File PDF
  • Seleziona attività Slide - lezione 7 (con correzioni)

    

    Slide - lezione 7 (con correzioni) File PDF
  • Seleziona attività Slide - lezione 8

    

    Slide - lezione 8 File PDF
  • Seleziona attività Slide - lezione 9

    

    Slide - lezione 9 File PDF
  • Seleziona attività Slide - lezione 10

    

    Slide - lezione 10 File PDF
  • Seleziona attività Slide - lezione 11 (corrette)

    

    Slide - lezione 11 (corrette) File PDF
  • Seleziona attività Slide - lezione 12

    

    Slide - lezione 12 File PDF
  • Seleziona attività Riduzione SAT - lezione 12

    

    Riduzione SAT - lezione 12 File
  • Seleziona attività Slide - lezione 13

    

    Slide - lezione 13 File PDF
  • Seleziona attività Slide - lezione 14 (corrette)

    

    Slide - lezione 14 (corrette) File PDF
  • Seleziona attività Slide - lezione 15

    

    Slide - lezione 15 File PDF
  • Seleziona attività Slide - lezione 17

    

    Slide - lezione 17 File PDF
  • Seleziona attività Slide - lezione 18

    

    Slide - lezione 18 File PDF
• Seleziona sezione Logica

  Logica

  • Seleziona attività Slide Lezione 1 - Introduzione

    

    Slide Lezione 1 - Introduzione File PDF
  • Seleziona attività Slide Lezione 2 (corretta) - Logica Proposizionale 1

    

    Slide Lezione 2 (corretta) - Logica Proposizionale 1 File PDF
  • Seleziona attività Slide Lezione 3 (corretta) - Logica Proposizionale 2

    

    Slide Lezione 3 (corretta) - Logica Proposizionale 2 File PDF
  • Seleziona attività Slide Lezione 4 (corretta) - Logica Proposizionale 3

    

    Slide Lezione 4 (corretta) - Logica Proposizionale 3 File PDF
  • Seleziona attività Slide Lezione 5 (corretta) - Sistemi Deduttivi

    

    Slide Lezione 5 (corretta) - Sistemi Deduttivi File PDF
  • Seleziona attività Slide Lezione 6 (corretta) - Sistemi Deduttivi 2

    

    Slide Lezione 6 (corretta) - Sistemi Deduttivi 2 File PDF
  • Seleziona attività Slice Lezione 7 (corretta) - Thm Correttezza e Completezza

    

    Slice Lezione 7 (corretta) - Thm Correttezza e Completezza File PDF
  • Seleziona attività Slide Lezione 8 (corretta) - Logica dei Predicati

    

    Slide Lezione 8 (corretta) - Logica dei Predicati File PDF
  • Seleziona attività Slide Lezione 9 (corretta) - Logica dei Predicati 2

    

    Slide Lezione 9 (corretta) - Logica dei Predicati 2 File PDF
  • Seleziona attività Slide Lezione 10 (corretta) - Calcolo dei predicati

    

    Slide Lezione 10 (corretta) - Calcolo dei predicati File PDF
  • Seleziona attività Slide Lezione 11-12 (corretta) - Metodo di Risoluzione

    

    Slide Lezione 11-12 (corretta) - Metodo di Risoluzione File PDF
  • Seleziona attività Slide Lezione 13-14 Calcolo dei predicati 2

    

    Slide Lezione 13-14 Calcolo dei predicati 2 File PDF
  • Seleziona attività Esercizi Deduzione Naturale

    

    Esercizi Deduzione Naturale File PDF