CS:4350 Logic in Computer Science, Fall 2020
5:006:15pm, Zoom from ICON
You may make an appointment to see us outside of the regular office hours.
Syllabus,
Announcements,
Homeworks,
Exams,
Lecture Notes,

Welcome to the class! This web site is the place where you will see annoucements, homework assignments, etc. The assignments on ICON will refer to this page.
Please start each question with the number of the question.
Every submission will on ICON before the midnight of the due day.
Only a single word file or pdf file is accepted. If you use pictures,
please insert all pictures into a word file. Other types of files are
ignored.
Each homework counts for 4% of the final grade; some of them have
a small programming components.
 Homework 1 is due on 9/2/20 (40 points)
Chapter 1: 2 (a)(e), 3, 6, 9, 10, 11, 12, 14.
sample solutions
 Homework 2 is due on 9/9/20 (40 points)
Chapter 1: 5, 15, 16, 18;
Chapter 2: 2, 6, 7, 8.
sample solutions
 Homework 3 is due on 9/16/20 (40 points)
Chapter 2: 9 (b,c), 14, 15, 16, 17
sample solutions
 Homework 4 is due on 9/23/20 (40 points)
Chapter 2: 18, 19, 20, 23, 24, 26
sample solutions
 Homework 5 is due on 9/30/20 (40 points)
Chapter 2: 29, 31, 32, 34, 36;
Chapter 3: 1, 2, 3.
sample solutions
Java code
 Homework 6 is due on 10/15/20 (40 points)
Chapter 3: 8, 9, 10, 11, 12, 14, 15, 16.
sample solutions
 Homework 7 is due on 10/26/20 (40 points)
Chapter 4: 7, 9, 10, 11, 12 (the following Sudoku input files are provided:
sudoku1.txt,
sudoku2.txt,
sudoku3.txt,
sudoku4.txt,
sudoku5.txt).
You may use minisat as your SAT solver for problems 1012.
sample solutions
sample programs
 Homework 8 is due on 11/03/20 (40 points)
Chapter 4: 8, 13, 15, 17;
Chapter 5: 1, 3, 5, 7.
sample solutions
 Homework 9 is due on 11/15/20 (40 points)
Chapter 5: 4, 6, 8 (ad), 9 (e, f), 13 (fi), 14.
sample solutions
 Homework 10 is due on 11/30/20 (40 points)
Chapter 6: 1, 2, 5, 6, 11, 12, 13, 14
(please download the latest version of the textbook)
See prover9.html using prover9.
sample solutions
 Bonus Homework is due on 12/09/20 (40 points)
Chapter 8: 1, 3, 4, 7, 10, 11.
(please download the latest version of the textbook)
See prolog.html using prolog
sample solutions
cnf.pl,
msort.pl,
ssort.pl,
tailrecur.pl
sample solutions
Logic in Computer Science,
Benji Mo and Hantao Zhang (copyright 2020)
As these lecture notes are updated before each class, please don't
download them all in advance.
Have a great day!