RISC RISC Research Institute for Symbolic Computation  

Functional Programming: Lisp

Goals

The course is an introduction to programming in Lisp and it will be based on the book: Programming in Common Lisp, R. A. Brooks, John Wiley 1985. The students will be expected to perform practical programming in Lisp. A lisp interpreter can be downloaded here.

This course is intended for students of mathematics or computer science who are interested on functional programming. Along with programming, we study how to formally specify programs behaviour. The last two lectures are dedicated to program verification.

There is no particular prerequisite for the course, however, the students are expected to have some basic knowledge of programming.

Organization

Summer Semester 2018.

Registration

Please register for the course via the KUSSS system.

Literature

Course Materials


Chapter 1
Chapter 2, Part 1
Chapter 2, Part 2
Chapter 3


Maintained by Nikolaj Popov