Discrete Structures MT217 Lecture 01. Course Objectives Express statements with the precision of formal logic Analyze arguments to test their validity.

Slides:



Advertisements
Similar presentations
The Foundations: Logic and Proofs
Advertisements

Introductory Lecture. What is Discrete Mathematics? Discrete mathematics is the part of mathematics devoted to the study of discrete (as opposed to continuous)
CS128 – Discrete Mathematics for Computer Science
About the Course Lecture 0: Sep 2 AB C. Plan  Course Information and Arrangement  Course Requirement  Topics and objectives of this course.
Syllabus Every Week: 2 Hourly Exams +Final - as noted on Syllabus
1 Math 306 Foundations of Mathematics I Math 306 Foundations of Mathematics I Goals of this class Introduction to important mathematical concepts Development.
Discrete Structures for Computer Science Ruoming Jin MW 5:30 – 6:45pm Fall 2009 rm MSB115.
CSE115/ENGR160 Discrete Mathematics 01/17/12 Ming-Hsuan Yang UC Merced 1.
Discrete Mathematics and its Applications
Predicates and Quantifiers
 2004 SDU Introduction to the Theory of Computation My name: 冯好娣 My office: 计算中心 430
Intro to Discrete Structures
CSNB143 – Discrete Structure
Course Outline Book: Discrete Mathematics by K. P. Bogart Topics:
CS 490 Mathematical Logic, Combinatorics, Counting Arguments, Graph Theory, Number Theory, Discrete Probability, Recurrence Relation. Thao Tran.
COS 150 Discrete Structures Assoc. Prof. Svetla Boytcheva Fall semester 2014.
CISC 2315 Discrete Structures Professor William G. Tanner, Jr. Fall 2010 Slides created by James L. Hein, author of Discrete Structures, Logic, and Computability,
A Brief Summary for Exam 1 Subject Topics Propositional Logic (sections 1.1, 1.2) –Propositions Statement, Truth value, Proposition, Propositional symbol,
CS 103 Discrete Structures Lecture 01 Introduction to the Course
Discrete Mathematics Transparency No. 0-1 Discrete Mathematics Cheng-Chia Chen September 2009.
MATH 224 – Discrete Mathematics
Chapter 3 Functions Functions provide a means of expressing relationships between variables, which can be numbers or non-numerical objects.
CSC Discrete Mathematical Structures Dr. Karl Ricanek Jr.
Discrete mathematics Kwon, Taekyoung Courtesy of Dr. Michael P. Frank University of Florida.
Korea Advanced Institute of Science and Technology, Dept. of EECS, Div. of CS, Information Systems Lab. 1/10 CS204 Course Overview Prof.
Discrete Mathematics 이재원 School of Information Technology
Relationships Between Structures “→” ≝ “Can be defined in terms of” Programs Groups Proofs Trees Complex numbers Operators Propositions Graphs Real.
Dr. Amer Rasheed COMSATS Institute of Information Technology
Discrete Structures for Computing
MTH 201 Discrete Mathematics Fall Term MTH 201 Discrete Mathematics Fall Term INTERNATIONAL BURCH UNIVERSITY DEPARTMENT of INFORMATION.
Lecturer: Badrul Hisham Abdullah Kulliyyah Muamalat Mathematics I MTD1013.
Welcome to CMPSC 360!. Today Introductions Student Information Sheets, Autobiography What is Discrete Math? Syllabus Highlights
CISC 2315 Discrete Structures Professor William G. Tanner, Jr. Spring 2011 Slides created by James L. Hein, author of Discrete Structures, Logic, and Computability,
Introduction COMP283 – Discrete Structures. JOOHWI LEE Dr. Lee or Mr. Lee ABD Student working with Dr. Styner
1 CMSC 250 Discrete Structures CMSC 250 Lecture 1.
Thinking Mathematically
1/10/ Math/CSE 1019N: Discrete Mathematics for Computer Science Winter 2007 Suprakash Datta Office: CSEB 3043 Phone:
Discrete Mathematics ( 離散數學 ) Ming-Jer Tsai. Outline What is Discrete Mathematics? Why learn Discrete Mathematics? What will be taught in the class? How.
1, Mustafa Jarrar Lecture Notes on Sequences & Mathematical Induction. Birzeit University, Palestine, 2015 mjarrar©2015 Sequences & Mathematical Induction.
Section 1.1 Propositions and Logical Operations. Introduction Remember that discrete is –the study of decision making in non-continuous systems. That.
CMPT 308 — Computability and Complexity Fall 2004 Instructor: Andrei Bulatov, TA: Ramsay Dyer, Learning.
Symbolic Logic The Following slide were written using materials from the Book: The Following slide were written using materials from the Book: Discrete.
Discrete Mathematics Lecture # 1. Course Objectives  Express statements with the precision of formal logic.  Analyze arguments to test their validity.
Discrete Mathematics Course syllabus. Course No.: Course Classification: Department Compulsory (CS,CIS,SE) Course Name: Discrete Mathematics Time.
CS 225 Discrete Structures in Computer Science Winter, 2014: 157 Spring, 2014: 151 Summer, 2014: Two sections 97 and 53.
Section 1.4. Propositional Functions Propositional functions become propositions (and have truth values) when their variables are each replaced by a value.
Foundations of Discrete Mathematics Chapter 1 By Dr. Dalia M. Gil, Ph.D.
Discrete mathematics Kwon, Tae-kyoung
CS/APMA 202 Spring 2005 Aaron Bloomfield. Sequences in Nature
1.  This course covers the mathematical foundations of computer science and engineering. It provides an introduction to elementary concepts in mathematics.
Discrete Structures Propositional Logic 1 Dr. Muhammad Humayoun Assistant Professor COMSATS Institute of Computer Science, Lahore.
Introductory Lecture. What is Discrete Mathematics? Discrete mathematics is the part of mathematics devoted to the study of discrete (as opposed to continuous)
CS-7081 Application - 1. CS-7082 Example - 2 CS-7083 Simplifying a Statement – 3.
Presented by: Tutorial Services The Math Center
COMP 283 Discrete Structures
Introduction to the Theory of Computation
Discrete Mathematics and Its Applications
Chapter 1 The Foundations: Logic and Proof, Sets, and Functions
CS201: Data Structures and Discrete Mathematics I
Discrete Math (2) Haiming Chen Associate Professor, PhD
A Brief Summary for Exam 1
CS 281: Discrete Mathematics for Computer Science
Discrete Mathematics Lecture 2: Propositional Logic
Discrete Mathematics Lecture 1: Introduction
Discrete Mathematics Lecture 1: Introduction
Predicates and Quantifiers
Foundations of Discrete Mathematics
CS201: Data Structures and Discrete Mathematics I
Discrete Mathematics and Its Applications
Truth tables.
Presentation transcript:

