La presentazione è in caricamento. Aspetta per favore

La presentazione è in caricamento. Aspetta per favore

Corso di Laurea in Informatica Gabriella Pasi e Carla Simone

Presentazioni simili


Presentazione sul tema: "Corso di Laurea in Informatica Gabriella Pasi e Carla Simone"— Transcript della presentazione:

1 Corso di Laurea in Informatica Gabriella Pasi e Carla Simone
(AA 2005/2006) Linguaggi di Programmazione - elementi Gabriella Pasi e Carla Simone

2 Programma del corso Introduzione ai paradigmi di programmazione
PARTE A: Introduzione alle grammatiche (base formale dei linguaggi) PARTE B: Linguaggi funzionali – Il concetto di ricorsione – Introduzione al linguaggio Lisp PARTE C: La programmazione concorrente – Modellazione di sistemi concorrenti – La notazione algebrica FSP e la notazione grafica delle Reti di Petri PARTE D: Linguaggi logici – Introduzione al linguaggio Prolog – Introduzione alla Logica Matematica (base formale dei linguaggi logici)

3 Modalità di esame L’esame è costituito da tre parti: prova scritta
realizzazione di progetti discussione orale dello scritto e dei progetti La prova scritta potrà essere effettuata mediante DUE compitini, che potranno essere sostenuti durante il corso: primo compitino: mese di Novembre secondo compitino: mese di Gennaio Nel caso in cui uno dei due compitini risultasse insufficiente è consentito un recupero degli argomenti ad esso relativo SINO ALL’APPELLO DI APRILE compreso. Dopo tale appello sarà necessario rifare interamente la prova scritta.

