Introductory Material

Slides:



Advertisements
Similar presentations
Partial Orderings Section 8.6.
Advertisements

June 1, 2004Computer Security: Art and Science © Matt Bishop Slide #30-1 Chapter 30: Lattices Overview Definitions Lattices Examples.
CSCI 115 Chapter 6 Order Relations and Structures.
Chapter 7 Relations : the second time around
November 1, 2004Introduction to Computer Security ©2004 Matt Bishop Slide #27-1 Chapter 27: Lattices Overview Definitions Lattices Examples.
Denoting the beginning
Chapter 3 Review MATH130 Heidi Burgiel. Relation A relation R from X to Y is any subset of X x Y The matrix of a Relation R is a matrix that has a 1 in.
CSE115/ENGR160 Discrete Mathematics 05/03/11 Ming-Hsuan Yang UC Merced 1.
1 Relations: The Second Time Around Chapter 7 Equivalence Classes.
Orderings and Bounds Parallel FSM Decomposition Prof. K. J. Hintz Department of Electrical and Computer Engineering Lecture 10 Update and modified by Marek.
Section 7.6: Partial Orderings Def: A relation R on a set S is called a partial ordering (or partial order) if it is reflexive, antisymmetric, and transitive.
1 Partial Orderings Based on Slides by Chuck Allison from Rosen, Chapter 8.6 Modified by.
Partially Ordered Sets (POSets)
Lecture 9 Illustrations Lattices. Fixpoints Abstract Interpretation.
Relations Chapter 9.
Sets, POSets, and Lattice © Marcelo d’Amorim 2010.
Logics for Data and Knowledge Representation Introduction to Algebra Chiara Ghidini, Luciano Serafini, Fausto Giunchiglia and Vincenzo Maltese.
Ordered Sets. Relations. Equivalence Relations 1.
Discrete Structures – CNS2300
Discrete Math for CS Binary Relation: A binary relation between sets A and B is a subset of the Cartesian Product A x B. If A = B we say that the relation.
Relations, Functions, and Matrices Mathematical Structures for Computer Science Chapter 4 Copyright © 2006 W.H. Freeman & Co.MSCS Slides Relations, Functions.
CS 267: Automated Verification Lecture 3: Fixpoints and Temporal Properties Instructor: Tevfik Bultan.
1 IS 2150 / TEL 2810 Introduction to Security James Joshi Associate Professor, SIS Lecture 3 September 15, 2009 Mathematical Review Security Policies.
Sets, Relations, and Lattices
Sets and Subsets Set A set is a collection of well-defined objects (elements/members). The elements of the set are said to belong to (or be contained in)
Unit II Discrete Structures Relations and Functions SE (Comp.Engg.)
Chapter 8: Relations. 8.1 Relations and Their Properties Binary relations: Let A and B be any two sets. A binary relation R from A to B, written R : A.
RelationsCSCE 235, Spring Introduction A relation between elements of two sets is a subset of their Cartesian products (set of all ordered pairs.
Set Theory Concepts Set – A collection of “elements” (objects, members) denoted by upper case letters A, B, etc. elements are lower case brackets are used.
1 Equivalence relations Binary relations: –Let S1 and S2 be two sets, and R be a (binary relation) from S1 to S2 –Not every x in S1 and y in S2 have such.
ORDERED SETS. RELATIONS COSC-1321 Discrete Structures 1.
Relations Compare with function – Function: Set of ordered pairs where x’s don’t repeat x’s come from domain; y’s come from co-domain Purpose: to transform.
1 Partial Orderings Based on Slides by Chuck Allison from Rosen, Chapter 8.6 Modified by.
Advanced Digital Designs Jung H. Kim. Chapter 1. Sets, Relations, and Lattices.
1 CMSC 250 Discrete Structures CMSC 250 Lecture 41 May 7, 2008.
Binary Relation: A binary relation between sets A and B is a subset of the Cartesian Product A x B. If A = B we say that the relation is a relation on.
Relations Chapter 9 Copyright © McGraw-Hill Education. All rights reserved. No reproduction or distribution without the prior written consent of McGraw-Hill.
Equivalence Relations: Selected Exercises
Citra Noviyasari, S.Si, MT
Chapter 5 Relations and Operations
CHAPTER 2 Set Theory A B C.
Fixpoints and Reachability
CSE 2813 Discrete Structures
CSNB 143 Discrete Mathematical Structures
Equivalence Relations
8/25/2017 An introduction to Ditopological Texture spaces and Selection Principles Hafiz Ullah COMSATS Institute of Information Technology, Islamabad Pakistan.
Relations and Digraphs
Dr. Ameria Eldosoky Discrete mathematics
Cartesian product Given two sets A, B we define their Cartesian product is the set of all the pairs whose first element is in A and second in B. Note that.
IS 2150 / TEL 2810 Information Security & Privacy
Introductory Material
Computer Security: Art and Science
Discrete Math (2) Haiming Chen Associate Professor, PhD
IS 2150 / TEL 2810 Introduction to Security
Lecture 20: Dataflow Analysis Frameworks 11 Mar 02
MCS680: Foundations Of Computer Science
Computer Security: Art and Science, 2nd Edition
Formal Definition and Examples
Introduction to Computer Security
Background material.
Relations.
Equivalence relations
교환 학생 프로그램 내년 1월 중순부터 6월 초 현재 학부 2,3 학년?
Background material.
Equivalence Relations: Selected Exercises
IS 2150 / TEL 2810 Introduction to Security
Relations: The Second Time Around
Foundations of Discrete Mathematics
IS 2150 / TEL 2810 Information Security & Privacy
Section 3.2 More set operations.
Presentation transcript:

Introductory Material Review of Discrete Structures up to Lattices

Overview Sets Operations on Sets Cartesian Products and Relations Order relations Lower and upper bounds Lattices.

Sets Will not define set. However, everybody (I hope) knows what a set is. Described by listing the elements or a common property. Examples: Set of people in a room. {1,3,4,5,7} Set of animals in a zoo. {x:x is integer and 3x+5 is even} etc

Relations between sets Let A and B be two sets. If every element of A is an element of B we say that A is a subset of B and write A⊆B If A is a subset of B and B is a subset of A, then A=B There is a special set Ø which does not contain any elements. It is a subset of every set.

Operations on Sets Let A and B be two sets. The union or join of A and B, A∪B is the collection which contains all the elements from both A and B. Let A and B be two sets. The intersection or meet of A and B, A∩B is those elements which are in both A and B. It is perfectly OK for there not to be any; such sets are called disjoint. Let A and B be two sets. The set difference, A-B is the collection of those elements of A which are not in B.

Cartesian Product and Relations Let A, B be two sets. The Cartesian Product of A and B is a collection of all pairs where the first element in the couple belongs to A and the second to B. A×B = {(a,b), a ∈ A, b ∈ B} Of special interest is the case A=B. A relation on a set A is ANY subset R ⊆ A×B

Properties in Relations There are some relations that are more interesting than others, because they satisfy certain properties. For example: Reflexive: For all x in A, xRx. Transitive: For all x,y, z in A, if xRy and yRz, then xRz.

Order Relations A (partial) order relation is a relation which is reflexive, transitive, and antisymmetric: For any x,y in A if xRy and yRx then x=y. Examples: order between numbers, containment between sets, divisibility between positive numbers, etc. A set with a partial order is called a partially ordered set. A partial order which satisfies, for any a,b either aRb or bRa, is called total.

Lower and Upper Bounds Let A be a set with a partial order R. Given two elements a,b of A, a lower bound l of a and b is an element satisfying lRa and lRb. If among all the lower bounds of a and b there is one that is “bigger” than all the others, that element is called the greater lower bound of a and b. We can similarly define least upper bound. Sometimes, the glb is called the “meet” and the lub is called the join of the two elements.

Lattices A lattice is a partially ordered set in which any two elements have a glb and lub. A lattice is complete if every subset has a glb and an lub. Note that any finite lattice is complete.