Laboratori di logica

Comunicazioni

  • ESAME 22 SETTEMBRE - REGISTRAZIONE VOTI. La registrazione del voto (Prof. Sambin) e' fissata per venerdi 29 settembre, ore 14.30 .
    AULA: Aula 2A/45, in Torre Archimede, secondo piano.

    I risultati del compito del 22 saranno pubblicati in SIS domani, probabilmente nel primo pomeriggio.
  • Testo del compito di giovedi 22 giugno, ore 9.30, e indicazione del punteggio degli esercizi: Parte I, ParteII (secondo compitino)

    I punti sono dati a titolo indicativo. Sono espressi in trentesimi, separatamente per ciascuna parte. Parte 1: 32 punti, ParteII: 33 punti + 7 punti aggiuntivi nell'esercizio extra.

  • Esempio di soluzione per la Parte II

    • Foglio per gli studenti che vogliono sapere i perche'

    Note ed esercizi

    Le regole di LK

    Lab 6: esercizi di preparazione al compito, e brevi note

    ERRATA : Esercizio 3 a pagina 1. Punto b. La definizione di Scambia (A v B) dovrebbe essere:
    Scambia (A v B) := Scambia(A) & Scambia(B)

    Laboratorio 5, foglio di esercizi (rivisto)

    Esercizi suggeriti prima del prossimo laboratorio. Consegnare entro giovedi sera, nella cassetta della posta abituale.
    Laboratorio 4, foglio di esercizi (rivisto)

    Esercizi suggeriti: esercizio 3 (oppure esercizo 6).




    Laboratorio 3, foglio di esercizi
    Nota: le REGOLE di LJ sono date nell'ultima pagina delle note a lab2

    Laboratorio 2, note ed esercizi Questi sono i fogli di esercizi usati al laboratorio 2, espansi con note su negazione, contrazione e quantificatori, ed esercizi svolti. Ho inserito le osservazioni piu' interessanti emerse dagli esercizi consegnati, e dalla discussione in aula.

    PS: Ho cercato un compromesso tra mettere le note online presto e scrivere qualcosa di sensato. Accolgo con entusiasmo suggerimenti, domande, e la segnalazione di errori...


    Esercizi suggeriti prima del prossimo laboratorio (quantificatori): E' possibile consegnare. Entro le ore 19 di lunedi 22, nella cassetta della posta di Raccomando anche di fare alcuni esercizi della sezione 1 (negazione)

    Invece, NON fare ancora gli esercizi su LK: non li ho cancellati, ma non ne abbiamo ancora parlato.

    Laboratorio 1, note ed esercizi Queste note contengono appunti su come costruire una derivazione, ed una selezione di esercizi.

    ERRATA:


    TEST: consegnare entro giovedi 18 maggio, ore 17.

    Fare del proprio meglio per sviluppare i seguenti esercizi. La Sezione 2 delle note (disponibili sopra) contiene diversi esercizi; consegnare solo: Come/dove consegnare
    Gruppi A e B: casella della posta di G. Sambin, primo piano (corridoio a destra).
    Gruppi C e D: casella della posta di C. Faggian, quarto piano (corridoio a destra).

    Indicare sul foglio GRUPPO e NOMI degli autori (e' possibile, anzi suggerito e incoraggiato, collaborare. Consegnare in tal caso una sola soluzione.)

    Composizione gruppi

    Gruppi

    Aule, docenti, orario


    martedi 20 giugno
    esercizi di preparazione al compito: contromodelli, LK, domande
    Gruppo Docente Aula Orario
    A D. Macedonio TA 50 B
    (Torre Archimede)    		 10 - 12
    B D. Macedonio P 200 14 - 16
    ----- ----- ------ -----
    C C. Faggian Luf2 10 - 11.45
    C + D C. Faggian Luf2
    (derivazioni in LK)    		 13.15 - 14
    D C. Faggian Luf2 14.30 - 16.15