INFORMATICA
Anno accademico 2016/2017 - 3° anno - Curriculum UnicoCrediti: 10
SSD: INF/01 - INFORMATICA
Organizzazione didattica: 250 ore d'impegno totale, 190 di studio individuale, 60 di lezione frontale
Semestre: 1°
Obiettivi formativi
Illustrare agli studenti il percorso storico – filosofico relativo all’automazione del calcolo, fino al recente sviluppo dell’informatica moderna. Ancora, tenendo come riferimento i principi di base dell’intelligenza artificiale, cercare di stimolare con opportuni test le capacità logico-deduttive dello studente, introducendolo anche all’analisi del linguaggio, e curarne le abilità di sintesi e di organizzazione nell’ambito di semplici contesti.
Prerequisiti richiesti
Aritmetica elementare
Frequenza lezioni
Vivamente consiglata
Contenuti del corso
Algoritmi come essenza dell'Informatica. Alcuni algoritmi notevoli. La numerazione binaria. 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:
1. Informatica di base_11.
2. Informatica e calcolo automatico.
Programmazione del corso
Argomenti | Riferimenti testi | |
---|---|---|
1 | Algoritmi e numerazione binaria | 1. Informatica di base_11. |
2 | Ulteriori contenuti del corso | 2. Informatica e calcolo automatico. |
Verifica dell'apprendimento
Modalità di verifica dell'apprendimento
Prova scritta con domande a risposta aperta sulla parte storico - filosofica, con esercizi sul calcolo proposizionale e predicativo, sulla numerazione binaria e sugli algoritmi notevoli. 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.