Slide 1 Functional Design and Programming Lecture 1: Functional modeling, design and programming Slide 2 Literature Paulson, chap. 1 (excl. 1.7, 1.8) Paulson, chap.…