Discrete Structures MT217 Lecture 01

Course Objectives Express statements with the precision of formal logic Analyze arguments to test their validity Apply the basic properties and operations related to sets Apply to sets the basic properties and operations related to relations and functions

Course Objectives Define terms recursively Prove a formula using mathematical induction Prove statements using direct and indirect methods Compute probability of simple and conditional events

Course Objectives Identify and use the formulas of combinatorics in different problems Illustrate the basic definitions of graph theory and properties of graphs Relate each major topic in Discrete Mathematics to an application area in computing

Recommended Books Discrete Mathematics with Applications (second edition) by Susanna S. Epp Discrete Mathematics and Its Applications (sixth edition) by Kenneth H. Rosen Discrete Mathematics by Ross and Wright

MAIN TOPICS 1. Logic 2. Sets & Operations on sets 3. Relations & Their Properties 4. Functions 5. Sequences & Series 6. Recurrence Relations 7. Mathematical Induction 8. Loop Invariants 9. Loop Invariants 10. Combinatorics 11. Probability 12. Graphs and Trees

Marks Distribution Two Sessional Exam 25% Assignments and Quizzes 25% Final Exam 50%

Contact

What is Discrete Mathematics? Discrete mathematics is the study of mathematical structures that are fundamentally discrete rather than continuous. In contrast to real numbers that have the property of varying "smoothly", the objects studied in discrete mathematics – such as integers, graphs, and statements in logic– do not vary smoothly in this way, but have distinct, separated values.

What is Discrete Mathematics? Discrete mathematics focuses on problems that are not over a continuous domain. For example, is it possible to visit 3 islands in a river with 6 bridges without crossing any bridge more than once? That is a discrete math problem (because there are a finite (fixed, discrete) number of bridges). Or, what is the smallest number of telephone lines needed to connect 200 cities? The numbers can be large and the logic can be complex, but these type of problems are different from finding an optimal value for a function where the domain can be 3, 3.14, , or any real value.

What is Discrete Mathematics? Discrete Mathematics concerns processes that consist of a sequence of individual steps.

Logic Logic is the study of the principles and methods that distinguishes between a valid and an invalid argument.

Statement

Examples

TRUTH VALUES of Propositions

Examples

Not Propositions

Rule

Example

Understanding Statements

Compound Statement

Symbolic Representation

Logical Connectives

Examples

Translating from English to Symbols

Negation (~)

Truth Table

Truth Table for

Conjunction (^)

Truth Table for

Disjunction (ᴠ)

Truth Table for

Summary