CS451 Syllabus
30 lectures, 75 min each
Paradigms and topics:
- functional programming
- lazy evaluation
- logic programming
- types and type inference
- object oriented programming
- intuition for formalization of programming languages
Organization:
Lectures:
- Lecture 1: Introduction, course policies
- Lecture 2: strings; formal languages; DFAs; NFAs
- Lecture 3: regular expressions
- Lecture 4
- Lecture 5
- Lecture 6
- Lecture 7
- Lecture 8
- Lecture 9
- Lecture 10
- Lecture 11
- Lecture 12
- Lecture 13
- Lecture 14
- Lecture 15
- Lecture 16
- Lecture 17
- Lecture 18
- Lecture 19
- Lecture 20
- Lecture 21
- Lecture 22
- Lecture 23
- Lecture 24
- Lecture 25
- Lecture 26
- Lecture 27
- Lecture 28
- Lecture 29
- Lecture 30
Barak Pearlmutter
<bap@cs.unm.edu>