Inizio della pagina -
Logo DISCO
|
Visita la Versione ad elevata leggibilità
|
Vai al Contenuto della pagina
|
Vai alla Fine dei contenuti
|
Vai al Menu Principale
|
Vai alla Barra di navigazione (sei in)
|
Vai al Menu di navigazione (albero)
|
Vai alla Lista dei comandi
|
Vai alla Lista degli approfondimenti
|
Vai al Menu inferiore
|
Logo Ateneo
   
Didattica
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

 

Approfondimenti

Google Translate
Translate to English Translate to French Translate to German Translate to Spanish Translate to Chinese Translate to Portuguese Translate to Arabic
Translate to Albanian Translate to Bulgarian Translate to Croatian Translate to Czech Translate to Danish Translate to Dutch Translate to Finnish Translate to Greek Translate to Hindi
Translate to Hungarian Translate to Irish Translate to Japanese Translate to Korean Translate to Norwegian Translate to Polish Translate to Romanian Translate to Russian Translate to Serbian
Translate to Slovenian Translate to Swedish Translate to Thai Translate to Turkish

(C) Copyright 2016 - Dipartimento Informatica Sistemistica e Comunicazione - Viale Sarca, 336
20126 Milano - Edificio U14
redazioneweb@disco.unimib.it - ultimo aggiornamento di questa pagina 25/03/2011