INFORMATICA

INF/01 - 6 CFU - 1° semestre

Docente titolare dell'insegnamento

GIUSEPPE SORACE
Email: sorace@dmi.unict.it
Edificio / Indirizzo: Dipartimento di Matematica e Informatica, viale A. Doria 6
Telefono: 095 7383053
Orario ricevimento: Giovedì ore 13.00


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