Teorie efficaci nella pratica della programmazione

Titolo originale:

Effective Theories in Programming Practice

Contenuto del libro:

La teoria degli insiemi, la logica, la matematica discreta e gli algoritmi fondamentali (insieme alla loro correttezza e all'analisi della complessità) rimarranno sempre utili per i professionisti dell'informatica e devono essere compresi dagli studenti che vogliono avere successo. Questo libro di testo spiega una serie di algoritmi fondamentali agli studenti di programmazione in modo conciso ma preciso. Il libro include il materiale di base necessario per comprendere le spiegazioni e per sviluppare tali spiegazioni per altri algoritmi.

L'autore dimostra che la chiarezza e la semplicità non si ottengono evitando il formalismo, ma utilizzandolo correttamente. Il libro è autosufficiente e presuppone solo un background di matematica da scuola superiore e capacità elementari di scrittura di programmi. Non presuppone la familiarità con alcun linguaggio di programmazione specifico.

Partendo dai concetti di base di insiemi, funzioni, relazioni, logica e tecniche di dimostrazione, tra cui l'induzione, viene introdotto il quadro matematico necessario per ragionare sulla correttezza, la terminazione e l'efficienza dei programmi, con esempi in ogni fase. Il libro contiene lo sviluppo sistematico, a partire da teorie appropriate, di una serie di algoritmi fondamentali relativi alla ricerca, all'ordinamento, al matching, ai problemi legati ai grafi, alla metodologia della programmazione ricorsiva e alle tecniche di programmazione dinamica, culminando nelle strutture ricorsive parallele.