COL 703: Logic for Computer Science
I Semester 2017-18
Instructor:
S. Arun-Kumar
Teaching assistants.
Divyanshu Bagga
Ameya Dubey
Chrystle Myrna Lobo
Important general notes
Roll List (2017-08-04)
Performance Summary (2017-09-26)
Last modified: Tue Oct 3 16:12:28 IST 2017
NPTEL Videos
Lecture slides (2017-10-03)
Course Outline
Lectures (
L-slot
)
Tuesday
18:00-18:50
IIA-201
Wednesday
13:00-13:50
IIA-201
Friday
18:00-18:50
IIA-201
Attendance Policy
The Mark Weight Scheme (§2.5.1)
Quizzes
Best
n-1
out of
n (n>1)
Audit Pass
B
grade
Evaluation
I Minor
20%
Fri 01 Sep 2017
16:00-17:00
LH-108
II Minor
20%
Sat 07 Oct 2017
16:00-17:00
LH-108
Major
30%
Mon 20 Nov 2017
15:30-17:30
LH-108
Quizzes
10%
Attendance
5%
Assignments
15%
Sample Solutions
Quiz-1
Quiz-2
Minor-1
Quiz-4
Notes:
All exams are open book and open notes, but
not open videos
.
Click here to view a typical Logic exam scene
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:
TBA
References:
S. Arun-Kumar
,
Video Lectures on "Logic for Computer Science 2011-12"
(
Available only from within IIT Delhi whenever it is actually available!
)
H. R. Andersen
,
An Introduction to Binary Decision Diagrams
M. Huth, M. Ryan
,
Logic in Computer Science: Modelling and Reasoning about Systems
, Cambridge University Press, 2000.
H.-D. Ebbinghaus , J. Flum , W. Thomas
,
Mathematical Logic
, Undergraduate Texts in Mathematics, Springer-Verlag, 1994.
S. Arun-Kumar
,
Notes on Introduction to Logic for Computer Science
(PDF)
and occasional handouts
John Kelly
,
The Essence of Logic
, Prentice-Hall India, Eastern Economy Edition, 1997.
M. Fitting
,
First-Order Logic and Automated Theorem Proving
, Springer-Verlag, 1990.
L. C. Paulson
,
Logic and Proof
, Notes for Computer Science Tripos, Cambridge University, 1996.
I. M. Copi
,
Symbolic Logic
, Prentice-Hall India, reprint of 1979 edition by Macmillan.
S. Arun-Kumar