## CSL665: Introduction to Logic and Functional Programming(3-0-2)

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.

Lectures
 Tuesday 8:00 - 8:55 am, Bharti 204 Wednesday 8:00 - 8:55 am, Bharti 204 Friday 8:00 - 8:55 am. Bharti 204
Evaluation
 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.

Topics
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
Assignments

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
• [SAK02] S. Arun-Kumar: Introduction to Logic for Computer Science, see here.
• [E01] H. B. Enderton.: Mathematical Introduction to Logic, Academic Press, Elsevier, 2001 (Rs 295.00)
• [B93] M. Ben-Ari: Mathematical Logic for Computer Science, Prentice Hall 1993.
• [EFT94] H.-D. Ebbinghaus, J. Flum, W. Thomas: Mathematical Logic, Springer Verlag 1994.
• [K97] John Kelly: The Essence of Logic, Prentice-Hall of India, 1997 (Rs 95.00).
Functional Programming
• The Functional Approach to Programming, G. Cousineau and M. Mauny, Cambridge University Press, 1998. Warning: Not easily available and somewhat expensive. Code is in OCaml, which is luckily not too different from SML.
• ML for the Working Programmer, Larry Paulson, Cambridge University Press. Warning: Not easily available and somewhat expensive.
• Structure and Interpretation of Computer Programs, H Abelson and G Sussmann, MIT Press.
• Bob Harper's Online tutorial for SML URL:
Logic Programming
• Art of Prolog, Ehud Shapiro