Giovedi

Oggi il prof. ha dimostrato che se esiste una contraddizione in una teoria essa può anche essere buttata:
Se vi è un affermazione a e successivamente la negazione di a con una tautologia(affermazione che è sempre vera qualsiasi cosa si a e b ) si dimostra che a implica (negazione di a implica Beta) quindi negazione di a implica Beta e come volevasi dimostrare Beta può essere qualsiasi cosa!!.
Successivamente abbiamo ripreso la funzione dell'altro giorno , il prof. ha spiegato che (continuo) è l'opposto di (discreti: numerabile, va preso in termini digitalizzati). Tutto ciò attraverso l'integrale indefinito che ha come simbolo una grande S.
Infine ci siamo collegati a questa funzione per risolvere la susi e per dimostrare che per trovare la soluzione basta togliere un'unità al numero degli iscritti!!
IL prof. ha inoltre citato ERRATA CORRIGE- Sistema esperto.
Bisogna recuperare la traccia del primo compito d'informatica dell'esame di stato del 1984 e cercare di svolgerlo.