Note ed esercizi
- In aula ho mostrato alcune tavole riassuntive per il calcolo proposizionale che uso per gli studenti del primo anno: tavola dei connettivi binari, esempi di tautologie e , una lista di tautologie e identità insiemistiche. Probabilmente di non facile lettura, possono essere tranquillamente tralasciate.
- Molti degli esercizi discussi nel corso sono tratti dai test degli scorsi anni. Questo materiale si trova, ad esempio, sul sito del Politecnico di Milano.
- Nell'ultima lezione abbiamo discusso un esercizio da deduzioni.pdf. Ce ne sono altri due, che può essere utile provare a fare da sé. Una pagina separata contiene le soluzioni.
- Altri esercizi/giochini/rompicapo, su furfanti e cavalieri.