2010-11
2010-11
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Linguaggi di Programmazione 1
Informazioni generali
Corso di Laurea Informatica Percorso
CFU 12 Università MILANO-BICOCCA
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
Commento

12 cfu così ripartiti nelle aree:

  • 4 CFU nell'area A - Fondamenti
  • 8 CFU nell'area D - Linguaggi

Sillabo dell'insegnamento

  • A - Fondamenti
    • * ALF - Automi e Linguaggi Formali
      Linguaggi formali e macchine astratte
    • * ALF - Automi e Linguaggi Formali
      Modelli concorrenti: prodotto di automi
    • * CAL - Calcolabilita'
      Elementi di computabilit
    • * CAL - Calcolabilita'
      Macchina di Turing e problemi non-risolvibili
  • D - Linguaggi
    • PLN - Paradigmi Linguistici
      Programmazione funzionale: LISP.
    • PLN - Paradigmi Linguistici
      Programmazione logica: PROLOG.
    • PLN - Paradigmi Linguistici
      Programmazione a regole: JESS
    • MP - Metodologie di Programmazione
      Ambienti di programmazione
    • MP - Metodologie di Programmazione
      Applicazioni in LISP
    • MP - Metodologie di Programmazione
      Applicazioni in PROLOG
    • MP - Metodologie di Programmazione
      Applicazioni in JESS
    • PLN - Paradigmi Linguistici
      Paradigmi di programmazione.

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali