CSL665: Introduction to Logic and Functional Programming

Semester I (Diwali) 2006-07
Instructor: Sanjiva Prasad       e-mail: s a n j i v a 'at' c s e 'dot' i i t d 'dot' a c 'dot' i n
Teaching Assistant Murtaza Masalawala       e-mail: m c s 0 5 2 9 6 3 'at' c s e 'dot' i i t d 'dot' a c 'dot' i n

For a description of the course see Course Contents of CSL665. This is replete with typos, but should be corrected soon.

Tuesday8:00 - 8:55 am,Bharti 204
Wednesday8:00 - 8:55 am,Bharti 204
Friday8:00 - 8:55 am.Bharti 204
Minor I & II (15%+15%)
Major (25%)
Assignments and Homework (35%)
Quizzes and other evaluation(5%+5%)

The Roll list and marks will be shown here.

  1. Programming Paradigms, the declarative paradigm, models of computation, equational (functional) and relational (logic) paradigms
  2. Sets, functions, relations, inductive definitions.
  3. Cardinality, denumerability, Cauchy's first diagonal argument for denumerable union of denumberable sets, Cantor's second Diagonalization technique
  4. Polymorphic lists and curried functions, higher-order functions
  5. Booleans

Reference Material, Notes, Books, and online resources
I do not prescribe a particular text book, but the following books and notes can be used as references.
Logic Functional Programming Logic Programming