##### Filter Reset
• All Exams
• Final (3)
• Midterm (5)
• Quiz (4)
###### Semester
Study Guides (258,786)
CA (125,011)
UW (5,928)
CS (346)
CS245 (24)

# Study Guides for CS245 at University of Waterloo

Logic and Computation

Sort
24 Results
CS245
Final Exam
Study Guide
Most Popular
##### Exam Study Guides for CS245
View All
Covers all test topics
Comprehensive notes
Created by top students
Class Notes included
Fast exam preparation
##### CS 245- Final Exam Guide - Comprehensive Notes for the exam ( 25 pages long!) Premium

[CS 245] Comprehensive fall guide including any lecture notes, text...

Computer Science
CS245
Jonathan Buss
##### CS 245- Midterm Exam Guide - Comprehensive Notes for the exam ( 25 pages long!) Premium

[CS 245] Comprehensive fall guide including any lecture notes, text...

Computer Science
CS245
Jonathan Buss
##### CS 245 Midterm: CS245 EXAM NOTE Premium

▯▯▯▯9J[▯URGEKH[▯CPF▯XGTKH[!▯ 2TQITCO▯8GTKHKECVKQP▯▯ /QFGN▯EJGEMKPI...

Computer Science
CS245
Jonathan Buss
##### CS 245 Quiz: Practice Questions 4

Scanned by CamScanner Scanned by

Computer Science
CS245
Jonathan Buss
##### CS 245 Quiz: Practice Questions 3

Scanned by CamScanner Scanned by CamScanner Scanned by

Computer Science
CS245
Jonathan Buss
##### CS 245 Quiz: Practice Questions 2

Scanned by CamScanner Scanned by CamScanner Scanned by

Computer Science
CS245
Jonathan Buss
##### CS 245 Quiz: Practice Questions 1

Scanned by CamScanner Scanned by

Computer Science
CS245
Jonathan Buss
##### cs-modal.pdf

ModalLogicSummaryofDenitionsandMainResultsCS2451SyntaxofModalLogici...

Computer Science
CS245
Olga Zorin
##### cs-firstorder.pdf

First Order Logic (Predicate Calculus) ...

Computer Science
CS245
Olga Zorin
##### cs-propositional.pdf

Propositional Logic Summary of Deﬁnitio...

Computer Science
CS245
Olga Zorin

Computer Science
CS245
Olga Zorin
##### resolution-prop.pdf

TheCompletenessofPropositionalResolutionASimpleandConstructiveProof...

Computer Science
CS245
Olga Zorin

Computer Science
CS245
Olga Zorin
##### tableaux.pdf

MAT3361INTRODUCTIONTOMATHEMATICALLOGICFall2004LectureNotesAnalyticT...

Computer Science
CS245
Olga Zorin
##### Lecture6SCAN.pdf

Computer Science
CS245
Olga Zorin
Notes
Practice
Earn
Me

OR

Don't have an account?

Join OneClass

Access over 10 million pages of study
documents for 1.3 million courses.

Join to view

OR

By registering, I agree to the Terms and Privacy Policies
Just a few more details

So we can recommend you notes for your school.