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