Esercizio: punti e segmenti
|
|
- Leonardo Patti
- 5 anni fa
- Visualizzazioni
Transcript
1 Esercizio: punti e segmenti! Punti e segmenti nel piano, con data abstraction Esercizio: punti e segmenti! Punti e segmenti nel piano, con data abstraction! Lunghezza di un segmento l = (x 2 " x 1 ) 2 + (y 2 " y 1 ) 2 y 2 y 1 x 1 x 2!! Data abstraction:! Segmento " Costruttore make-seg pt1 pt2 " Selettori start-point seg end-point seg! Punto " Costruttore make-point x y " Selettori x-coor point y-coor point 1
2 Esercizio: punti e segmenti (define (segment-length segment) (let ((dx (- (x-coord (end-point segment)) (x-coord (start-point segment)))) (dy (- (y-coord (end-point segment)) (y-coord (start-point segment))))) (sqrt (+ (square dx) (square dy))))) Implementazione segmento (define (make-seg pt1 pt2) (cons pt1 pt2)) (define (start-point seg) (car seg)) (define (end-point seg) (cdr seg)) Implementazione punto (coordinate rettangolari) (define (make-point x y) (cons x y)) (define (x-coor point) (car point)) (define (y-coor point) (cdr point)) Esercizio: punti e segmenti! Cambiamo la rappresentazione dei punti e usiamo la rappresentazione polare p=(r,!)! I programmi di alto livello (es. segment-length) non cambiano: usano costruttori e selettori con gli stessi nomi x = r cos" y = r sin" r!! (define (make-point r ang) (cons r ang)) (define (x-coor p) (* (car p) (cos (cdr p)))) (define (y-coor p) (* (car p) (sin (cdr p)))) 2
3 Che cosa intendiamo per dati?! I dati sono definiti da una collezione di costruttori e selettori, insieme a specifiche condizioni che queste procedure devono soddisfare! Data abstraction interviene a tutti i livelli! Es. Non abbiamo mai detto cosa sia una coppia, ma soltanto che avevamo le procedure cons, car e cdr per operare sulle coppie Che cosa intendiamo per dati?! Riguardo le coppie, l unica cosa che ci interessa sapere è che (car (cons x y)) => x (cdr (cons x y)) => y! cons, car, e cdr sono primitive nello Scheme! Tuttavia qualunque tripla di procedure che soddisfa le precedenti condizioni, può essere usata per implementare le coppie 3
4 Che cosa intendiamo per dati?! Per esempio, possiamo implementare le coppie, senza usare nessuna struttura dati, ma soltanto le procedure (define (cons x y) (lambda (pick) (cond ((= pick 1) x) ((= pick 2) y) (else (error "L'argomento non e' ne' 1 ne' 2 )))) ) (define (car z) (z 1)) (define (cdr z) (z 2)) Che cosa intendiamo per dati? (define (cons x y) (lambda (pick) (cond ((= pick 1) x) ((= pick 2) y) (else (error "L'argomento non e' ne' 1 ne' 2 )))) ) (define (car z) (z 1)) (define (cdr z) (z 2)) (cons 6 9) => (lambda (pick) (cond ((= pick 1) 6) ((= pick 2) 9) (else (error "L'argomento non e' ne' 1 ne' 2 )))) 4
5 Cons, car, cdr in versione procedurale! Esiste una versione ancora più elegante di implementare le coppie proceduralmente (define (cons x y) (lambda (m) (m x y))) (define (car z) (z (lambda (p q) p))) Esercizio: verificare che funzionano con il modello di sostituzione (define (cdr z) (z (lambda (p q) q))) Che cosa intendiamo per dati?! L uso di queste procedure appena viste è quanto di più lontano ci sia dalla nostra intuizione di dato! Tuttavia possiamo verificare che soddisfano le condizioni date per cons, car e cdr! Se usiamo queste procedure, esse sono indistinguibili da quelle che usano strutture dati reali! La rappresentazione procedurale dei dati gioca un ruolo fondamentale nelle techniche di programmazione avanzata, come l object-oriented! In particolare quanto visto prima, è un esempio di object-oriented di stile message-passing 5
6 Visualizzare le coppie! Abbiamo visto che le coppie (pairs) costituiscono una sorta di colla per costruire oggetti composti complessi! La notazione standard per visualizzare le coppie - ad es. (cons 1 2) - è chiamata notazione box-and-pointer (cons 1 2) 1 2 (car (cons 1 2)) " 1 (cdr (cons 1 2)) " 2 Dati gerarchici e proprietà di chiusura! Abbiamo visto che cons può essere usato per combinare coppie! Le coppie costituiscono una sorta di mattone universale per costruire ogni sorta di strutture dati (cons (cons 1 2) (cons 3 4))
7 Dati gerarchici e proprietà di chiusura (cons (cons 1 (cons 2 3)) 4)) ! La capacità di creare coppie i cui elementi sono altre coppie è l essenza dell importanza della struttura a lista! Questa capacità si chiama proprietà di chiusura del cons! cons può prendere coppie in input e produce coppie in output Proprietà di chiusura! La parola chiusura viene dall algebra astratta! Un insieme di elementi si dice chiuso secondo una certa operazione, se applicando l operazione agli elementi dell insieme, si ottengono elementi che appartengono ancora all insieme 7
8 Proprietà di chiusura! La proprietà di chiusura ci permette di creare strutture gerarchiche! Strutture gerarchiche: strutture composte di parti che a loro volta sono composte di parti ecc! Le procedure composte sono ancora procedure! I dati composti sono ancora dati! Vedremo alcune tecniche standard per rappresentare sequenze (liste) e alberi, usando le coppie Rappresentare le sequenze (liste)! Una sequenza è una collezione ordinata di oggetti! Un modo semplice di rappresentare le sequenze in termini di coppie è usando una catena di coppie (cons 1 (cons 2 (cons 3 (cons 4 nil))))
9 Rappresentare le sequenze (liste)! Il car di ciascuna coppia corrisponde ad un elemento della catena! Il cdr di una coppia è la coppia successiva nella catena! Il cdr della coppia finale segnala la fine della catena: " nella rappresentazione box-and-pointer è indicato come un barra / " nei programmi con la variabile nil " nil può essere pensato come la sequanza di nessun elemento (cioè la lista vuota) Liste! Lo Scheme fornisce una procedura primitiva list che è il costruttore delle liste! La lista vista prima può essere costruita con (list )! In generale (list <el 1 > <el 2 > <el n >)! È equivalente a (cons <el 1 > (cons <el 2 > (cons (cons <el n > nil) )))! (list) ritorna la lista vuota: (define nil (list))! I sistemi Scheme stampano le liste come sequenze di elementi (list ) " ( ) 9
10 Operazioni sulle liste! Tramite car e cdr possiamo scrivere procedure che manipolano le liste! Per esempio, scriviamo una procedura list-ref che prende due argomenti: 1. una lista 2. un numero n! e ritorna l n-esimo elemento della lista! Il primo elemento è in posizione 0 Operazioni sulle liste (define (list-ref items n) (if (= n 0) (car items) ;per n=0 torna il car della lista (list-ref (cdr items) (- n 1)))) ;altrimenti torna l (n-1) esimo elemento del cdr della lista (define lista-quadrati (list )) (list-ref lista-quadrati 3) "
11 Operazioni sulle liste! Spesso dobbiamo scandire la lista tramite il cdr! Lo Scheme fornisce una procedura primitiva null? che testa se il suo argomento è la lista vuota (null? nil) " #t (null? (list 1 2)) " #f Esempio: lunghezza di una lista (define (length items) (if (null? items) 0 ;la lunghezza della lista vuota è 0 (+ 1 (length (cdr items))))) ;altrimenti la lunghezza è 1 più la lunghezza del cdr (define dispari (list )) (length dispari) " 4 11
12 Esempio: lunghezza di una lista! Riconosciamo nella definizione di length il classico piano dell induzione " la lunghezza della lista vuota è 0 " la lunghezza di una lista è 1 più la lunghezza del cdr della lista! Possiamo anche definire length in stile iterativo (define (length items) (define (length-iter a count) (if (null? a) count (length-iter (cdr a) (+ 1 count)))) (length-iter items 0)) Esempio: append! Un altra tecnica comune è quello di costruire nuove liste con una successione di cons! Es. La procedura append prende due liste come argomenti, e da queste forma una nuova lista (append lista-quadrati dispari) " ( ) (append dispari lista-quadrati) " ( ) 12
13 Esempio: append! Per implementare append usiamo ancora un piano ricorsivo:! Fai append di list1 list2 " se list1 è la lista vuota, allora il risultato è list2 " altrimenti, fai append del cdr di list1 con list2, e fai cons del car di list1 con questo risultato (define (append list1 list2) (if (null? list1) list2 (cons (car list1) (append (cdr list1) list2)))) Esercizi:last-pair e reverse (define (last-pair list) ;restituisce l ultimo pair di una lista (if (null? (cdr list)) list (last-pair (cdr list)))) (define (reverse items) (if (null? items) nil (append (reverse (cdr items)) (list (car items))))) (define (reverse items) ;reverse in versione iterativa (define (rev-iter items acc) (if (null? items) acc (rev-iter (cdr items) (cons (car items) acc)))) (rev-iter items nil)) 13
Esempio: rappresentare gli insiemi
Esempio: rappresentare gli insiemi Problema: rappresentare gli insiemi Vedremo che la scelta della rappresentazione per implementarli non è così ovvia come era stato per i numeri razionali In realtà ci
DettagliInformatica 3. LEZIONE 9: Introduzione ai linguaggi funzionali. Modulo 1: Introduzione ai linguaggi funzionali Modulo 2: LISP
Informatica 3 LEZIONE 9: Introduzione ai linguaggi funzionali Modulo 1: Introduzione ai linguaggi funzionali Modulo 2: LISP Informatica 3 Lezione 9 - Modulo 1 Introduzione ai linguaggi funzionali Linguaggi
DettagliCorso di Programmazione
II Accertamento del 15 Marzo 2002 / A Risolvi i seguenti esercizi, riporta le soluzioni in modo chiaro negli appositi riquadri e giustifica sinteticamente le risposte utilizzando i fogli protocollo. Cosa
DettagliCENNI MINIMI DI PROGRAMMAZIONE FUNZIONALE IN PYTHON - V. 0.3
CENNI MINIMI DI PROGRAMMAZIONE FUNZIONALE IN PYTHON - V. 0.3 MATTEO PRADELLA 1. Introduzione e concetti base La programmazione funzionale è uno stile di programmzione che enfatizza la valutazione di espressioni,
DettagliCorso di Programmazione
Corso di Programmazione II Accertamento del 27 Marzo 2007 / A cognome e nome Risolvi i seguenti esercizi, riporta le soluzioni in modo chiaro negli appositi spazi e giustifica sinteticamente le risposte.
DettagliCorso di Programmazione
Corso di Programmazione II Accertamento del 22 Marzo 2006 / A cognome e nome Risolvi i seguenti esercizi, riporta le soluzioni in modo chiaro negli appositi spazi e giustifica sinteticamente le risposte.
DettagliCorso di Programmazione
Corso di Programmazione II Accertamento del 15 Marzo 2005 / A cognome e nome Risolvi i seguenti esercizi, riporta le soluzioni in modo chiaro negli appositi spazi e giustifica sinteticamente le risposte.
DettagliInformatica teorica Lez. n 12 Introduzione al Lisp. Introduzione al Lisp. Prof. Giorgio Ausiello Università di Roma La Sapienza
Introduzione al Lisp Argomenti della lezione Aspetti generali del Lisp S-espressioni Funzioni predefinite Definizione di funzioni e costrutti programmativi Lisp Ispirato da funzioni ricorsive e lambda
DettagliADT LISTA: altre operazioni non primitive ADT LISTA COSTRUZIONE ADT LISTA COSTRUZIONE ADT LISTA (2)
ADT LISTA Pochi Linguaggi forniscono tipo lista fra predefiniti (LISP, Prolog); per gli altri, ADT lista si costruisce a partire da altre strutture dati (in C tipicamente vettori o puntatori) OPERAZIONI
DettagliCorso di Programmazione
II Accertamento del 24 Marzo 2003 / A Risolvi i seguenti esercizi, riporta le soluzioni in modo chiaro negli appositi riquadri e giustifica sinteticamente le risposte, utilizzando se necessario lo spazio
DettagliLISTE CONCATENATE. In Pascal un tipo primitivo "lista concatenata" non esiste. Esso può essere definito utilizzando un tipo puntatore.
LISTE CONCATENATE In Pascal un tipo primitivo "lista concatenata" non esiste. Esso può essere definito utilizzando un tipo puntatore. REALIZZAZIONE RICORSIVA ELEMENTARE unit lists; interface type elemtype
Dettagli6) Tradurre la definizione ottenuta nel punto 1 in Lisp e calcolare degli esempi sul computer.
Esercizi Lisp - 15 aprile 2013 1) Data la funzione RAZ in Lisp: (de raz (x y) (if (< x y) x (raz (- x y) y))) Quale funzione è calcolata da RAZ? 2) Data una funzione H in Lisp: (de h (n) (if (= 0 n) 0
DettagliRicapitoliamo. Ricapitoliamo
Ricapitoliamo Finora ci siamo concentrati sui processi computazionali e sul ruolo che giocano le procedure nella progettazione dei programmi In particolare, abbiamo visto: Come usare dati primitivi (numeri)
DettagliCorso di Programmazione
II Accertamento del 27 Marzo 2001 / A Risolvi i seguenti esercizi, riporta le soluzioni in modo chiaro negli appositi riquadri e giustifica sinteticamente le risposte utilizzando i fogli protocollo. Cosa
DettagliFunzioni, Stack e Visibilità delle Variabili in C
Funzioni, Stack e Visibilità delle Variabili in C Programmazione I e Laboratorio Corso di Laurea in Informatica A.A. 2016/2017 Calendario delle lezioni Lez. 1 Lez. 2 Lez. 3 Lez. 4 Lez. 5 Lez. 6 Lez. 7
DettagliCorso di Laurea Ingegneria Informatica Fondamenti di Informatica 2
Corso di Laurea Ingegneria Informatica Fondamenti di Informatica 2 Dispensa 09 ADT: Lista, Pila, Coda A. Miola Marzo 2007 http://www.dia.uniroma3.it/~java/fondinf2/ ADT: Lista, Pila, Coda 1 Contenuti Tipo
DettagliLaboratorio di Python
Laboratorio di Python Matrici con Liste Lab09 5 Aprile 2017 Outline Correzione esercizi per oggi Matrici Teoria Esercizi Esercizi per casa Esercizio 1 per casa Scrivere una funzione che verifica se una
DettagliEspressioni aritmetiche
Espressioni aritmetiche Consideriamo espressioni costruite a partire da variabili e costanti intere mediante applicazione delle operazioni di somma, sottrazione, prodotto e divisione (intera). Ad esempio:
DettagliProgrammazione Funzionale
1/11 Programmazione Funzionale Esercizi in preparazione dell esame Davide Mottin - Themis Palpanas May 28, 2014 Svolgimento d esame Inferire il tipo di un espressione Esercizi sul lambda-calcolo Esercizi
DettagliEsercitazione 11. Liste semplici
Esercitazione 11 Liste semplici Liste semplici (o lineari) Una lista semplice (o lineare) è una successione di elementi omogenei che occupano in memoria una posizione qualsiasi. Ciascun elemento contiene
DettagliAlgoritmi e Strutture Dati
Maria Rita Di Berardini, Emanuela Merelli 1 1 Dipartimento di Matematica e Informatica Università di Camerino A.A. 2006/07 Il concetto di dato Il concetto di tipo di dato Insertion Sort for j 2 to lenght[a]
DettagliAlgoritmi e Strutture Dati
Strutture Elementari Maria Rita Di Berardini, Emanuela Merelli 1 1 Dipartimento di Matematica e Informatica Università di Camerino 29 ottobre 2008 Strutture Dati Astratte Il concetto di dato Il concetto
DettagliAlgoritmi e Strutture Dati
Maria Rita Di Berardini 2, Emanuela Merelli 1 1 Dipartimento di Matematica e Informatica Università di Camerino 2 Polo di Scienze Università di Camerino ad Ascoli Piceno Il concetto di dato Il concetto
DettagliProgrammazione Definizione di nuovi tipi
Programmazione Definizione di nuovi tipi Samuel Rota Bulò DAIS Università Ca Foscari di Venezia. Outline Abbiamo incontrato i tipi primitivi. unit, bool, int, float, char, string Abbiamo visto come costruire
DettagliAlberi. Strutture dati: Alberi. Alberi: Alcuni concetti. Alberi: definizione ricorsiva. Alberi: Una prima realizzazione. Alberi: prima Realizzazione
Alberi Strutture dati: Alberi Strutture gerarchiche di dati Esempi Il file system di un sistema operativo L organigramma di un azienda Alberi generali, alberi n-ari, alberi binari, Ogni nodo ha un unico
DettagliAltri Esercizi. Corso di Laurea Ingegneria Informatica Fondamenti di Informatica. Dispensa E17. C. Limongelli Maggio 2012
Corso di Laurea Ingegneria Informatica Fondamenti di Informatica Dispensa E17 C. Limongelli Maggio 2012 1 Contenuti q Definizione di classi con ereditarietà q Uso di tipi di dati astratti q Ricorsione
DettagliValori Alfanumerici. Informatica di Base -- R.Gaeta 1
Valori Alfanumerici Finora abbiamo utilizzato solo valori numerici; Se vogliamo usare valori alfanumerici (caratteri e numeri), usiamo le stringhe; In Logo le stringhe si delimitano con le parentesi quadre;
DettagliProgrammazione Ricorsione in coda
Programmazione Ricorsione in coda Samuel Rota Bulò DAIS Università Ca Foscari di Venezia. Outline Ricorsione in coda Ricorsione in coda La ricorsione in coda (o tail-recursion) è un caso speciale di ricorsione
DettagliInformatica/ Ing. Meccanica/ Prof. Verdicchio/ 13/09/2013/ Foglio delle domande/versione 1
Informatica/ Ing. Meccanica/ Prof. Verdicchio/ 13/09/2013/ Foglio delle domande/versione 1 1) Dato un diagramma di flusso quali sono le condizioni necessarie perché si possa costruire un programma corrispondente?
DettagliIndice. Prefazione. 3 Oggetti e Java 53
Prefazione xv 1 Architettura dei calcolatori 1 1.1 Calcolatori e applicazioni 1 1.1.1 Alcuni esempi di applicazioni 3 1.1.2 Applicazioni e interfacce 4 1.2 Architettura dei calcolatori 7 1.2.1 Hardware
DettagliUso delle liste per rappresentare tipi astratti di dati
Uso delle liste per rappresentare tipi astratti di dati Il tipo astratto di dati dizionario Il tipo astratto dizionario è una collezione di elementi, ciascuno dei quali è costituito da una coppia (chiave,
DettagliLa Programmazione. Cos è la programmazione? Concetti preliminari
La Programmazione Cos è la programmazione? Concetti preliminari 1 Sommario La programmazione, questa sconosciuta Programmiamo Macchine Astratte Linguaggi di basso e alto livello e loro implementazione
DettagliLaboratorio di Informatica
Laboratorio di Informatica Seconda lezione a Python Dottore Paolo Parisen Toldin - parisent@cs.unibo.it Dottoressa Sara Zuppiroli - sara.zuppiroli@unibo.it L'importanza di capire Perché non dobbiamo dichiarare
DettagliAppunti di informatica. Lezione 8 anno accademico Mario Verdicchio
Appunti di informatica Lezione 8 anno accademico 2016-2017 Mario Verdicchio Il ciclo FOR Molto spesso in un programma bisogna ripetere un operazione per un numero prefissato di volte Si tratta di un iterazione
DettagliEsercizi prolog. Si consiglia di utilizzare inoltre i libri consigliati e gli esercizi contenuti nel zip file fornito dal docente
Esercizi prolog Si consiglia di utilizzare inoltre i libri consigliati e gli esercizi contenuti nel zip file fornito dal docente Esercizio Prolog 1 Definire il predicato Prolog: no_common_elements(-list1,
DettagliEsercizi di LISP. Marco Broglia. 09 novembre 2005
Esercizi di LISP Marco Broglia 09 novembre 2005 Compitino del 19 novembre 2004 Le funzioni misteriose Mistero A Descrivere il comportamento della seguente funzione e valutare l e- Esercizio [what A] spressione
DettagliUn algoritmo realizza una relazione funzionale tra i valori di input e quelli di output
Un algoritmo realizza una relazione funzionale tra i valori di input e quelli di output F = { (s, s ) } per ogni s esiste una e una sola coppia (s, s ). Esempio: un algoritmo che calcola il quadrato di
DettagliAlberi e alberi binari I Un albero è un caso particolare di grafo
Alberi e alberi binari I Un albero è un caso particolare di grafo I I I I È costituito da un insieme di nodi collegati tra di loro mediante archi Gli archi sono orientati (ogni arco esce da un nodo origine
DettagliProgrammazione I - Laboratorio
Programmazione I - Laboratorio Esercitazione 6 - Liste Gianluca Mezzetti 1 Paolo Milazzo 2 1. Dipartimento di Informatica, Università di Pisa http://www.di.unipi.it/ mezzetti mezzetti di.unipi.it 2. Dipartimento
DettagliAltri Esercizi. Corso di Laurea Ingegneria Informatica Fondamenti di Informatica 2. Dispensa E09. C. Limongelli Marzo 2008
Corso di Laurea Ingegneria Informatica Fondamenti di Informatica 2 Dispensa E09 Altri Esercizi C. Limongelli Marzo 2008 http://www.dia.uniroma3.it/~java/fondinf2/ Altri Esercizi 1 Contenuti!Definizione
DettagliPROGRAMMAZIONE II canale A-D luglio 2008 TRACCIA DI SOLUZIONE
PROGRAMMAZIONE II canale A-D 2007-2008 14 luglio 2008 TRACCIA DI SOLUZIONE 1. Si vogliono realizzare mediante puntatori delle liste circolari, cioè delle liste tali che l ultimo elemento della lista punta
DettagliVariabili e input/ Alessandra Giordani Lunedì 18 marzo
Variabili e input/ output da tastiera Alessandra Giordani agiordani@disi.unitn.it Lunedì 18 marzo 2013 http://disi.unitn.it/~agiordani/ Es. compilazione helloworld.c 2 Variabili e valori Una variabile
DettagliProgrammazione Procedurale in Linguaggio C++
Programmazione Procedurale in Linguaggio C++ Strutture di Dati Parte 4 Conclusioni G. Mecca M. Samela Università della Basilicata Strutture di Dati: Conclusioni >> Sommario Sommario Ricapitolazione Alcune
DettagliInformatica Generale Andrea Corradini Algoritmi: ordinamento per inserimento e ricorsione
Informatica Generale Andrea Corradini 14 - Algoritmi: ordinamento per inserimento e ricorsione Sommario Un algoritmo iterativo: l'ordinamento per inserimento (insertion sort) La ricorsione: i numeri triangolari
DettagliI Tipi di Dato Astratto
I Tipi di Dato Astratto Sommario Cosa sono le Strutture Dati Astratte? Le strutture dati Le operazioni Come scegliere fra varie implementazioni? Quale è la questione? Come organizzare (strutturare) i dati
DettagliL utility Unix awk [Aho-Weinberger-Kernighan]
L utility Unix awk [Aho-Weinberger-Kernighan] L utility awk serve per processare file di testo secondo un programma specificato dall utente. L utility awk legge riga per riga i file ed esegue una o più
DettagliLaboratorio di Python
Laboratorio di Python Matrici con Liste Lab09 10 Aprile 2018 Outline Correzione esercizi per oggi Matrici Teoria Esercizi Esercizi per casa Outline Correzione esercizi per oggi Matrici Teoria Esercizi
DettagliProgrammazione Funzionale
Programmazione Funzionale LP imperativi: apparenza simile modello di progettazione = macchina fisica Famiglia dei LP imperativi = progressivo miglioramento del FORTRAN Obiezione: pesante aderenza dei LP
DettagliLABORATORIO DI PROGRAMMAZIONE 2 Corso di laurea in matematica. Algoritmi ricorsivi
LABORATORIO DI PROGRAMMAZIONE 2 Corso di laurea in matematica Marco Lapegna Dipartimento di Matematica e Applicazioni Universita degli Studi di Napoli Federico II wpage.unina.it/lapegna Partiamo da un
DettagliLaboratorio di programmazione
Laboratorio di programmazione 30 novembre 2007 Sequenze di Collatz Considerate la seguente regola: dato un numero intero positivo n, se n è pari lo si divide per 2, se è dispari lo si moltiplica per 3
DettagliCorso di Programmazione
Corso di Programmazione I Accertamento del 14 Dicembre 2007 / A cognome e nome Risolvi i seguenti esercizi, riporta le soluzioni in modo chiaro negli appositi spazi e giustifica sinteticamente le risposte.
DettagliFondamenti di Informatica e Laboratorio T-AB T-15 Strutture dati
Fondamenti di Informatica e Laboratorio T-AB T-15 Strutture dati Paolo Torroni Dipartimento di Elettronica, Informatica e Sistemistica Università degli Studi di Bologna Anno Accademico 2008/2009 Sommario
DettagliPile Le pile: specifiche e realizzazioni attraverso rappresentazioni sequenziali e collegate. Pile e procedure ricorsive
Pile Le pile: specifiche e realizzazioni attraverso rappresentazioni sequenziali e collegate. Pile e procedure ricorsive Algoritmi e Strutture Dati + Lab A.A. 14/15 Informatica Università degli Studi di
DettagliSviluppo di programmi
Sviluppo di programmi FASE 1: Dare un nome al problema partendo dall analisi del problema FASE 2: Scrivere la specifica funzionale FASE 3: Scrittura dell algoritmo FASE 3.1: Introduzione delle variabili
DettagliAlberi e alberi binari I Un albero è un caso particolare di grafo
Alberi e alberi binari Un albero è un caso particolare di grafo È costituito da un insieme di nodi collegati tra di loro mediante archi Gli archi sono orientati (ogni arco esce da un nodo origine ed entra
DettagliPROGRAMMAZIONE 2 15bis. OCaML: un veloce ripasso
PROGRAMMAZIONE 2 15bis. OCaML: un veloce ripasso PR2 2017-2018 1 Lo stile funzionale In Java (ma anche in C) l effetto osservabile di un programma è la modifica dello stato temp = pair.x; pair.x = pair.y;
DettagliCorso di Linguaggi di Programmazione
Corso di Linguaggi di Programmazione Lezione 5 Alberto Ceselli alberto.ceselli@unimi.it Università degli Studi di Milano 12 Marzo 2013 Le funzioni sono oggetti di prima classe in Scheme In Scheme le funzioni
DettagliEsercizio (o esempio?)
Esercizio (o esempio?) programma che legge un intero n e n double; li memorizza in un array dinamico esatto calcola e stampa minimo, massimo e media dei double #include 1) Lettura e memorizzazione
DettagliIl linguaggio C Strutture
Il linguaggio C Strutture Moreno Marzolla Dipartimento di Informatica Scienza e Ingegneria (DISI) Università di Bologna http://www.moreno.marzolla.name/ Linguaggio C -- Strutture 2 Ringraziamenti Questi
DettagliDiverse politiche. La ricorsione PROGRAMMAZIONE TOP-DOWN ESEMPIO. Bottom-Up. Di solito è meglio alternare le due tecniche
La ricorsione Top-Down Diverse politiche Si parte dal problema generale Poi si sce nei particolari (moduli, funzioni, ecc ) Bottom-Up Si creano prima i moduli e le funzioni base Poi si assemblano nel programma
DettagliProgrammazione. Cognome... Nome... Matricola... Prova scritta del 22 settembre 2014. Negli esercizi proposti si utilizzano le seguenti classi:
Cognome................................ Nome................................... Matricola............................... Programmazione Prova scritta del 22 settembre 2014 TEMPO DISPONIBILE: 2 ore Negli
DettagliLe strutture. Una struttura C è una collezione di variabili di uno o più tipi, raggruppate sotto un nome comune.
Le strutture Una struttura C è una collezione di variabili di uno o più tipi, raggruppate sotto un nome comune. Dichiarazione di una struttura: struct point { int x; int y; }; La dichiarazione di una struttura
DettagliNella propria home directory creare una sottodirectory chiamata es08, in cui metteremo tutti i file C di oggi.
Laboratorio 8 Nella propria home directory creare una sottodirectory chiamata es08, in cui metteremo tutti i file C di oggi. Note Quando dovete usare o ritornare dei valori booleani, usate la seguente
DettagliLaboratorio di Python
Documentare il codice,, Comprendere cosa calcola una funzione 21 marzo 2014 Sommario 1 2 3 4 Lunedì il numero di studenti che avevano consegnato gli esercizi era 15. Martedì il numero di esercizi ricevuti
DettagliLaboratorio di Python
Algoritmo, sulle liste Università di Bologna 3 e 5 aprile 2013 Sommario Correzione esercizi 1 Correzione esercizi 2 3 4 Correzione Correzione esercizi scrivere e documentare un programma con un menu dove:
DettagliAlgoritmi e Strutture Dati
Algoritmi e Strutture Dati Università di Camerino Corso di Laurea in Informatica (12 CFU) I periodo didattico Emanuela Merelli email:emanuela.merelli@unicam.it Argomenti della lezione Tipi di Dato Astratto
DettagliIntroduzione alle stringhe e algoritmi collegati
Introduzione alle stringhe e algoritmi collegati Algoritmicamente August 15, 2009 1 Introduzione 1.1 Introduzione ai caratteri In informatica o più generalmente in una terminologia scientifica, il carattere
DettagliLaboratorio di Informatica L-A
Menù V3 Progettare un componente che consenta la visualizzazione di menù multilivello Ogni menù può a sua volta contenere un altro menù Un menù è composto di varie voci, ognuna delle quali può essere composta
DettagliSommario. Tipo stringa: string. Tipo stringa: stile C. Tipo stringa Tipo booleano
Tipo stringa Tipo booleano Sommario Ricorsione: Definizione Chiamata di funzione Ricorsione in coda Ricorsione non in coda Ricorsionei eccessiva Esempio di ricorsione: ricerca binaria Tipo stringa Il C++
DettagliEsercizi di Programmazione Prolog
Esercizi di Programmazione Prolog Marco Comini 29 febbraio 2008 Nel seguito useremo il termine PROLOG in contrasto a PROLOG PURO per distinguere Prolog con builtins (come < e is) da quello senza. Inoltre
DettagliIl vettore e la lista concatenate (o catena) sono due esempi di strutture interne.
Strutture dati PILA e CODA Le strutture dati si dividono in interne e astratte. Quelle astratte sono rappresentazioni dei dati di un problema che rispecchiano le proprietà dei dati e le relazioni usate
DettagliProgrammazione I - corso B a.a prof. Viviana Bono
Università di Torino Facoltà di Scienze MFN Corso di Studi in Informatica Programmazione I - corso B a.a. 2009-10 prof. Viviana Bono Blocco 12 Riepilogo e complementi sui tipi Ripasso del sistema di tipi
DettagliLaboratorio 09. Programmazione - CdS Matematica. Ivano Lauriola 16 gennaio 2018
Laboratorio 09 Programmazione - CdS Matematica Ivano Lauriola 16 gennaio 2018 Binary Search Tree Alberi binari di ricerca Gli alberi binari di ricerca (binary search trees, BST), detti anche alberi ordinati,
DettagliSoluzioni della settima esercitazione di Algoritmi 1
Soluzioni della settima esercitazione di Algoritmi 1 Beniamino Accattoli 19 dicembre 2007 1 Grafi Un grafo è non orientato se descrivendo un arco come una coppia di vertici (i,j) l ordine è ininfluente
DettagliIL LINGUAGGIO LISP. Marco Broglia
IL LINGUAGGIO LISP Marco Broglia Lisp: carta d identità ci.1 Carta d Identità Nome: Lisp (List Processor) Nato il: autunno 1958 Genere: interprete Padre: John McCarthy Incubazione: IBM 704 Segni particolari:
DettagliEsercizio 1. Liste di interi
Esercizio 1. Liste di interi Si legga una sequenza di numeri interi da tastiera, dopo ogni inserimento chiedere all'utente se vuole continuare, quindi: Creare due liste L1 e L2 con inserimento ordinato;
DettagliVariabili intere, funzioni e input/ Alessandra Giordani Lunedì 19 marzo
Variabili intere, funzioni e input/ output da tastiera Alessandra Giordani agiordani@disi.unitn.it Lunedì 19 marzo 2012 http://disi.unitn.it/~agiordani/ Variabili e valori Una variabile è un nome logico
DettagliConsiderazioni su Tipi di Dati
Considerazioni su Tipi di Dati April 19, 2017 Definire Tipi di Dato Molti linguaggi permettono di definire sinonimi per tipi di dato esistenti... Non introducono nuovi valori La definizione di un nuovo
DettagliProgrammazione in Python per la bioinformatica
per la bioinformatica University of Verona Sommario La struttura dati Lista Lista Come si rappresenta una lista in python Reminder: Lista collezione ordinata di elementi L = a 0, a 1,, a n 1 La variabile
DettagliLaboratorio di Python
Documentare il codice,, Comprendere cosa calcola una funzione Università di Bologna 20 e 22 marzo 2013 Sommario 1 2 3 4 o Scrivere un programma che sia in grado di calcolare le seguenti serie: la somma
Dettagli3. OPERAZIONI TRA CLASSI 2
INSIEMI 1. Elementi e Classi Lo scopo di questo primo capitolo è di introdurre in maniera rigorosa le nozioni di classe e insieme, e di studiarne le principali proprietà. Nel seguito useremo il termine
DettagliStabilire se il punto di coordinate (1,1) appartiene alla circonferenza centrata nell origine e di raggio 1.
Definizione di circonferenza e cerchio. Equazione della circonferenza centrata in O e di raggio R. Esercizi. La circonferenza e il cerchio Definizioni: dato un punto C nel piano cartesiano e dato un numero
DettagliCorso di Programmazione
Corso di Programmazione I Accertamento del 3 Dicembre 2002 / A Risolvi i seguenti esercizi, riporta le soluzioni in modo chiaro negli appositi riquadri e giustifica sinteticamente le risposte utilizzando
DettagliLe strutture. Una struttura C è una collezione di variabili di uno o più tipi, raggruppate sotto un nome comune.
Le strutture Una struttura C è una collezione di variabili di uno o più tipi, raggruppate sotto un nome comune. Dichiarazione di una struttura: struct point { int x; int y; }; La dichiarazione di una struttura
DettagliStrutture dati dinamiche in C (II)
Strutture dati dinamiche in C (II) Laboratorio di Linguaggi di Programmazione a.a. 2001/2002 dott.ssa Francesca A. Lisi lisi@di.uniba.it Sommario Le liste concatenate (ancora ma in modo più formale) L
DettagliLaboratorio di Architettura degli Elaboratori A.A. 2016/17 Programmazione Assembly
Laboratorio di Architettura degli Elaboratori A.A. 2016/17 Programmazione Assembly Scrivere il codice ARM che implementi le specifiche richieste e quindi verificarne il comportamento usando il simulatore
DettagliChe cos è l Informatica?
Che cos è l Informatica? Che cos è l Informatica? Non è facile da definire! Alcune affermazioni vere: L informatica è parente stretta della matematica Ha a che fare con il modo in cui risolviamo i problemi
DettagliLezione 8 Struct e qsort
Lezione 8 Struct e qsort Rossano Venturini rossano@di.unipi.it Pagina web del corso http://didawiki.cli.di.unipi.it/doku.php/informatica/all-b/start Esercizio 3 QuickSort strambo Modificare il Quicksort
DettagliProblemi e algoritmi. Il che cosa e il come. F. Damiani - Alg. & Lab. 04/05 (da U. de' Liguoro - Alg. & Spe. 03/04)
Problemi e algoritmi Il che cosa e il come Il che cosa ed il come Problema: descrive che cosa si deve calcolare Specifica (di un algoritmo): descrive che cosa calcola un algoritmo Algoritmo: descrive come
DettagliALGORITMI E STRUTTURE DATI
Esercitazioni del corso di: ALGORITMI E STRUTTURE DATI Tutor: Francesca Piersigilli email: francesca.piersigilli@unicam.it Strutture dati elementari Tecniche di organizzazione dei dati: scelta della struttura
DettagliProgrammazione Funzionale
1/9 Programmazione Funzionale Esercizio sulle variabili locali Davide Mottin - Themis Palpanas March 12, 2014 OCaml Funzioni preparatorie Sommario 2/9 Funzioni preparatorie Costruire una funzione val even
DettagliProblemi e algoritmi. Il che cosa ed il come. Il che cosa ed il come. Il che cosa e il come
Problemi e algoritmi Il che cosa e il come Problema: descrive che cosa si deve calcolare Specifica (di un algoritmo): descrive che cosa calcola un algoritmo Algoritmo: descrive come effettuare un calcolo
DettagliLaboratorio di Python (con Linux)
Indeterminata,,,... Università di Bologna 14, 16 marzo 2012 Sommario 1 2 3 4 5 Modularità Quando si deve fare un programma complicato è meglio suddividerlo in più parti. Per ridurre la complessità (più
Dettagli