Lecturer: Badrul Hisham Abdullah Kulliyyah Muamalat Mathematics I MTD1013.

Slides:



Advertisements
Similar presentations
PROOF BY CONTRADICTION
Advertisements

TR1413: INTRO TO DISCRETE MATHEMATICS LECTURE 2: MATHEMATICAL INDUCTION.
Discrete Structures for Computer Science Ruoming Jin MW 5:30 – 6:45pm Fall 2009 rm MSB115.
Discrete Structures Chapter 5: Sequences, Mathematical Induction, and Recursion 5.2 Mathematical Induction I [Mathematical induction is] the standard proof.
Chapter 10 Sequences, Induction, and Probability Copyright © 2014, 2010, 2007 Pearson Education, Inc Mathematical Induction.
TR1413: Discrete Mathematics For Computer Science Lecture 1: Mathematical System.
Geometry Vocabulary 1A Geometry, like much of mathematics and science, developed when people began recognizing and describing patterns. In this course,
Adapted from Discrete Math
C OURSE : D ISCRETE STRUCTURE CODE : ICS 252 Lecturer: Shamiel Hashim 1 lecturer:Shamiel Hashim second semester Prepared by: amani Omer.
 2004 SDU Introduction to the Theory of Computation My name: 冯好娣 My office: 计算中心 430