4 Modalità di esame Il testo dei progetti sarà pubblicato sul sito web del corso ( La consegna dei progetti dovrà avvenire mediante invio di file al seguente indirizzo (quello relativo al proprio docente!) ENTRO UNA SETTIMANA PRIMA dello scritto dell’appello prescelto. per gli studenti con cognome che inizia con lettera A-L per gli studenti con cognome che inizia con lettera M-Z La prima prova scritta e’ il giorno 27 Gennaio. Se si vuole sostenere l’orale in questo appello i progetti devono quindi essere consegnati ENTRO IL GIORNO 20.

5 Linguaggi di programmazione: una possibile classificazione
– LINGUAGGI IMPERATIVI – LINGUAGGI FUNZIONALI – LINGUAGGI LOGICI – LINGUAGGI A OGGETTI Questa classificazione corrisponde a distinti paradigmi di programmazione. I linguaggi di programmazione possono essere SEQUENZIALI o CONCORRENTI.

6 Paradigma imperativo (procedurale)
Le caratteristiche essenziali e la struttura dei linguaggi imperativi sono strettamente legate all’architettura di Von Neumann. L’architettura di Von Neumann è costituita da due componenti fondamentali: – memoria (componente passiva) – processore (componente attiva) La principale attività del processore e’ eseguire calcoli e assegnare valori a celle di memoria  concetto di variabile come astrazione di cella di memoria. I linguaggi ASSEMBLER, FORTRAN, Pascal, C (ad esempio) sono basati su distinti livelli di astrazione di questa architettura.

7 La macchina di Von Neuman
I/O Memory CPU fetch instr. execute store result

8 Paradigma imperativo (procedurale)
I linguaggi imperativi adottano uno stile prescrittivo. – un programma scritto in un linguaggio imperativo prescrive le operazioni che il processore deve compiere (ad es. assegnamento). – Esecuzione delle istruzioni nell’ordine in cui appaiono nel programma (eccezione: strutture di controllo) Realizzati sia attraverso interpretazione (BASIC,...) sia mediante compilazione (C, Pascal, FORTRAN, ...) Nati per più per manipolazione numerica che simbolica

9 Paradigma imperativo (procedurale)
Programma = Algoritmo + dati La struttura del programma consiste in: una parte di dichiarazione in cui si dichiarano tutte le variabili del programma e il loro tipo: una parte che descrive l’algoritmo risolutivo utilizzato, mediante istruzioni del linguaggio. Le istruzioni si dividono in: istruzioni di lettura e scrittura istruzioni di assegnamento (astrazione di cella di memoria) istruzioni di controllo

10 Definizione di paradigmi di programmazione alternativi
Motivazioni – Necessità di gestire applicazioni a più alto livello di astrazione – Tentativo di sviluppare programmi più concisi, più semplici da scrivere, più vicini alla logica del problema, la cui correttezza sia più “semplice” da verificare – PROGRAMMAZIONE FUNZIONALE – PROGRAMMAZIONE LOGICA – PROGRAMMAZIONE A OGGETTI

11 Paradigmi funzionale e logico: caratteristiche comuni
Linguaggi ad ”altissimo livello”: utilizzabili anche da non-programmatori. Generati per manipolazione simbolica non numerica. Concetti di programma e di struttura dati non nettamente separati (un programma è specificato per mezzo di una struttura dati). Basati su concetti matematici e non come astrazioni della macchina di Von Neumann. Non richiedono dichiarazioni di variabili. I linguaggi funzionale e logico adottano uno stile dichiarativo.

12 Paradigma funzionale Concetto primitivo: funzione
– Una funzione è una regola di associazione tra due insiemi, che associa a ogni elemento del primo insieme (dominio) un elemento del secondo insieme (codominio). – La definizione di una funzione ne specifica il dominio, il codominio e la regola di associazione. Ad esempio: incr: N  N incr(x) = x + 1. – Dopo averne dato definizione, una funzione può essere applicata a un elemento del dominio (argomento) per restituire l’elemento del codominio ad esso associato (valutazione): incr(3) = 4.

13 Paradigma funzionale L’unica operazione utilizzata nel paradigma funzionale è l’applicazione di funzioni. Il ruolo dell’interprete di un linguaggio funzionale è valutare il programma e produrre un valore: nel paradigma funzionale “puro” il valore di una funzione è determinato soltanto dal valore dei suoi argomenti, e non da variabili (assenza di effetti collaterali). Il concetto di variabile utilizzato è quello di variabile matematica  valori non mutabili (nessun assegnamento). L’essenza della programmazione funzionale è combinare funzioni (utilizzo del concetto di RICORSIONE).

14 Paradigma funzionale Programma = Funzione
La struttura del programma consiste nella definizione di una funzione. L’esecuzione del programma consiste nella valutazione di tale funzione. La struttura dati fondamentale è la lista Un programma è definito come una lista (programma coincide con struttura dati)

15 Linguaggio LISP (LISt Processing)
Proposto nel da John McCarthy. Originariamente era funzionale puro. Esistono molti ambienti di programmazione Lisp: InterLisp MacLisp CommonLisp

16 Linguaggio LISP (LISt Processing)
Esempio di programma Lisp (defun member (item list) (cond ((null list) nil) ((equal item (car list)) T) (T (member item (cdr list))))) (member ’A ’(B C D)) Il programma è una struttura dati Non c’è dichiarazione di tipo Non c’è assegnamento

17 Paradigma logico Concetto primitivo: deduzione logica
Base: logica formale Obiettivo: formalizzare il ragionamento Programmare significa: descrivere il problema con formule del linguaggio interrogare il sistema, che effettua deduzioni sulla base della conoscenza rappresentata

18 Paradigma logico Programma = Conoscenza + controllo
Stile dichiarativo: la conoscenza del problema è espressa indipendentemente dal suo utilizzo (COSA non COME); Alta modularità e flessibilità Definire un linguaggio logico significa definire come il programmatore può esprimere la conoscenza e quale tipo di controllo può utilizzare: – Problematiche di RAPPRESENTAZIONE della conoscenza

19 Linguaggio Prolog Un programma Prolog è costituito da:
Asserzioni incondizionate (fatti): A Asserzioni condizionate (o regole): A IF B,C,D,… A: è la conclusione (conseguente) B,C,D: sono le premesse (o antecedenti) Una interrogazione ha la forma: ? A, B, C, …

20 Linguaggio Prolog ESEMPIO: due individui sono colleghi se lavorano per la stessa ditta collega(X,Y):- lavora(X,Z), lavora(Y,Z), diverso(X,Y). FATTI lavora(emp1,ibm). lavora(emp2,ibm). lavora(emp3,txt). lavora(emp4,olivetti). lavora(emp5,txt). :- collega(X,Y). REGOLA

21 Confronto tra programmazione prescrittiva e programmazione dichiarativa
Problema: ordinare una lista STILE PRESCRITTIVO: Controlla prima se la lista è vuota; se sì dai come risultato la lista vuota. Altrimenti calcola una permutazione L’ di L e controlla se è ordinata; se sì termina dando come risultato L’, altrimenti calcola un’altra permutazione di L etc.… STILE DICHIARATIVO: Il risultato dell’ordinamento di una lista vuota è la lista vuota. Il risultato dell’ordinamento di una lista L è L’ se la lista L’ è ordinata ed è la permutazione di L.


Scaricare ppt "Corso di Laurea in Informatica Gabriella Pasi e Carla Simone"

Presentazioni simili


Annunci Google