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