Catuscia Palamidessi: Corsi e materiale didattico

Per commenti e suggerimenti si prega di scrivere a:

Catuscia Palamidessi, firstname@disi.unige.it

Ultima modifica: 25 ottobre 1997.

Anno Accademico 96/97

Corso di

Linguaggi di Programmazione

Docente: Professor Catuscia Palamidessi

Descrizione del Corso

Lo scopo del corso e' quello di fornire una panoramica dei linguaggi di programmazione ad alto livello, esaminando "i principi" su cui i vari linguaggi sono basati, e meccanismi e costrutti che essi mettono a disposizione. Lo studio dei vari linguaggi si svolgera' secondo un approccio comparativo e classificativo che fara' riferimento sia ad aspetti linguistici e di "potere espressivo", sia ad aspetti implementativi.
Programma Materiale didattico Lista degli studenti
Esempi ML Esempi Prolog Lambda Prolog
Gruppi di laboratorio Descrizione progetti Domande e risposte sui progetti
Guida all'esamenew Risultati esaminew Testi esami precedentinew

Anni Accademici precedenti

Corsi di Programmazione e TAMC.

Questi corsi non sono piu' presenti nel nuovo curriculum del Diploma e della Laurea in Scienze dell'Informazione; tuttavia nell'Anno Accademico 96/97 saranno tenute delle lezioni "di recupero", a cura della dott.ssa Maura Cerioli, per facilitare gli studenti che ancora devono sostenere l'esame.

Per entrambi i corsi corsi sono disponibili le seguenti dispense, in formato postscript:

Sono inoltre disponibili altre dispense, in particolare sulle definizioni induttive; per queste consultare la dott.ssa Maura Cerioli.