Fondamenti di Informatica – Camerino

Argomenti del programma: Il corso affronta in maniera sistematica i modelli di computazione e i fondamenti della teoria della computabilità, con l’obiettivo di fornire agli studenti gli strumenti per comprendere i limiti e le potenzialità del calcolo automatico. Si parte da una prospettiva storica, ripercorrendo l’evoluzione del concetto di algoritmo da Leibniz fino ai giorni nostri e interrogandosi sulla possibilità che esistano problemi…

Argomenti del programma: Il corso affronta in maniera sistematica i modelli di computazione e i fondamenti della teoria della computabilità, con l’obiettivo di fornire agli studenti gli strumenti per comprendere i limiti e le potenzialità del calcolo automatico. Si parte da una prospettiva storica, ripercorrendo l’evoluzione del concetto di algoritmo da Leibniz fino ai giorni nostri e interrogandosi sulla possibilità che esistano problemi…