Page begin -
Logo DISCO
|
Go to the Highly accessible area
|
Go to the Content page
|
Go to the End of content
|
Go to the Main menu
|
Go to the Navigation Bar (location)
|
Go to the Navigation menu (tree)
|
Go to the Commands list
|
Go to the Further readings
|
Go to the Bottom Menu
|
Logo Ateneo
   
Education
Aspetti epistemologici dell'informatica

Docente: S. Bandini

Crediti: 6 CFU

Descrizione e Programma del Corso

Attraverso una panoramica dei protagonisti che ne hanno di fatto scritto la storia, scopo del corso è quello di presentare lo sviluppo delle idee dell'informatica con uno sguardo sensibile alle origini concettuali profonde che ne hanno motivato la scansione temporale. A partire dalla genesi in ambito logico-matematico dell'idea di calcolo automatico, verranno prese in considerazione le più rilevanti svolte concettuali che hanno portato, verso la metà del secolo scorso, alla definizione delle strutture computazionali dei calcolatori. Al fine di valutare il valore e le ricadute indotte dalla irruzione di tali macchine nell'ampio e variegato contesto dei dibattiti filosofici sulla natura e la definizione della conoscenza scientifica, verranno quindi introdotte le linee di fondo di un approccio epistemologico che condurrà ad illustrare gli elementi caratterizzanti dell'Intelligenza Artificiale.

  • Storia dell'Informatica

    Le origini: genesi dell'idea di calcolo e computazione da Leibniz a Turing. La nascita dei Modelli computazionali e delle Macchine per il calcolo (Il modello di Turing: dalle macchine calcolatrici alle macchine intelligenti. L'architettura di Von Neumann. Il Software ed il concetto di programmazione)

  • Il ruolo dei modelli nella scienza

    Scienza e conoscenza: Introduzione all'epistemolgia ed alla filosofia della scienza. L'idea moderna di scienza: il metodo Ipotetico-Deduttivo. Il dibattito epistemologico sui modelli concettuali e sul progresso scientifico

  • Modelli computazionali e modelli concettuali nell'ambito dell'Informatica

    Il modello di Conoscenza scientifica nell'ambito della Scienza dell'Informazione. Il paradigma classico ed il paradigma dell'Intelligenza Artificiale (AI). Intelligenza Artificiale: i protagonisti, lo sviluppo, gli approcci e le definizioni. La nozione di modello concettuale in Rappresentazione della conoscenza: Conoscenza Procedurale e Conoscenza Dichiarativa. Elementi architetturali: l'eseguibilità di un modello concettuale. Scienza sperimentale e computazione: uno sguardo sulla pervasività tecnologica.

Vai al sito web del corso

 

Further readings
(C) Copyright 2016 - Dipartimento Informatica Sistemistica e Comunicazione - Viale Sarca, 336
20126 Milano - Edificio U14
redazioneweb@disco.unimib.it - last update of this page 25/03/2011