Książka Alfreda Aho i Jeffreya Ullmana "Wykłady z informatyki z przykładami w języku C" stanowi znaczący postęp w dziedzinie metodyki nauczania podstaw informatyki. Ten nowatorski podręcznik w przystępny sposób prezentuje zagadnienia dotyczące modeli, pojęć i technik z zakresu matematyki dyskretnej i informatyki. Książka stanowi zarówno wprowadzenie do dziedziny informatyki, jak i autorytatywne źródło jej teoretycznych podstaw. Pokazuje, w jaki sposób "matematyczne abstrakcje" przekształca się w działające programy.
Podręcznik dostarcza przyszłym informatykom solidnych podstaw niezbędnych w dalszych studiach oraz w przyszłej pracy zawodowej. Zawiera liczne ćwiczenia, ułatwiające przyswojenie przedstawianej w nim wiedzy i sprawdzenie swoich umiejętności. Autorzy wymagają od czytelnika znajomości języka C.
Zakres tematyczny obejmuje między innymi:
- Iterację, indukcję i rekursję
- Zagadnienia związane z czasem wykonywania programów
- Kombinatorykę i prawdopodobieństwo
- Modele danych oparte na drzewach, listach i zbiorach
- Relacyjny i grafowy model danych
- Wzorce, automaty i wyrażenia regularne, rekurencyjny model wzorców
- Logikę zdań
- Logikę predykatów
Alfred V. Aho jest zastępcą dyrektora ds. informatyki i badań technologicznych w firmie Bellcore. Od 1967 do 1991 roku pracował w Computing Science Research Center w AT&T Bell Laboratories. Wykładał również informatykę na Columbia University, Stanford University oraz Stevens Institute of Technology.
