Ankara University
Library and Documantation Center Open Courseware
Syllabus
Code and name of the course
MTH 136
Instructor
(s) Assoc. Prof. Dr. Oktay ÖLMEZ Level Undergraduate
Course
Duration 4 hour/week
Course describtio n
Communicating mathematics and using symbols Sets, subsets and set operations Indexed collection of sets, partitions of sets and cartesian products of sets Statements, the negation of statement, the disjunction and conjuction of statements The implication, the biconditional, tautologies and contradictions Logical equivalence, some fundamental properties of logical equivalence, characterization of statements Direct proof Proof by contrapositive Existence Proof by contradiction Prove or disprove Eqivalence relations Partial order and total orders Maximum, maximal, minimum, minimal elements of ordered sets
Course aims &
Objectivti es
It is a reality that a subtantial number of students who do well in the calculus courses have difficulty with their first theoretical upper-division course.The transition from the rather routine problem solving involved in the study of calculus to abstract proof-oriented advanced courses is too abrupt for these students. The aim of this course is to bridge the gap referred to above,to teach what a valid proof is, and to enable the student to construct simple proofs
Language of
Instructio n
English
Prerequisi
tes -
Recomme nded Sources
1-Book of Proof, Richard Hammack, 2013.
2-How To Prove It, Daniel J. Velleman, Cambridge University Press, 2006 Course
credit 5 Ects Laboratuv
ar Others-1
