• I più Scaricati

  • (1479) Dispense sulla complessità computazionale - Categoria: Algoritmi e Strutture dati 1 - 2.22 Click al giorno
  • (854) Applicazioni e Calcolo in Rete Dispense di Loriano Storchi - Categoria: Applicazioni e Calcolo in Rete - 1.28 Click al giorno
  • (832) Probabilità e Statistica: distribuzioni - Categoria: Statistica - 1.34 Click al giorno
  • (695) Giovanni Sacchetti: appunti delle lezioni di Probabilità e Statistica Matematica - Categoria: Statistica - 1.12 Click al giorno
  • (639) Algoritmi1: materiale didattico La Sapienza - Categoria: Algoritmi e Strutture dati 1 - 1.08 Click al giorno
  • (575) Dispense ed esercizi ACR edizione completa 2008 - Categoria: Applicazioni e Calcolo in Rete - 0.86 Click al giorno
  • (569) Algoritmi e Strutture Dati 1: schemi vari - Categoria: Algoritmi e Strutture dati 1 - 0.85 Click al giorno

• Specialistica News

  • Bando Erasmus a.a. 2010/11 1 marzo 2010 admin
  • VARI ARGOMENTI E TEMI DISPONIBILI PER UNA TESI DI LAUREA 10 dicembre 2009 andrea.formisano

• I post su dipmat

  marzo: 2010

  L	M	M	G	V	S	D
  « feb
  1	2	3	4	5	6	7
  8	9	10	11	12	13	14
  15	16	17	18	19	20	21
  22	23	24	25	26	27	28
  29	30	31

• 

• Articoli recenti

  • Legge Dottorini ancora più finanziata: regione umbria aumenta i finanziamenti al software libero
  • 27 ottobre 2009 – seminario – giochi infiniti per la verifica e la sintesi di sistemi: una prospettiva algoritmica
  • 22 ottobre 2009 – seminario – Ingegneria del Software per Sistemi Pervasivi e Adattivi
  • Manutenzione negli archivi
  • 19 settembre: Software Freedom Day 2009 a Perugia

• Commenti recenti

  • Il Portale degli Informatici di Perugia » Blog Archive » Manutenzione negli archivi su downloads
  • Andrea Nardinocchi su Tutti gli archivi
  • Francesco Betti Sorbelli su Oracle compra Sun Microsystems per 7,4 miliardi di dollari
  • Francesco Betti Sorbelli su Tutti gli archivi
  • Gianna su Tutti gli archivi

• Koss portapro!

  Pratiche a casa come in viaggio, le cuffie Hi-Fi PortaPro offrono un suono molto fedele. Comodissime grazie all'archetto regolabile ed al sistema "Comfort Zone" basato su un supporto degli auricolari situato a livello delle tempie. Le migliori cuffie portatili mai costruite, garantite a vita. Info: 3317157404

• Punto Informatico

  • L'ereader di Samsung e' pronto al via 10 marzo 2010
  • Un 2010 tutto in 3D, in TV 10 marzo 2010
  • Una nuvola di App per Google 10 marzo 2010
  • Twitter legge per fermare il phishing 10 marzo 2010
  • Skype e Ovi non sono sulla stessa barca 10 marzo 2010

• Toasted Tech

  • Montare partizioni Linux su Windows Seven 19 febbraio 2010 montoya
  • KDE 4.4 su Debian? Non a breve :( 17 febbraio 2010 montoya
  • Free Studio Manager 13 febbraio 2010 ayeye
  • 110 e lode 11 febbraio 2010 montoya

• Ultimi Kernel Linux

  • next-20100311: linux-next 11 marzo 2010 FTP Admin <ftpadmin@kernel.org>
  • 2.6.34-rc1-git1: snapshot 10 marzo 2010 FTP Admin <ftpadmin@kernel.org>
  • 2.6.34-rc1: mainline 8 marzo 2010 FTP Admin <ftpadmin@kernel.org>
  • 2.6.33: stable 24 febbraio 2010 FTP Admin <ftpadmin@kernel.org>

• Meta

  • Registrati
  • Collegati
  • Voce RSS
  • RSS dei commenti
  • WordPress.org

mag 18 2008

Programmazione Avanzata

Pubblicato da Fabio Andrea Petrini il 18 maggio 2008 alle ore 14:57
Sezione: Senza categoria

Docente:	Stefano Marcugini
Indirizzo:	insegnamenti comuni
Anno accademico:	2007/2008
Ore di teoria:	48
Ore di pratica:	0
CFU	6
Sito ufficiale:

Obiettivi

Comprendere i principi della programmazione funzionale. Apprendere un linguaggio di programmazione funzionale (Ocaml) ed acquisire la capacità di applicarlo per risolvere problemi complessi.

Programma

Fondamenti della programmazione funzionale.
Il lambda calcolo. Lambda calcolo puro ed applicato. Lambda calcolo con tipi. La tesi di Church. Linguaggi ML. Induzione e ricorsione.
Elementi di programmazione funzionale in Objective Caml: espressioni e tipi semplici; variabili e ambienti; definizione di funzioni, tipi di dato (Tuple, Record, Liste, Alberi) e definizione di nuovi tipi, polimorfismo, patterns, ambienti locali, strategie di valutazione (in ordine normale e in ordine applicativo), funzioni di ordine superiore.
Rappresentazione di grafi. Backtracking. Applicazione a problemi di ricerca.

Modalità di valutazione

Prova scritta e orale.

Testi consigliati

M. Cialdea Mayer, C. Limongelli: Introduzione alla programmazione funzionale, Progetto Leonardo Bologna.

Nessun tag per questo post.

Post correlati:

• Non ci sono post correlati.

Lascia un commento:

© 2010 Il Portale degli Informatici di Perugia | Post (RSS) e Commenti (RSS)
Sito realizzato da Fabio Andrea Petrini - Powered By Wordpress