Programming In C++

Il volume presenta, insieme a “Learning Pascal through examples” dello stesso autore, alcuni esercizi di base per l’apprendimento dei linguaggi Pascal e C++. Vengono presentate alcune metodologie di base per la risoluzione dei problemi, quali l’iterazione, la ricorsione e il backtracking. Tali metodologie vengono illustrate attraverso la costruzione di vari programmi per la ricerca e l’ordinamento di elementi e la visita di alberi e grafi. Vengono inoltre presentati algoritmi per la dimostrazione automatica di teoremi del calcolo proposizionale e l’analisi sintattica di linguaggi regolari e di linguaggi context–free. In tali algoritmi si fa uso di varie strutture di dati quali le liste e gli alberi. I libri includono anche programmi per la soluzione di equazioni non–lineari, l’integrazione numerica e la soluzione di sistemi di equazioni lineari.Alberto Pettorossi è professore ordinario di Informatica teorica presso il Dipartimento di Informatica, Sistemi e Produzione dell’Università di Roma “Tor Vergata”. Home page: www.iasi.cnr.it/ ~adp/