• HOME
• ABOUT US
  • Name Address
  • General Description
  • Governance
  • Academic Calendar
  • Degree Programmes
  • List of Programmes in English
  • General Admission and Registration Procedures
  • Credit Mobility and Recognition of Prior Learning
  • ECTS Credit Allocation
  • Academic Guidance
  • Contacts
• Degree Programmes
  • Third Cycle Programmes (Doctorate Degree)
  • Second Cycle Programmes (Master's Degree)
  • First Cycle Programmes (Bachelor's Degree)
  • Short Cycle Programmes (Associate's Degree)
• GENERAL INFORMATION FOR STUDENTS
  • Cost of Living
  • Accommodation
  • Meals
  • Medical Facilities
  • Facilities for Disabled Students
  • Insurance
  • Financial Supports
  • Student Affairs Office
  • Practical Information for International Students
  • Language Courses
  • Work Placement Possibilities
  • Sports, Social and Cultural Facilities
  • Student Associations and Clubs
  • About İzmir - Turkey
• INTERNATIONAL RELATIONS
  • International Relations Office
  • Registration Procedures
  • Agreements
  • Coordinators
  • Documents
  • List of Programmes in English
  • ECTS / DS Labels

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/LO PO.1 PO.2 PO.3 PO.4 PO.5 PO.6 PO.7 PO.8 PO.9 PO.10 PO.11 PO.12 PO.13 LO.1 5 5 5 LO.2 5 3 5 LO.3 2 3 LO.4 5 5 LO.5 5 5 5 LO.6 5 2 4 5