COURSE UNIT TITLE

: PROOF TECHNIQUES

Description of Individual Course Units

Course Unit Code Course Unit Title Type Of Course D U L ECTS
ERA 0010 PROOF TECHNIQUES ELECTIVE 2 0 0 2

Offered By

Faculty Of Science

Level of Course Unit

First Cycle Programmes (Bachelor's Degree)

Course Coordinator

ASSOCIATE PROFESSOR SALAHATTIN ÖZDEMIR

Offered to

Biology
Computer Science
Mathematics (English)
Physics
Chemistry
Statistics

Course Objective

The objective of this course is to teach science students how to prove rigorously.

Learning Outcomes of the Course Unit

1   To familiarize with the various forms that scientific statements take
2   To discuss by using logical connectives, and quantifiers
3   To construct the truth table of a logical statement
4   To demonstrate the ability to construct rigorous logical arguments
5   To find errors in incorrect arguments
6   To recognise the basic concepts from mathematical logic

Mode of Delivery

Face -to- Face

Prerequisites and Co-requisites

None

Recomended Optional Programme Components

None

Course Contents

Week Subject Description
1 Deductive Reasoning and Logical Connectives Proofs Involving Conjunctions and Biconditionals Proofs Involving Disjunctions
2 Truth Tables Proofs Involving Quantifiers
3 Variables and Sets Existence and Uniqueness Proofs
4 Operations on Sets
5 The Conditional and Biconditional Connectives
6 Quantifiers
7 Problem solving
8 Equivalences Involving Quantifiers
9 More Operations on Sets
10 Proof Strategies
11 Proofs Involving Negations and Conditionals

Recomended or Required Reading

Textbook: Daniel J. Velleman How To Prove It A Structured Approach, 3rd Ed., Cambridge Unv. Press, 2019.

Planned Learning Activities and Teaching Methods

Presentations
Interactive education skills
Question-answer techniques
Exams

Assessment Methods

SORTING NUMBER SHORT CODE LONG CODE FORMULA
1 MTE MIDTERM EXAM
2 QUZ QUIZ
3 FIN FINAL EXAM
4 FCGR FINAL COURSE GRADE (RESIT) MTE * 0.30 + ASG * 0.30 + FIN * 0.40
5 RST RESIT
6 FCGR FINAL COURSE GRADE (RESIT) MTE * 0.30 + ASG * 0.30 + RST * 0.40


Further Notes About Assessment Methods

2 Quizes
Midterm Exam
Final Exam

Assessment Criteria

Midterm exam, presentation and homework questions should be qualify to measure whether the associations declared in the learning outcomes can be made or not.

Language of Instruction

English

Course Policies and Rules

To be announced.

Contact Details for the Lecturer(s)

salahattin.ozdemir@deu.edu.tr
Phone: +90 232 301 8608
Office: Faculty of Science-Math Department-B 351/1

Office Hours

To be announced.

Work Placement(s)

None

Workload Calculation

Activities Number Time (hours) Total Work Load (hours)
Lectures 14 2 28
Preparations before/after weekly lectures 14 1 14
Preparation for quiz etc. 2 2 4
Preparation for midterm exam 1 3 3
Preparation for final exam 1 5 5
Quiz etc. 2 1 2
Midterm 1 2 2
Final 1 2 2
TOTAL WORKLOAD (hours) 60

Contribution of Learning Outcomes to Programme Outcomes

PO/LOPO.1PO.2PO.3PO.4PO.5PO.6PO.7PO.8PO.9PO.10PO.11PO.12PO.13PO.14
LO.15555
LO.25555
LO.355555
LO.455555
LO.55555
LO.65555