Fundamentele algebrice ale informaticii

Lucrarea este conceputa ca suport de curs pentru studentii din primul an ai facultatilor de informatica din intreaga tara. Predat de autor la School of Electrical Engineering and Computer Science, University of Central Florida, acesta prezinta elementele de baza necesare intelegerii unor capitole fundamentale de informatica, impreuna cu aplicatii concrete in urmatoarele domenii: teoria codurilor - compresia datelor; teoria codurilor detectoare - corectoare de erori; criptografie - securitatea informatiei; semantica limbajelor de programare; analiza programelor; teoria tipurilor de date.

Cuprins: Timpul de executie al unui algoritm • Coduri Huffman • Criptosistemul RSA • Semnaturi digitale • Coduri detectoare - corectoare de erori • Coduri liniare • Semantica programelor • Analiza - verificarea programelor • Traduceri de programe - compilare • Specificarea algebrica a tipurilor abstracte de date • Tratarea exceptiilor