CSCI 115 Chapter 2 Logic. CSCI 115 §2.1 Propositions and Logical Operations.
T: RIS620 ADVANCED PROGRAMMING.
Lecture 3.1: Mathematical Induction CS 250, Discrete Structures, Fall 2014 Nitesh Saxena Adopted from previous lectures by Cinda Heeren, Zeph Grunschlag.
CSNB143 – Discrete Structure Topic 5 – Induction Part I.
Discrete Maths Objective to introduce mathematical induction through examples , Semester 2, Mathematical Induction 1.
CSC Discrete Mathematical Structures Dr. Karl Ricanek Jr.
Discrete Mathematics 이재원 School of Information Technology
1 Discrete Structures – CNS2300 Text Discrete Mathematics and Its Applications Kenneth H. Rosen Chapter 3 Mathematical Reasoning, Induction and Recursion.
March 3, 2015Applied Discrete Mathematics Week 5: Mathematical Reasoning 1Arguments Just like a rule of inference, an argument consists of one or more.
MTH 201 Discrete Mathematics Fall Term MTH 201 Discrete Mathematics Fall Term INTERNATIONAL BURCH UNIVERSITY DEPARTMENT of INFORMATION.
Discrete Mathematics CS204 Spring CS204 Discrete Mathematics Instructor: Professor Chin-Wan Chung (Office: Rm 3406, Tel:3537) 1.Lecture 1)Time:
The Foundations Logic and Proofs by raedRASHEED 2014.
Discrete Structures – CS Text Discrete Mathematics and Its Applications Kenneth H. Rosen (7 th Edition) Chapter 1 The Foundations: Logic and Proofs.
Logical Reasoning:Proof Prove the theorem using the basic axioms of algebra.
1/10/ Math/CSE 1019N: Discrete Mathematics for Computer Science Winter 2007 Suprakash Datta Office: CSEB 3043 Phone:
COMP 170 L2 Part 3 of Course Chapter 3 of Textbook.
1 Discrete Structures – CNS2300 Text Discrete Mathematics and Its Applications Kenneth H. Rosen (5 th Edition) Chapter 3 The Foundations: Logic and Proof,
Methods of Proof Dr. Yasir Ali. Proof A (logical) proof of a statement is a finite sequence of statements (called the steps of the proof) leading from.
Discrete Structures – CNS 2300
MAT 2720 Discrete Mathematics Section 2.2 More Methods of Proof Part II
Discrete Mathematics Lecture # 1. Course Objectives  Express statements with the precision of formal logic.  Analyze arguments to test their validity.
Section 1.7. Definitions A theorem is a statement that can be shown to be true using: definitions other theorems axioms (statements which are given as.
5-5 Indirect Proof. Indirect Reasoning: all possibilities are considered and then all but one are proved false. The remaining possibility must be true.
Introduction to Proofs. The use of Reasoning and Logic in proofs Inductive Reasoning- “reasoning from detailed facts to general principles” – Specific.
CS/APMA 202 Spring 2005 Aaron Bloomfield. Sequences in Nature
CT214 – Logical Foundations of Computing Darren Doherty Rm. 311 Dept. of Information Technology NUI Galway
1.  This course covers the mathematical foundations of computer science and engineering. It provides an introduction to elementary concepts in mathematics.
1 Discrete Mathematical Mathematical Induction ( الاستقراء الرياضي )
Section 9.4 – Mathematical Induction Mathematical Induction: A method to prove that statements involving natural numbers are true for all natural numbers.
Section 1.7. Section Summary Mathematical Proofs Forms of Theorems Direct Proofs Indirect Proofs Proof of the Contrapositive Proof by Contradiction.
Uniqueness Quantifier ROI for Quantified Statement.
9/27/2011 Lecture Mathematical Induction1 Lecture 3.1: Mathematical Induction* CS 250, Discrete Structures, Fall 2011 Nitesh Saxena *Adopted from.
Mathematical Induction. The Principle of Mathematical Induction Let S n be a statement involving the positive integer n. If 1.S 1 is true, and 2.the truth.
Discrete Structures MT217 Lecture 01. Course Objectives Express statements with the precision of formal logic Analyze arguments to test their validity.
Chapter 1 Logic and Proof.
DISCRETE MATHEMATICS CHAPTER I.
Logic.
CPCS222 Discrete Structures I
Principles of Computing – UFCFA Lecture-1
Final Exam Study Guide This test will cover Chapters 1-13 in the course book. Review each lecture slide and class notes to narrow your focus of study for.
Дискретне математичке структуре
Introduction to Logic PHIL 240 Sections
Discrete Mathematics and Its Applications Chapter 7 Images
Discrete Math (2) Haiming Chen Associate Professor, PhD
Follow me for a walk through...
(1.4) An Introduction to Logic
CS 281: Discrete Mathematics for Computer Science
CSS 342 Data Structures, Algorithms, and Discrete Mathematics I
Discrete Mathematics and Its Applications Kenneth H
Discrete Mathematics Lecture 2: Propositional Logic
Lecture 3.1: Mathematical Induction
Induction (Section 3.3).
Discrete Mathematics Lecture 2: Propositional Logic
Sullivan Algebra and Trigonometry: Section 13.4
Dr. Halimah Alshehri MATH 151 Dr. Halimah Alshehri Dr. Halimah Alshehri.
·Answer in complete sentences ·Page 17 - # 2
Chapter 2 Sets Active Learning Lecture Slides
Propositional Logic 1) Introduction Copyright 2008, Scott Gray.
Discrete Mathematics and Its Applications Chapter 7 Images
Lecture 3.1: Mathematical Induction
Presentation transcript:

Lecturer: Badrul Hisham Abdullah Kulliyyah Muamalat Mathematics I MTD1013

SUBJECT DESIGN KOLEJ UNIVERSITI INSANIAH (KUIN) KULLIYYAH MUAMALAT Semester II Session 2009/2010 Subject: Mathematics I Course Code: Lecturer: Office: Tel: Required Text Book: MTD1013 En. Badrul Hisham Abdullah Level 3 of Kulliyyah Muamalat Rosen K. H., Discrete Mathematics & Its Applications. (Sixth Edition), Mc Graw Hill, 2009.

WHAT IS DISCRETE MATHEMATICS? Discrete Mathematics describes the processes that consist of a sequence of individual steps.

CHAPTER 2 LOGIC What is about this chapter? This chapter will introduce to us some of the basic tools of discrete mathematics. In the end of this chapter, it will give us the background needed to begin the exploration of mathematics structures.

2.0 Logic and Methods of Proof Definition A statement or proposition is a declarative sentence that either true or false, but not both Logic

Methods of Proof

A.Direct Method

B. Indirect Method

C. Contradiction Method

D. Principle of Mathematical Induction