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 si compresia datelor; teoria codurilor detectoare si corectoare de erori; criptografie si 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 si corectoare de erori • Coduri liniare • Semantica programelor • Analiza si verificarea programelor • Traduceri de programe si compilare • Specificarea algebrica a tipurilor abstracte de date • Tratarea exceptiilor