Obiettivi formativi
Un obiettivo del corso è quello di far acquisire allo studente le conoscenze di base per la progettazione e la realizzazione di semplici programmi scritti in un linguaggio di programmazione convenzionale. In particolare lo studente acquisirà conoscenze approfondite sugli strumenti di programmazione messi a disposizione dal sottoinsieme del linguaggio C++ relativo alla programmazione imperativa.
Il corso mira anche a fornire allo studente la capacità di applicare le tecniche di analisi dei problemi e le conoscenze sugli strumenti di programmazione acquisite, per risolvere in modo algoritmico semplici problemi pratici (quali, ad esempio, problemi di calcolo matematico, di ordinamento di dati, di gestione di archivi) e quindi tradurre tali soluzioni in programmi eseguibili tramite calcolatore.
Infine il corso mira a sviluppare nello studente, più generali capacità di analisi, di astrazione (intesa principalmente come capacità di descrivere e comprendere un'entità in termini delle funzioni offerte piuttosto che dei dettagli della sua implementazione), di scomposizione di problemi in sottoproblemi, e di sviluppo di soluzioni “dall'alto al basso” (“top.down”) e per raffinamenti successivi.
Prerequisiti
Nozioni di base su funzioni e insiemi e su connettivi ed espressioni logiche.
Nozioni di base su organizzazione fisica di un calcolatore e sulla rappresentazione dell'informazione.
Contenuti dell'insegnamento
Il corso introduce i fondamenti della programmazione imperativa, utilizzando come linguaggio di programmazione di riferimento il frammento imperativo del C++.
In particolare, nella prima parte del corso vengono introdotte nozioni fondamentali per la programmazione quali quelle di algoritmo, diagramma di flusso, variabili, tipi di dato semplici e strutturati, espressioni e statement per il controllo di sequenza.
Nella seconda parte del corso si affronta lo sviluppo di programmi più complessi, introducendo, da una parte, la nozione di sottoprogramma e altre nozioni a questa collegate, come funzioni ricorsive e regole di scope, dall'altra altre forme di gestione dei dati, come l'input/output da file e la manipolazione di strutture dati dinamiche con puntatori.
Per entrambe le parti viene mostrata la realizzazione di semplici programmi C++ che utilizzano le nozioni introdotte.
Programma esteso
FONDAMENTI.
Problemi e algoritmi - La nozione di algoritmo. I diagrammi di flusso. Risoluzione di semplici problemi.
Linguaggi e ambienti di programmazione - Linguaggi esistenti (cenni). Modalita' d'esecuzione (cenni). Ambienti integrati di sviluppo programmi (IDE).
Variabili: caratteristiche, dichiarazione. Identificatori. Costanti. Espressioni: sintassi, valutazione (associativita' e precedenza), tipo. Assegnamento.
Tipi di dato: definizione, tipi semplici e strutturati, primitivi e definiti da utente. Costruttori di tipo. Strutture dati astratte e concrete. Utilita' dei tipi. Compatibilita' e conversioni di tipo.
Nomi, ambienti e regole di "scope": struttura a blocchi, ambiente locale e non-locale, variabili globali.
Programmazione strutturata - Strutture di controllo. Teorema di Bohm-Jacopini. Statement goto. Progetto "top-down" e sviluppo programmi "per raffinamenti successivi".
LINGUAGGIO C++.
Dichiarazione di variabile. Tipi semplici primitivi: valori, costanti, operazioni. Dichiarazione di costante.
Input/output di base. Operatori di estrazione ed inserimento. Input/output a caratteri (funzioni get e put).
Assegnamento e statement composto. Espressioni.
Statement per il controllo di sequenza: if, switch, while, do_while, for, break. Esempio. Verifica dell'input.
Tipi strutturati. Array: dichiarazione, selezione elementi, memorizzazione, operazioni. Array bi-dimensionali. Matrici. Esempi operazioni su matrici e vettori (in partic., ordinamento per selezione). Stringhe: realizzazione tramite array, operazioni, funzioni di libreria. struct: dichiarazione, selezione elementi, operazioni. Tabelle: definizione, realizzazione tramite array di struct.
Dichiarazione e chiamata di funzione. Passaggio parametri: per valore, per riferimento. Passaggio parametri di tipo array. Funzioni void.
Strutturazione di un programma e regole di "scope".
Input/output su file. Creazione ed apertura di uno stream. Lettura/scrittura "tipata" e a caratteri.
Puntatori ed allocazione dinamica della memoria (operatore new). Operazioni su puntatori. Puntatori ed array. Esempio: liste concatenate.
Sviluppo di semplici programmi nel frammento imperativo del C++. Utilizzo di funzioni di libreria.
Bibliografia
- L.J. Aguilar. Fondamenti di programmazione in C++ , McGraw-Hill, 2008.
- R. Miller, D. Clark, B. White, e W. Knottenbel: An Introduction to the Imperative Part of C++, 1999, disponibile su WEB all'indirizzo http://www.doc.ic.ac.uk/~wjk/C++Intro/CourseStructure.html#S
- Dispense del corso, disponibili nella pagina web del corso (elly.smfi.unipr.it/)
- Programmi C++ mostrati a lezione, disponibili nella pagina web del corso (elly.smfi.unipr.it/).
Metodi didattici
L'insegnamento si svolge principalmente tramite lezioni frontali ed esercitazioni su computer, sia assistite che svolte in modo autonomo dallo studente.
Le lezioni prevedono tra l'altro la presentazione di numerosi esempi pratici di problemi e relativi programmi per la loro soluzione scritti in C++ che verranno resi disponibili nel sito Web del corso (all'indirizzo elly.smfi.unipr.it/).
Le esercitazioni prevedono l'assegnazione da parte del docente, indicativamente ogni dieci giorni, di uno o piu' esercizi, inerenti gli argomenti trattati a lezione, che lo studente dovrà svolgere in modo autonomo e consegnare entro una settimana, avvalendosi della piattaforma di e-learning di Ateneo (elly.smfi.unipr.it/). La piattaforma permette tra l'altro al docente di monitorare la consegna degli esercizi e di fornire suggerimenti per il loro svolgimento.
Per gli studenti che incontrano difficoltà nella realizzazione degli esercizi assegnati sono previsti incontri in Laboratorio con il docente e gli eventuali suoi collaboratori.
Modalità verifica apprendimento
L'esame finale del corso e' costituito da una prova di programmazione ed una prova di teoria.
La prova di programmazione consiste nella soluzione (su carta) di alcuni esercizi di programmazione, utilizzando il frammento imperativo del linguaggio C++ presentato nel corso.
La prova di teoria consiste nella risposta (su carta) ad alcune domande "aperte" sugli aspetti di base e generali trattati nell'intero corso.
Per gli studenti del Corso di Laurea in Informatica la prova d'esame è integrata con quella del corso di Fondamenti di Programmazione B.
Ad ognuna delle prove è assegnato un voto in trentesimi. Una prova è ritenuta superata se il voto è maggiore od uguale a 16/30. L'esame è superato se sono superate tutte le prove da cui è costituito e il voto finale è maggiore od uguale a 18/30. Il voto finale è ottenuto come media aritmetica dei voti riportati nelle singole prove.
Per accedere all'esame è necessario aver risolto e consegnato almeno il 75% degli esercizi assegnati durante lo svolgimento del corso.
Altre informazioni
Il corso prevede una sua pagina Web, gestita direttamente dal docente, basata sulla piattaforma di e-learning dell'Ateneo (elly.smfi.unipr.it/).
Obiettivi agenda 2030 per lo sviluppo sostenibile
- - -