INFORMATICA
Anno accademico 2015/2016 - 3° annoCrediti: 6
SSD: INF/01 - INFORMATICA
Organizzazione didattica: 150 ore d'impegno totale, 114 di studio individuale, 36 di lezione frontale
Semestre: 1°
Prerequisiti richiesti
Aritmetica elementare
Frequenza lezioni
Vivamente consiglata
Contenuti del corso
Elementi di logica binaria. Il calcolo proposizionale. Il calcolo predicativo ed i quantificatori. I fondamenti storico – filosofici dell’intelligenza artificiale e del calcolo automatico. Esercitazioni.
Testi di riferimento
Dispense del docente: Informatica e calcolo automatico
Programmazione del corso
| Argomenti | Riferimenti testi | |
|---|---|---|
| 1 | Vedi: CONTENUTI DEL CORSO. | Informatica e calcolo automatico |
Verifica dell'apprendimento
Modalità di verifica dell'apprendimento
Prova scritta con domande a risposta aperta sulla parte stoirco - filosofica, e con esercizi sul calcolo proposizionale e predicativo. Prova orale con discussione dell'elaborato del candidato.
Esempi di domande e/o esercizi frequenti
-
Descrivere, p.es., la figura di Friedrich Frege, illustrando i meriti principali della sua attività di scienziato.
-
Dire, se esistono, quali sono tutti i possibili valori di verità da assegnare a delle variabili affinché una certa proposizione logica risulti falsa (vera).
-
Mettere sotto forma di simboli (usando i quantificatori e i connettivi opportuni) una certa frase del linguaggio comune.