Università degli Studi di Urbino Carlo Bo / Portale Web di Ateneo


INFORMATICA TEORICA

A.A. CFU
2010/2011 6
Docente Email Ricevimento studentesse e studenti
Pierluigi Graziani Come da calendario affisso presso il Dipartimento di Filosofia all’inizio dei semestri.

Assegnato al Corso di Studio

Filosofia (L-5)
Giorno Orario Aula

Obiettivi Formativi

Il corso fornirà competenze nell'uso di certe strumentazioni formali da applicare in ricerche in ambito informatico. Il corso offrirà anche un'attenta riflessione filosofica sulla natura stessa di tali strumentazioni formali e loro ambiti di applicazione.

Programma


  • Il concetto di algoritmo.

  • Funzioni, insiemi e calcolabilità.

  • Macchine di Turing.

  • Funzioni ricorsive.

  • Tesi di Church e problemi indecidibili.

  • Limiti di risorse e complessità computazionale.

  • Computazione quantistica e DNA computing.

  • Attività di Supporto

    Seminari, in particolare le Lectiones Commandinianae.


    Modalità Didattiche, Obblighi, Testi di Studio e Modalità di Accertamento

    Modalità didattiche

    Lezioni frontali ed esercitazioni guidate.

    Testi di studio
  • Marcello Frixione e dario Palladino "Funzioni, Macchine, Algoritmi", Carocci 2004.
  • Dispense date dal professore.
  • Modalità di
    accertamento

    L'esame sarà orale e durante questo si chiederà allo studente di risolvere esercizi.

    Disabilità e DSA

    Le studentesse e gli studenti che hanno registrato la certificazione di disabilità o la certificazione di DSA presso l'Ufficio Inclusione e diritto allo studio, possono chiedere di utilizzare le mappe concettuali (per parole chiave) durante la prova di esame.

    A tal fine, è necessario inviare le mappe, due settimane prima dell’appello di esame, alla o al docente del corso, che ne verificherà la coerenza con le indicazioni delle linee guida di ateneo e potrà chiederne la modifica.

    Informazioni aggiuntive per studentesse e studenti non Frequentanti

    Testi di studio
  • Marcello Frixione e dario Palladino "Funzioni, Macchine, Algoritmi", Carocci 2004.
  • Dispense date dal professore.
  • A. Hodges "Turing", Phoenix, London, 1997 (ripubblicato dalla casa editrice Routledge, New York, 1999 (traduzione italiana A. Hodges "Turing", Sansoni, 1998).
  • « torna indietro Ultimo aggiornamento: 03/10/2010


    Il tuo feedback è importante

    Raccontaci la tua esperienza e aiutaci a migliorare questa pagina.

    Posta elettronica certificata

    amministrazione@uniurb.legalmail.it

    Social

    Università degli Studi di Urbino Carlo Bo
    Via Aurelio Saffi, 2 – 61029 Urbino PU – IT
    Partita IVA 00448830414 – Codice Fiscale 82002850418
    2024 © Tutti i diritti sono riservati

    Top