Logica, Anno di Preparazione, DIIN

A.A. 2024/2025

Orario lezioni: Giovedì 12:00-15:00, Venerdì 12:00-14:00.
Ricevimento Studenti: mercoledì 16:00-18:00. Da concordare sempre preventivamente per email.

Libri consigliati:​
M.Bramanti-G.Travaglini: Matematica. Questione di Metodo – Zanichelli (2009).

Modalità d'esame: L'esame sarà solo scritto. Ci saranno appelli nella sessione invernale ed in quella estiva.
​​
NEWS:
  • Il primo appello ufficiale è il giorno 27 gennaio alle ore 12:00 (e non alle 9:00 come erroneamente riportato su Esse3) in aula F8 (edificio F2, piano terra).
  • Il secondo appello è il giorno 10 febbraio alle ore 12:00 in aula F8 (edificio F2, piano terra). Anche in questo caso, le informazioni su esse3 sono errate.

Programma - files lezioni

Esercitazioni 
  • 26 settembre 2024 (appunti lezione) Introduzione al corso e test auto valutativo.
  • 27 settembre 2024 (appunti lezione) Le ambiguità del linguaggio naturale: esiste, oppure, tutti e soli.
  • 03 ottobre 2024 (appunti lezione) Insiemi: definizioni, operazioni, insiemi numerici. Esercitazione.
  • 04 ottobre 2024 (appunti lezione) Correzione esercitazione.
  • 10 ottobre 2024 (appunti lezione) Proposizioni, forme proposizionali, insiemi definiti da proprietà.
  • 11 ottobre 2024 (appunti lezione) Operatori logici: implicazione, tavole di verità dei connettivi, sillogismi, punto di vista insiemistico.
  • 17 ottobre 2024 - Esercitazione 2.
  • 18 ottobre 2024 (appunti lezione) Correzione esercizi.
  • 24 ottobre 2024 (appunti lezione) Svolgimento esercizi. Ragionamenti logicamente corretti, tecniche di dimostrazione.
  • 25 ottobre 2024 (appunti lezione) Ragionamenti logicamente corretti, tecniche di dimostrazione e ragionamenti fallaci.
  • 31 ottobre 2024 - Esercitazione 3.
  • 07 novembre 2024 (appunti lezione) Correzione esercizi e riepilogo.
  • 08 novembre 2024 (appunti lezione) Formule e indici, variabili.
  • 14 novembre 2024 (appunti lezione) Sommatorie e produttorie. Coerenza sintattica di una formula.
  • 15 novembre 2024 (appunti lezione) Esercizi su sommatorie e produttorie. Principio di induzione.
  • 21 novembre 2024 (appunti lezione) Esercitazione 4. Svolgimento e correzione esercizi da 1 a 5.
  • 22 novembre 2024 (appunti lezione) Correzione esercizio induzione. Definizione di funzione, funzioni iniettive, funzioni suriettive, composizione di funzioni.
  • 28 novembre 2024 (appunti lezione) Studiare una definizione.
  • 29 novembre 2024 (appunti lezione) Studiare una definizione.
  • 05 dicembre 2024 (appunti lezione) Simulazione d'esame.
  • 06 dicembre 2024 (appunti 1, appunti 2) Correzione simulazione ed esercitazione.
  • 12 dicembre 2024 - Esercitazione 5: simulazione esame.
  • 13 dicembre 2024 (appunti 1, appunti 2) Correzione simulazione ed esercizi.
  • 19 dicembre 2024. Pre appello. Esiti
I file in basso sono per la maggior parte estratti dagli esercizi del libro consigliato.