CSL 765: Introduction to (Logic and Functional) Programming (3-0-2-4)
II Semester 2014-15
Instructor:
S. Arun-Kumar
Last modified: Mon May 11 09:45:50 IST 2015
Lecture slides (2015-03-17)
Course outline
Time table, Exams and Assignments:
Time-table
Slot C
Lectures
Day
Time
Place
Tuesday
8:00-8:55
IIA
204
Wednesday
8:00-8:55
IIA
204
Friday
8:00-8:55
IIA
204
Doubts
Friday
9:00-9:55
IIA
412
Evaluation:
Minor I
25%
I Minor Solutions
Minor II
25%
II Minor Solutions
Assignments
20%
Major
30%
Major Solutions
--->
Notes:
All exams are open book and open notes.
But sharing notes and other material during the exam is not allowed.
Please read the
Important general notes
.
Not having read
Important general notes
will not be taken as a valid excuse.
Assignments:
Assignment 1 (deadline 23:55 10 Feb 2015)
Foundation and General
Declarative Programming
Notes on Universal Algebra
Note on Substitutions
Annotated notes on the Lambda-calculus and ML programming
Notes on Abstract Reduction Systems
Home grown tutorials on Programming
Functional Programming
Why Functional Programming?
SML Syntax diagrams
Slides on SML Programming
Sample SML programs
Programming in Standard ML
More tutorials on SML
SML homepage
Logic Programming
Slides of "Logic in Computer Science" (16 Apr 2015)
Yap Prolog homepage
Yap Prolog manual
Yap downloads
An Introduction to Logic Programming through Prolog
Sample Prolog programs
S. Arun-Kumar <sak@cse.iitd.ernet.in>
Amusement Park
Math as Religion
Compiler Complaint
Travelling Salesman Problem