User Tools

Site Tools


plc16:lecture_7

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

plc16:lecture_7 [2016/09/12 19:01] (current)
hossein created
Line 1: Line 1:
 +====== Lecture 7 ======
 +Lecture 7 {{ :​plc16:​lect7:​main.pdf |Slides}}
 +
 +This lecture is about writing recursive functions for manipulating lists and also proving properties of programs.
 +
 +=== Readings ===
 + 
 +  * PL: BPC Chapter 2 (Sections 2.0-2.6, 2.11 and 2.13)
  
plc16/lecture_7.txt ยท Last modified: 2016/09/12 19:01 by hossein