Dr. Edward CrottyOffice: 317 SERC
Web page: Dr. Edward Crotty
Course page: Blackboard course
Teaching assistant (section 003)
Djordje (George) GligorijevicOffice: 334 SERC
Office phone: +1 215 204 5376
Office hours for Fall 2015:
The detailed syllabus can be downloaded here.
You will be given several qizzes and homework assignments. These should be submitted to Teaching assistant or professor directly or via email in a timely fashion.
Late submissions of homework are not allowed! However, individual exceptions will only be granted in the rarest of circumstances. Appeals to
accept late homework should be directed by email to the instructor, and should typically be accompanied by appropriate documentation (e.g. doctor's note).
Unless otherwise specified, homework may not be done in groups
Homework problems will be discussed on the labs after the submission. It is highly recommended to take notes during homework discussion as you will not have your homework with you.
The list of all tables and figures can be downloaded here
|Propositional Logic Rules Summarization|
|Predicates and Quantifiers|