View Full Document

Lecture notes



View the full content.
View Full Document
View Full Document

4 views

Unformatted text preview:

CMPUT 272 Formal Systems CS Logic in Vadim Bulitko University of Alberta http www cs ualberta ca bulitko W04 Lecture 24 Vadim Bulitko CMPUT 272 Winter 2004 UofA 1 Finishing off Chapters 7 10 Review for the final exam Lecture 24 Vadim Bulitko CMPUT 272 Winter 2004 UofA All illustrations are copyright to their respective copyright holders and are reproduced here under the conditions of fair us Today 2 Final Exam Coverage Everything covered over the semester textbook lectures seminars Focus on the overlapping part textbook lectures Format Similar to midterm focus on problem solving NOT memorization 3 hours Open book notes etc Calculators laptops are allowed No team work of ANY kind Lecture 24 Vadim Bulitko CMPUT 272 Winter 2004 UofA 3 Procedure Come to the room Get in Sit down Get the exam Wait for the official start Do the final 3 hours Line up Sign off on the class list NEED ONECARD Hand in your exam Enjoy the summer Lecture 24 Vadim Bulitko CMPUT 272 Winter 2004 UofA 4 Recommended Preparation Do as many exercises as you have time for Can take advantage of the ones the text has answers for to double check your solutions Go through all slides and use them as a guide in the material covered Consult the book extensively Get a good rest before the exam Lecture 24 Vadim Bulitko CMPUT 272 Winter 2004 UofA 5 Logic Validity of arguments derivations The truth of the conclusion follows from the premises One of the applications of logic Formalization of and reasoning about arguments Types of logic Propositional predicate How do we prove validity of an argument Direct proofs Indirect proofs by contradiction Technical implementation Truth tables Derivation rules Lecture 24 Vadim Bulitko CMPUT 272 Winter 2004 UofA 6 Sets Main properties Unordered no repetitions different kinds allowed can be infinite Operations Union intersection difference Cartesian product power set etc Relations Subset superset equality etc Cardinality Formal languages Number sets N Z Q R etc Countable non



Access the best Study Guides, Lecture Notes and Practice Exams

Loading Unlocking...
Login

Join to view Lecture notes and access 3M+ class-specific study document.

or
We will never post anything without your permission.
Don't have an account?
Sign Up

Join to view Lecture notes and access 3M+ class-specific study document.

or

By creating an account you agree to our Privacy Policy and Terms Of Use

Already a member?