INFORMATICA

INF/01 - 6 CFU - 1° semestre

Docente titolare dell'insegnamento

GIUSEPPE SORACE

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

 ArgomentiRiferimenti testi
1Vedi: 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.


PROVE IN ITINERE

Nessuna


PROVE DI FINE CORSO

Vedi: modalità d'esame.


ESEMPI DI DOMANDE E/O ESERCIZI FREQUENTI

  1. Descrivere, p.es., la figura di Friedrich Frege, illustrando i meriti principali della sua attività di scienziato.

  2. Dire, se esistono, quali sono tutti i possibili valori di verità da assegnare a delle variabili affinché una certa proposizione logica risulti falsa (vera).

  3. Mettere sotto forma di simboli (usando i quantificatori e i connettivi opportuni) una certa frase del linguaggio comune.

     



Apri in formato Pdf English version