uni nettuno - fondamenti di informatica iii
TRANSCRIPT
Laurea a distanza in Ingegneria Informatica Fondamenti di Informatica III Informazioni Generali | Dove Iscriversi | Piano degli Studi
Prof. Bruno Fadini (Professore Ordinario all'Università di Napoli "Federico II")
Prof. Carlo Savy (Università di Napoli )
40 ore di videolezioni trasmesse in televisione
Scopi
Il corso si propone di presentare modalità e principi della programmazione ad oggetti ed i costrutti linguistici per la programmazione ad oggetti in C++. Vengono inoltre descritti i modelli fondamentali dell'informatica e discusse le problematiche relative alla correttezza dei programmi, alla calcolabilità ed alla complessità computazionale.
Contenuti
La programmazione ad oggetti - Classi, classi astratte, classi virtuali, classi base, classi contenitore Funzioni membro, funzioni virtuali - Ereditarietà, classi di ereditarietà, ereditarietà multipla Tecniche di progettazione della interfaccia e della realizzazione di una classe - Scrittura di programmi estensibili Esempio di applicazione. I modelli fondamentali dell'informatica. Gli automi. La macchina di Turing. Qualità del software: correttezza e complessità - Operatori logici e algebra di Boole - Computabilità e complessità computazionale
Testi
B. FADINI, C. SAVY, Fondamenti di Informatica I, Ed. Liguori, Napoli 1997 B. FADINI, C. SAVY, Fondamenti di Informatica II, Ed. Liguori, Napoli (in preparazione) C.SAVY, Da ANSI C++ a UML, Editore MacGrow-Hill, Italia novembre 2000
Materiali di supporto
Personal Computer con ambiente di sviluppo C++
Prerequisiti
Fondamenti di Informatica I, Fondamenti di Informatica II.
Esercitazioni
Esercizi presenti sul sito web NETTUNO.
Titoli delle videolezioni
1 Introduzione alle classi Carlo Savy 2 Struttura dati e funzioni membro Carlo Savy 3 Costruttori e distruttori Carlo Savy 4 Uso delle librerie Carlo Savy 5 Uso delle classi Carlo Savy 6 Analisi comparativa librerie - classi Carlo Savy 7 Tipologia delle funzioni membro Carlo Savy 8 Funzioni ordinarie e funzioni amiche Carlo Savy 9 Funzioni operatore Carlo Savy 10 Operatore di assegnazione Carlo Savy 11 Realizzazione delle funzioni operatore Carlo Savy 12 Oggetti come parametri delle funzioni Carlo Savy 13 Costanti ed inizializzazione Carlo Savy 14 Conversioni di tipi Carlo Savy 15 Classi derivate Carlo Savy 16 Polimorfismo Carlo Savy 17 Binding dinamico ed esempi Carlo Savy 18 Derivazione multipla Carlo Savy 19 Progettazione ad oggetti: Il linguaggio UML Carlo Savy 20 Progettazione ad oggetti: Relazioni tra classi Carlo Savy 21 Dinamica inter oggetto ed esempio Carlo Savy 22 Modelli in Informatica Bruno Fadini23 Il modello di Automa Bruno Fadini24 Il modello di Automa: Esempi Bruno Fadini25 Modello di Touring Bruno Fadini26 Stati e codifica - Macchina a Registri Bruno Fadini27 Macchina a registri e modello di Von Neumann Bruno Fadini28 Modelli Paralleli Bruno Fadini29 Linguaggi di programmazione Bruno Fadini30 Algebra di Boole e degli insiemi Bruno Fadini31 Algebra della logica e dei circuiti Bruno Fadini32 Algebra di Boole Bruno Fadini33 Funzioni Booleane Bruno Fadini34 Logica e programmazione logica Bruno Fadini35 Specifica, Correttezza, Testing Bruno Fadini36 Complessità Bruno Fadini37 Ricerca e ordinamento Bruno Fadini38 Algoritmi di ordinamento Bruno Fadini39 Data Base e Archivi Bruno Fadini40 Metodi di accesso Bruno Fadini