Fondamenti di programmazione

Maria Eugenia Occhiuto      Tel. 0502212733

nessuno

Il corso intende presentare i fondamenti della programmazione. A questo scopo sono illustrate le tecniche formali per descrivere le caratteristiche dei linguaggi di programmazione: grammatiche e automi per descrivere la sintassi e sistemi di transizione per descrivere la semantica. Le tecniche sono esemplificate su un sottoinsieme di Java. Sono poi introdotte, tramite esempi di strutture dati e di algoritmi, alcune tecniche fondamentali di programmazione iterativa e ricorsiva.

• Algoritmi e problem-solving
• Elementi di sintassi e semantica dei linguaggi di programmazione
• Teoria degli automi
• Costrutti di base della programmazione
• Strutture di dati e gestione della memoria
• Ricorsione e strategie di calcolo basate sulla ricorsione

• Algorithms and problem solving
• Concepts of syntax and semantics of programming languages
• Automata theory
• Fundamental structures of programming languages
• Data structures and memory management
• Recursion and computation strategies based on recursion.

Introduzione

• Sintassi
• Automi
• Grammatiche {materiale didattico: D.Pedreschi, Elementi di Sintassi dei Linguaggi di Programmazione, Dispensa}
• Semantica Operazionale
• Sistemi di transizione formalizzazione del nucleo iterativo di Java modello dello stato con stack e heap metodi e passaggio dei parametri {materiale didattico: R.Barbuti et. al Semantica Operazionale Dispensa}
• Tipi di dato e problem solving: prima parte array metodi iterativi di search e sort tabelle hash
• Ricorsione
• Tipi di dato e problem solving: seconda parte metodi ricorsivi di sort liste e alberi binari alberi binari di ricerca.

C.S. Horstmann: Concetti di Informatica e fondamenti di Java 2, Apogeo A.Brogi et al. Introduzione alle strutture dati in Java, dispense

Scritto e orale