CS1502 Formal Methods in Computer Science

Fall 2017

Course Information

Instructor:

Sherif Khattab, 6307 Senott Square, 412-624-8438, sherif.khattab@pitt.edu, OH: MW 9-12 and 1-5pm

Lectures:

TH 9:30-10:45 @ 332 CL

TِAs:

Class# 11153: Maximillian Bender, 6406 Sennott Square, mbender1@cs.pitt.edu, OH: Tu/W/Th 3-5

Class# 27129: Ahmed Magooda, 5106 Sennott Square, amagooda@cs.pitt.edu , OH: TuTh 1-3pm

Class# 29159: Amin Sobhani, 6804 Sennott Square, ams543@pitt.edu, OH: Th 12:30-3:30

Textbook:

Michael Sipser , Introduction to the Theory of Computation, 3rd Ed.

Grading Policy

Midterm and Final exams (65%): 40% on higher grade and 25% on lower

Make-up exams can be scheduled well in advance.

Weekly homework problems (20%): every Friday

Homeworks are graded on a Satisfactory/Unsatisfactory basis. Each homework is worth two points. Grade is on the best ten homeworks out of the 12 offered.

Each homework has a deadline of ten days. Homework will be typically posted on Fridays and are due the Monday after the next at 11:59pm. Late submissions are allowed up to two days (i.e., Wednesday 11:59pm) with a 10% reduction for each late day.

HW#

Out on

Due on @11:59pm

0

F 9/1

M 9/11

1

F 9/8

M 9/18

2

F 9/15

M 9/25

3

F 9/22

M 10/02

4

F 9/29

M 10/09

5

F 10/06

M 10/16

6

F 10/13

M 10/23

7

F 10/20

M 10/30

8

F 11/03

M 11/13

9

F 11/10

M 11/20

10

F 11/17

M 11/27

11

M 11/27

M 12/04

Recitation (15%): 2 quizzes (10%) and attendance (5%)

Weekly Schedule

Date

Topic

Reading

Recitation

Homework

08/29

Course syllabus, Math Preliminaries-I

0.1

No recitation

HW0

08/31

Math Preliminaries

0.2

09/05

0.3-0.4

Exercises: 0.6, 0.8, and 0.9. Problem 0.10

HW1

09/07

Finite Automata

1.1

09/12

Recitation 2

HW2

09/14

Non-deterministic Finite Automaton

1.2

09/19

Regular Expressions

1.3

Quiz 1

HW3

09/21

Pumping Lemma for Regular Languages

1.4

09/26

Turing Machines

3.1

HW4

09/28

10/03

Variants of Turing Machines

3.2

HW5

10/05

Definition of Algorithm

3.3

10/10

Fall Break (No class)

HW6

10/12

Decidable Languages

4.1

10/17

Undecidable Problems

 

4.2

HW7

10/19

10/24

Midterm Exam

10/26

Proving undeciability by reducibility

5.1

5.2

10/31

HW8

11/02

11/07

HW9

11/09

Mapping Reducibility

5.3

11/14

Measuring Complexity

7.1

Quiz 2

HW10

11/16

11/21

Class-P Problems

7.2

11/23

Thanksgiving Recess (No class)

11/28

Class-NP Problems

7.3

HW11

11/30

NP-Completeness

7.4

12/05

Additional NP-complete problems

7.5

12/07

Review

12/15

Final Exam (10:00-11:50am)

Students with Disabilities

 

If you have a disability for which you are or may be requesting an accommodation, you are encouraged to contact both your instructor and Disability Resources and Services (DRS), 140 William Pitt Union, (412) 648-7890, drsrecep@pitt.edu, (412) 228-5347 for P3 ASL users, as early as possible in the term. DRS will verify your disability and determine reasonable accommodations for this course.

Academic Integrity

 

Students have the responsibility to be honest and to conduct themselves in an ethical manner while pursuing academic studies. Students have the right to be treated by faculty in a fair and conscientious manner in accordance with the ethical standards generally recognized within the academic community (as well as those recognized within the profession). Should a student be accused of a breach of academic integrity or have questions regarding faculty responsibilities, procedural safeguards including provisions of due process have been designed to protect student rights. These may be found in Guidelines on Academic Integrity: Student and Faculty Obligations and Hearing Procedures.