content.mdwn

   1 # Topics #
   2
   3 These topics are organized in two ways: by their content, and by the
   4 week in which they were introduced.
   5
   6 ## Topics by content ##
   7
   8 * [[Introduction to functional programming|topics/week1 kapulet intro]]
   9
  10 * [[Order: static versus dynamic|topics/week1 order]]
  11
  12     * [[The Lambda Calculus|topics/week2 lambda intro]]
  13
  14     * [[Advanced notes on the Lambda Calculus|topics/week2 lambda advanced]]
  15
  16     * Encoding data types in the Lambda Calculus
  17
  18         * [[Booleans, Tuples, Lists, and Numbers|topics/week2 encodings]]
  19
  20 ## Topics by week ##
  21
  22 Week 1:
  23
  24 * [[Order in programming languages and natural language|topics/week1 order]]
  25 This discussion considers conjunction in a language that recognized presupposition failure.
  26 * [[Introduction to functional programming|topics/week1 kapulet intro]]
  27 Basics of functional programming: `let`, `case`, pattern matching, and
  28 recursion.  Definitions of factorial.
  29 * [[Advanced notes on functional programming|topics/week1 kapulet advanced]]
  30 * [[Homework for week 1|exercises/assignment1]]
  31
  32 Week 2:
  33
  34 * [[Introduction to the Lambda Calculus|topics/week2 lambda intro]]
  35 * [[Advanced notes on the Lambda Calculus|topics/week2 lambda advanced]]
  36 * [[Encoding Booleans, Tuples, Lists, and Numbers|topics/week2 encodings]];
  37 * [[Homework for week 2|exercises/assignment2]]
  38
  39 Week 3:
  40
  41 * More on Lists
  42 Introduces list comprehensions, shows how to encode `tail` in the Lambda Calculus
  43 * Combinatorial Logic
  44 * Homework for week 3
  45
  46
  47
  48 *More coming, please wait...*
  49