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.
Aritmetica elementare
Vivamente consiglata
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.
Dispense del docente:
1. Informatica di base_11.
2. Informatica e calcolo automatico.
reperibile sulla piattaforma STUDIUM
Argomenti | Riferimenti testi | |
1 | Algoritmi e numerazione binaria | 1. Informatica di base_11. |
2 | Ulteriori contenuti del corso | 2. Informatica e calcolo automatico. |
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.
Nessuna
Vedi: modalità d'esame.
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.