Richard Bird er berømt for klarheden og stringensen i sit forfatterskab. Hans nye lærebog, der introducerer funktionel programmering til studerende, understreger grundlæggende teknikker til at ræsonnere matematisk om funktionelle programmer. Ved at studere de underliggende ligningslove giver bogen eleverne mulighed for at anvende beregningsmæssig ræsonnement til deres programmer, både for at forstå deres egenskaber og for at gøre dem mere effektive. Bogen er designet til at passe til et første- eller andetårs bachelorkursus og er en grundig revision og udskiftning af hans tidligere lærebøger. Den indeholder casestudier i Sudoku og smuk udskrivning og over 100 nøje udvalgte øvelser med løsninger. Denne engagerende tekst vil blive hilst velkommen af både studerende og lærere. Sprog: Engelsk