LezioniAA0506 < Prog_avanzata

----
----

<H1>Programmazione Avanzata</H1>

<H3>Corso di Laurea Specialistica in Informatica</H3>

<H3>Anno Accademico 2005/06</H3>

----

<H3>[[Users.StefanoGuerrini][Stefano Guerrini]]</H3>

=guerrini&nbsp;at&nbsp;di.uniroma1.it=


----
----

<nop>[ [[LezioniAA0506][Lezioni]] <nop>]
<!-- <nop>[ [[EsercitazioniAA0506][Esercitazioni]] <nop>] -->
<nop>[ [[AnnoAcc0506][Corso 2005-06]] <nop>]
<nop>[ [[Prog_avanzata.WebHome][Pagina principale]] <nop>]


   * *mer 01/03* <br />
     Presentazione del corso. Macchne astratte, linguaggi, compilazione e interpretazione.
      * Lucidi della lezione [MacchineAstratte]: [[%ATTACHURL%/MacchineAstratte-4up.pdf][formato pdf, 4 lucidi per pagina]].


   * *lun 06/03* <br />
     Sintassi astratta. Cenni di semantica denotazionale.
      * Lucidi della lezione [Semantica]: [[%ATTACHURL%/Semantica-4up.pdf][formato pdf, 4 lucidi per pagina]].

   * *mer 08/03* <br />
     Cenni di semantica denotazionale e di semantica operazionale.
      * Lucidi della lezione [Semantica]: [[%ATTACHURL%/Semantica-4up.pdf][formato pdf, 4 lucidi per pagina]].

   * *lun 13/03* <br />
     Semantica operazionale. Prime nozioni di OCAML.
      * Lucidi della lezione [Semantica]: [[%ATTACHURL%/Semantica-4up.pdf][formato pdf, 4 lucidi per pagina]].
      * Lucidi della lezione [OCAML]: [[%ATTACHURL%/OCAML-4up.pdf][formato pdf, 4 lucidi per pagina]].

   * *mer 15/03* <br />
     OCAML.
      * Lucidi della lezione [OCAML]: [[%ATTACHURL%/OCAML-4up.pdf][formato pdf, 4 lucidi per pagina]].

   * *lun 20/03* <br />
     OCAML
     * Lucidi della lezione [OCAML]: [[%ATTACHURL%/OCAML-4up.pdf][formato pdf, 4 lucidi per pagina]].

   * *mer 22/03* <br />
     Tipi di dato
     * Lucidi della lezione [TipiDato]: [[%ATTACHURL%/TipiDato-4up.pdf][formato pdf, 4 lucidi per pagina]].

   * *lun 27/03* <br />
     Controllo di sequenza: espressioni e comandi. Linguaggi funzionali.
      * Lucidi della lezione [ExpCom]: [[%ATTACHURL%/ExpCom-4up.pdf][formato pdf, 4 lucidi per pagina]].

   * *mer 30/03* <br />
     Controllo di sequenza: espressioni e comandi. Linguaggi imperativi.
      * Lucidi della lezione [ExpCom]: [[%ATTACHURL%/ExpCom-4up.pdf][formato pdf, 4 lucidi per pagina]].

   * *lun 03/04* <br />
     Blocchi e ambiente locale: caso dei linguaggi funzionali.
      * Lucidi della lezione [BlocchiAmbLoc]: [[%ATTACHURL%/BlocchiAmbLoc-4up.pdf][formato pdf, 4 lucidi per pagina]].

   * *mer 05/04* <br />
     Blocchi e ambiente locale: caso dei linguaggi imperativi.
      * Lucidi della lezione [BlocchiAmbLoc]: [[%ATTACHURL%/BlocchiAmbLoc-4up.pdf][formato pdf, 4 lucidi per pagina]].

   * *mer 12/04* <br />
     Funzioni: caso dei linguaggi funzionali. Semantica denotazionale.
      * Lucidi della lezione [BlocchiAmbLoc]: [[%ATTACHURL%/Funzioni-4up.pdf][formato pdf, 4 lucidi per pagina]].

-- Users.StefanoGuerrini - 24 Feb 2006

Attachments

Topic attachments
I	Attachment	History	Action	Size	Date	Who
pdf	BlocchiAmbLoc-4up.pdf	r1	manage	337.7 K	2006-04-13 - 08:40	StefanoGuerrini
pdf	ExpCom-4up.pdf	r1	manage	301.2 K	2006-04-13 - 08:39	StefanoGuerrini
pdf	Funzioni-4up.pdf	r1	manage	309.3 K	2006-04-13 - 08:41	StefanoGuerrini
pdf	MacchineAstratte-4up.pdf	r1	manage	125.2 K	2006-03-16 - 12:16	StefanoGuerrini
pdf	OCAML-4up.pdf	r1	manage	89.8 K	2006-03-16 - 12:17	StefanoGuerrini
pdf	Semantica-4up.pdf	r1	manage	132.4 K	2006-03-16 - 12:17	StefanoGuerrini
pdf	TipiDato-4up.pdf	r1	manage	212.0 K	2006-04-13 - 08:38	StefanoGuerrini

This topic: Prog_avanzata > WebHome > AnnoAcc0506 > LezioniAA0506
Topic revision: r7 - 2006-04-13 - StefanoGuerrini