CS:4350 Logic in Computer Science, Fall 2020

Syllabus, Announcements, Homeworks, Exams, Lecture Notes,

Announcements

• 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.

Homeworks

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 10-12.
  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 (a-d), 9 (e, f), 13 (f-i), 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

Midterm Exams

• First Midterm Exam is a take-home exam on 10/8/20, 8-10pm (30% of the final grade).
• Second Midterm Exam is a two-hour take-home exam in the final week, Thursday, 12/17/20, 8-10pm (30% of the final grade).
  practice questions and sample answers

  Test questions with sample answers and Prolog code. An efficient Prolog implementation.

Textbook

Have a great day!