Poscritto

Riassunto

Bene, abbiamo fatto molta strada. Partendo da una nozione base di problema e soluzione algoritmica, abbiamo discusso le metodologie principali per la progettazione e la scrittura di algoritmi, così come modi per stabilire la loro correttezza ed efficienza. Abbiamo visto problemi intrattabili e non computabili, e abbiamo dimostrato che queste nozioni non sono sensibili alla scelta del modello computazionale o del linguaggio in cui una soluzione viene scritta. Abbiamo anche discusso argomenti come la concorrenza, il probabilismo, la computazione quantistica, le euristiche, l’ingegneria del software, e i sistemi complessi.