COURSE UNIT TITLE

: PROOF TECHNIQUES

Description of Individual Course Units

Course Unit Code Course Unit Title Type Of Course D U L ECTS
FPE 0060 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
Chemistry
Computer Science
Statistics
Mathematics
Physics
Faculty Of Science

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 Existence and Uniqueness Proofs Quiz-2
3 Variables and Sets More Examples of Proofs
4 Operations on Sets Quiz-1
5 The Conditional and Biconditional Connectives
6 Quantifiers
7 Equivalences Involving Quantifiers Midterm
8 More Operations on Sets Midterm Exam
9 Proof Strategies
10 Proofs Involving Negations and Conditionals
11 Proofs Involving Quantifiers

Recomended or Required Reading

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

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


*** Resit Exam is Not Administered in Institutions Where Resit is not Applicable.

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.14PO.15PO.16PO.17
LO.11
LO.2
LO.3
LO.4
LO.5
LO.6