Brunella Gerla

Risultati appello del 24 Novembre

558 / 00109 ------ 28
556 / 001686 ------ 21
5102 / 00035 ----- 23
5102 / 00024 ----- 23
5102 / 00491 ----- 21
5102 / 00286 ----- non superato
L'esame potra' essere registrato il giorno 7 Dicembre alle ore 11 nell'ufficio di Fisciano. Gli studenti interessati a discutere l'orale o la tesina o ad avere spiegazioni possono contattarmi per posta elettronica per avere chiarimenti.

Corso di Logica Matematica per Informatica - Brunella Gerla - Anno accademico 2005/2006

Matricole che terminano con 4-5 e con 8-9

---

Appello di Novembre. Per gli studenti di anni superiori al primo, il giorno 24 novembre alle ore 14 si terra' l'appello di Logica Matematica (Fisciano). All'esame NON POSSONO partecipare gli studenti del primo anno (immatricolati nel 2005). Inoltre per questo corso NON e' prevista la prova intercorso.


Tutte le informazioni relative a questo corso si possono trovare sulla Running Platform della Facolta' di Scienze. Vedi http://www.scienzemfn.unisa.it/portal .
Su questo sito si conserva una copia delle informazioni presenti sulla piattaforma.

Appunti

• Link alla cartella che contiene tutti i documenti relativi ad appunti di lezioni e prove di esercizi.

Argomenti per tesine

Argomenti per possibili tesine sono:

• Circuiti e porte logiche in relazione alle forme normali congiuntive e disgiuntive
• Cenni di programmazione logica
• Programmi per verificare se una formula e' soddisfacibile
• La complessita' del problema di soddisfacibilita': la classe NP.

---

---

Per leggere i documenti avete bisogno di Acrobat Reader che potete scaricare da questo indirizzo.

Alcuni argomenti del corso sono sul libro:
Logica a Informatica di Asperti-Ciabattoni, ed. McGraw.Hill.
Altri argomenti saranno trattati sugli appunti.

Molte delle definizioni si possono pero' trovare (semmai con simboli e terminologie leggermente diverse) su un qualsiasi testo base di logica matematica.

---

---

---

---

---