1.A Sets, Relations, Graphs, and Functions 1.A.1 Set a collection of objects(element) Let A be a set and a be an elements in A, then we write a A.
|
|
- Erika Edwards
- 6 years ago
- Views:
Transcription
1 1.A Sets, Relations, Graphs, and Functions 1.A.1 Set a collection of objects(element) Let A be a set and a be an elements in A, then we write a A. How to specify sets 1. to enumerate all of the elements 원소나열법 2. to state the properties that characterizes the elements. 조건제시법 A = {x p(x)} p(x) is a predicate p(x) is either true or false depending on x A = {x U p(x)} A U, U is the universe of discourse x U U is the type of x in A U x in C, Java p(x) attribute of x 3. automata, grammars, programs 8/28/17 Kwang-Moo Choe 1
2 Three cases for two sets A and B 1. subset A B or B A A - B = or B - A = A B = or B A = 2. disjoint A B = 3. in general(incomparable, neither subset nor disjoint) not(a B or B A) and not (A B = ) A \ B and B \ A and A B. A B and A B and A B. A B Venn diagram Truth table 2 n regions 2 n raws 8/28/17 Kwang-Moo Choe 2
3 1.A.2 Binary relation Cartecian product of two sets, A and B A B = {(a, b) a A, b B}. (a, b) A B: an ordered pair. A B = A B. Binary relation R from the set A(domain) to the set B(range). R A B. a A, b B, (a, b) R or a R b. R A B. Inverse of a relation R, R 1 = {(b, a) B A (a, b) R} Composition(Product) of two relations R and S where R A B and S B C. R S = {(a, c) (a, b) R, (b, c) S} Binary relation R on A R A A. Identity relation R on A id A = {(a, a) a A} R A A, R id A = id A R = R. 8/28/17 Kwang-Moo Choe 3
4 Repeated composition(product) of a binary relation R on A. Let R A A. We define R 2 = R R, R 3 = R R R, R n = R R R, iterative deinition for repeated product of binary relations R = R 1. Then we can define R n R m = R n+m, for ( n, m N), n, m 1. R 0 =? If we define R 0 = id A,. Then we can extend the definition R n R m = R n+m, for n, m 0. Another (recursive) definition for repeated product of binary relations R 0 = B id A. basis R n = R R R n-1, n 1. recursion ex) R 3 = R R R 2 = R R R R 1 = R R R R R 0 = B R R R id A = R R R 8/28/17 Kwang-Moo Choe 4
5 1.A.3 A directed graph G = (V, E) is V: a set of vertices, E V V: a set of edges, E: a binary relation on V Some properties of the binary relations 1) R is reflexive, if a A, a R a. id A R R is irreflexive, if a A, a \R a. 2) R is symmetric(=), if a R b impiles b R a. R = R 1 R id A = R is asymmetric(<), if a R b implies b \R a. R R 1 = R is antisymmetric( ), if a R b and a b implies b \R a. R R 1 id A R is asymmetric R is irreflexive. R is asymmetric R is antisymmetric. 3) R is transitive, if a R b and b R c implies a R c. R R R 8/28/17 Kwang-Moo Choe 5
6 Let P = {reflexive, symmetric, transitive}. Then R be P-closure of R, if i) R is P. ii) R R. iii) R is the smallest set among satisfying i) and ii). R satisfying i) and ii), R R. reflexive closure of R, R = R id A. symmetric closure of R, R = R R 1. transitive closure of R, R + = R 1 R 2 R 3 = i N 1 R i where N 1 = {1, 2, 3, }. reflexive-transitive closure of R, R * = R 0 R 1 R 2 R 3 = i N 0 R i where N 0 = {0, 1, 2, }. What is the reflexive (, symmetric) and transitive closure of R in a graph (A, R)? 8/28/17 Kwang-Moo Choe 6
7 Partition of a set A. Let A be a set and A 1, A 2,, A n A. Then we define partition of a, as Par(A) = {A 1, A 2,, A n } is called a partition of A, written Par(A), if 1) i {1, 2,, n} A i = A exhaustive 2) 1 i j n: A i A j =. (pairwise) disjoint Par(A) is the size of the partioion. Ex. Consider A = {a 1, a 2,, a n }. What are Par(A) s? Cover of a set A. Cover(A) = {A 1, A 2,, A n } where if i {1, 2,, n} A i = A exhaustive Power set of a set A, 2 A = P(A) = {B B A} B A B 2 A. 2 A = 2 A. par(a) 2 A. 8/28/17 Kwang-Moo Choe 7
8 A binary relation R on A is equivalence, if R is reflexive, symmetric, and transitive. Par(A) partition of A A binary relation R on A is ((ir)reflexive) partial order, if R is (ir)reflexive, antisymmetric, and transitive. A: partially-ordered set(poset) Let R A A be an equivalence, [a] R = {b A a R b} equivalence class, {[a] R a A} equivalence partition. a set of equivalence classes. a A [a] R = A, exhaustive if a R b, [a] R = [b] R. same equivalent class if a \R b. [a] R [b] R =. (pairwise) disjoint 8/28/17 Kwang-Moo Choe 8
9 Let be a partial order(relation) on A. A A Then (A, ) is called as partially ordered set or poset for short. Let (A, ) be a poset. We define two binary operators on A, ub, lb: A A 2 A ub(a, b) = {c A a c, b c} upper bound( 배수 ) lb(a, b) = {c A c a, c b} lower bound( 약수 ) If a unique lub( ) and a unique glb( ),, : A A A. (A, ) is called as a lattice and a b = min(ub(a, b)) least upper bound( 최소공배수 ) a b = max(lb(a, b)) greatest lower bound( 최대공약수 ) (A,, ) is called an algebra induced by the lattice (A, ). (N, lcm, gcd) is an algebra induced by a lattice (N, ). Boolean algebra, ({f, t},, ), is induced by the lattice ({f, t}, {f t}). Singleton set algebra, (2 {a},, ), is isomorphic to the boolean algebra, ({f, t},, ) with respect to bijection f. 8/28/17 Kwang-Moo Choe 9
10 CS204 TP of Chap. 13(12) boolean algebra p15 Fig. A A -bit string algebra ({0, 1} A,, ) induced by ({0, 1} A, ) is isomorphic to the set algebra (2 A,, ) induced by the lattice (2 A, /28/17 Kwang-Moo Choe 10
11 1.A.4 Algebraic system, semi-group and monoid Let A be a set and be a binary operation on A. : A A A. 1. (A, ) is an algebraic system. if a, b A, a b A closed 2. (A, ) is a semi-group. if a, b, c A, a (b c) = (a b) c a 1 + a a n = + i {1, 2,..., n} a i. binary operation n-ary operation associative indexed set notation 3. (A,, e) is a monoid. if e A. a A, e a = a e = a (A,, e) is called as a monoid. identity 8/28/17 Kwang-Moo Choe 11
12 Let (A,, e) and (B,, ) be two monoids. If i) h: A B is a onto function, A B ii) h(a b) = h(a) h(b), and preserve operation iii) h(e) =. preserve identity Then h is called a homomorphism, and the monoid (B,, ) is called a homomorphic to the monoid (A,, e) w.r.t. h. (A,, e) is called concretization of (B,, ) and (B,, ) is called abstract interpretation of (A,, e). If h is one-to-one and onto, h is called isomorphism. 8/28/17 Kwang-Moo Choe 12
13 1.A.5 A binary relation from A to B is a function from A to B, if 1) a A, (a, b) f, total 2) a A, 1(a, b) f. unique f: A B (a, b) f or a f b or f(a) = b or f a = b. Three faces of a binary relation i) R A B. (a, b) R. i) a set of (ordered) pairs ii) R: A B {false, true}. a R b, iff (a, b) R. ii) a relational operator(, =, ) iii) R: A 2 B. R(a) = {b 1, b 2,, b n }, iff (a, b 1 ), (a, b 2 ),, (a, b n ) R. a A, 1{b 1, b 2,, b n } B or 1{b 1, b 2,, b n } 2 B. R: A 2 B. iii) a set valued function 8/28/17 Kwang-Moo Choe 13
14 Let f: A B. Is f 1 : B A a function? No!!! Function f: A B is onto(surjection; correspondence), if b B, a A.. f(a) = b. A B If f is onto, f 1 is total but not unique function. Function f: A B is one-to-one(injection, 1-1), if a 1, a 2 A, a 1 a 2 implies f(a 1 ) f(a 2 ). if b B.. f(a) = b, 1a A. A B If f is 1-1, f 1 is unique but not total function. Function f: A B is bijective, if f is both 1-1 and onto(1-1 correpondence). b B, if 1a A.. f(a) = b.. A = B If f is 1-1 onto, f 1 is both total and unique, so is a function. 8/28/17 Kwang-Moo Choe 14
15 1.B Set isomorphism and infinite sets If there exists a bijection( 짝짓기, 1-1 onto) f from A to B, two sets A and B have same cardinality, written A = B, and two sets A and B are said to be isomorphic w.r.t. f, written A f B. A set is said to be countable(enumerable), if it has the same cardinality with a subset of N, either finite or infinite and uncountable(uncountably infinite), otherwise. A set is countably infinite, if it has the same cardinality with N. the cardinality of N is denoted as, N =. Let A be countable. Then we can enumerate the set in numeric order. A = {a 0, a 1,, a n } finite for some n 0. A = {a 0, a 1, } countably infinite(enumerable) 8/28/17 Kwang-Moo Choe 15
16 Consider N 1 = {1, 2, 3, }, N 0 = {0, 1, 2, } N 1 = N 0 =,but N 1 N 0. E = {e N e = 2i, i N} E = N =, but E N. I = N {-i i N} I = N =, but N I. Q = N N Q = N =. enumerate (i, j) N N in (natural) numeric order N N = {(0, 0), (1, 0), (0, 1), (2, 0), (1, 1), (0, 2), (3, 0), (2, 1), } f(i, j) = (i+j) + j f(0, 0) = 0 = (i+j)(i+j+1)/2 + j f: N N N is 1-1 and onto Consider f 1 : N N N which is also 1-1 and onto. N N = N =. 8/28/17 Kwang-Moo Choe 16
17 Fact * =. Proof Lexicographical order for *. in the order of size and if same size, in alphabetic order. Let = k. Then we can alphabetic order = {a 1, a 2, a k }, and we can order x * in lexicographical order as follows. * ={( ), (a 1, a 2,, a k ), (a 1 a 1, a 1 a 2,, a 1 a k, a 2 a 1,, a k a k ), (a 1 a 1 a 1, } If x = b 1 b 2 b n *, f: * N is as follows; f(x) = k 0 + k 1 + k n- 1 + b 1 k n-1 + b 2 k n b n k 0 = (k n - 1)/(k-1) + b 1 k n-1 + b 2 k n b n k 0. What is f 1? We enumerate x = a 1 a 2 a n * in numeric order f: * N is one-to-one onto. Q.E.D. 8/28/17 Kwang-Moo Choe 17
18 Consider {0, 1} N : infinite binary strings (See pp.12) and 2 N : power set of natural numbers (Note that 2 A = {B B A} Power set of integers and infinite binary strings are isomorphic. j 2 N b ij = 1 for (b i0, b i1, b ii, ) {0, 1} N where b ij {0, 1}. N 2 N f {0, 1} N. Cantor s diagonal argument Assume {0, 1} N is countable. We can enumerate {0, 1} N, infinite binary string, in numeric order, b 0 = (b 00, b 01,, b 0n, ) b 1 = (b 10, b 11,, b 1n, ) b n = (b 1n, b 1n,, b nn, ) 8/28/17 Kwang-Moo Choe 18
19 Consider b = (b 00, b 11,, b nn, ) (diagonal elements) and b = (b 00, b 11,, b nn, ) where b ii = 0, if b ii = 1; b ii = 1, if b ii = 0. complement of diagonal elements Then b = b i for some i N but b b i for any i N. But b, b {0, 1} N! The assumption {0, 1} N = {b 0, b 1,, b n, } was wrong. Contradiction!!! We fail to enumerate {0, 1} N = {b 0, b 1,, b n, } in numeric order. We conclude that {0, 1} N {b 0, b 1,, b n, } =. {0, 1} N and 2 N are uncountable. Infinite binary strings and power set of integers are uncountable. 8/28/17 Kwang-Moo Choe 19
20 {0, 1} * vs {0, 1} N. {0, 1} * : countably infinite union of finite binary strings = {0, 1} 0 {0, 1} 1 {0, 1} 2 {0, 1} 3 = { } {0, 1} {00, 01, 10, 11} {000,, 111} = {, 0, 1, 00, 01, 10, 11, 000,, 111, } {0, 1} N : uncountaby infinite union of infinite binary strings = { , {} , {0} , {1}, ,, } {0, 1} N = 2 N > {0, 1} * =. {0, 2,, n, } {0, 1, 2, } = N 8/28/17 Kwang-Moo Choe 20
21 Cantor s diagonal argument Complement of diagonal element Russel s paradox S = {x x x} x S, iff x x. But S S, iff S S. contradictory! Halting problem H(P): if halt(p, P) then loop forever elses not halt(p, P) then stop fi What happens if H(H) stops or loops forever? Denial of self recursion * is countable. But is 2 * uncountable. class of languages N. Chomsky strings are countable languages are uncountable 8/28/17 Kwang-Moo Choe 21
22 Finite(countable) Countably infinite natural numbers, integers, rational numbers, finite strings Uncountable Cantor s diagonal argument power set of natural numbers infinite strings real numbers Some informal descriptions on countable and uncountable infiniteness k = k = countable = k = countable But k k = k uncountable(k 2) 8/28/17 Kwang-Moo Choe 22
23 1.C Symbol, vocabulary, string and language Let be a set of symbols ( 문자 ) called as a vocabulary( 어휘 or alphabet) of a language. We define a string x over, whose length is n, is defined as x = a 1 a 2 a n where 1 i n: a i. and we write x = n. A string( 문자열 ) is a sequence of symbols. Example = {a, b,..., z} English alphabet x = school y = boy x = 6 y = 3. Concatenation( ) of two strings x = a 1 a 2 a n and y = b 1 b 2 b m. x y = a 1 a 2 a n b 1 b 2 b m = xy justaxaposed Example x y = xy = schoolboy xy = 9. 8/28/17 Kwang-Moo Choe 23
24 We define concatenation of two strings as : * * * a binary operation on strings (1) x, y *, xy *. closed (2) x, y *, xy yx noncommutative (3) x, y, z *, x(yz) = (xy)z associative (4) We define an empty string denoted as (or ) as an identity element w.r.t. the concatene operation. i.e. x *, x = x = x where = 0. Then ( *,, ) is a noncommutative monoid. We can extend the domain and range of the concatenation from set of strings to the set of languages(set of set of strings) : 2 * 2 * 2 *. Then (2 *,, { }) is a (n induced) noncommutative monoid. 8/28/17 Kwang-Moo Choe 24
25 Four terminologies on the formal language theory(flt). element set symbol( 문자 ) vocabulary( 어휘 ) a, b, c sequence( 열 ) string( 문자열 ) language( 언어 ) x, y, z * L, S, T * Power of an alphabet revisited 0 = B { } basis n = R n-1 for n 1 recursion L, S, T 2 * n = n. * = i N i = { } = 0 i N i = /28/17 Kwang-Moo Choe 25
26 Let B A = {f f: A B}. Then B A = B A. Consider n = {1, 2,, n} = {f f: {1, 2,..., n} } Example x: {1, 2,..., 6} {a, b,..., z} and y: {1, 2, 3} {a, b,..., z} x = school 6 where x(1)=s, x(2)=c,..., x(6)=l; or x = (s, c, h, o, o, l) y = boy = (b, o, y) 3 where y(1) = b, y(2) = o, y(3) = y. strings and functions are isomorphic! + = = i N 1 i where N 1 = {1, 2, 3, }. * = = i N 0 i where N 0 = {0, 1, 2, }. * is a universe of strings including identity( ) ( *,, ) is a (free) monoid over. (unique representation) 2 * is a universe of languages (2 *,, { })is a (free) induced monoid over. 8/28/17 Kwang-Moo Choe 26
27 Reversal, prefix and suffix of strings Let x = a 1 a 2 a n be a string of length n 0 and k 0. x R = a n a n-1 a 2 a 1. reversal of x. recursive definition of reversal of x *. R = B. Let a and x *. Then (ax) R = R x R a. Ex. abc R = R bc R a = R c R ba = R R cba = B cba = cba. Prefix and suffix of a string. For k N, k:x = a 1 a 2 a k, if k n; prefix of x with length k. = x, otherwise. x:k = (k:x R ) R. suffix of x with length k. Ex. 3:school = sch, boy:2 = oy, boy:5 = boy. For k 0: k:, :k: * k = { } 2... k. 8/28/17 Kwang-Moo Choe 27
14 Uncountable Sets(Denial of Self Recursion)
14 Uncountable Sets(Denial of Self Recursion) 14.1 Countable sets Def. 1 Two sets A and B are isomorphic with respect to the bijective function f, iff a bijection f: A B, written A f B or for shorta B.
More informationAutomata and Languages
Automata and Languages Prof. Mohamed Hamada Software Engineering Lab. The University of Aizu Japan Mathematical Background Mathematical Background Sets Relations Functions Graphs Proof techniques Sets
More informationCS 455/555: Mathematical preliminaries
CS 455/555: Mathematical preliminaries Stefan D. Bruda Winter 2019 SETS AND RELATIONS Sets: Operations: intersection, union, difference, Cartesian product Big, powerset (2 A ) Partition (π 2 A, π, i j
More informationcse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska
cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska LECTURE 1 Course Web Page www3.cs.stonybrook.edu/ cse303 The webpage contains: lectures notes slides; very detailed solutions to
More informationSets are one of the basic building blocks for the types of objects considered in discrete mathematics.
Section 2.1 Introduction Sets are one of the basic building blocks for the types of objects considered in discrete mathematics. Important for counting. Programming languages have set operations. Set theory
More informationSection Summary. Relations and Functions Properties of Relations. Combining Relations
Chapter 9 Chapter Summary Relations and Their Properties n-ary Relations and Their Applications (not currently included in overheads) Representing Relations Closures of Relations (not currently included
More informationBASIC MATHEMATICAL TECHNIQUES
CHAPTER 1 ASIC MATHEMATICAL TECHNIQUES 1.1 Introduction To understand automata theory, one must have a strong foundation about discrete mathematics. Discrete mathematics is a branch of mathematics dealing
More information12 Algebraic Structure and Coding Theory
12.1 The Structure of Algebra Def 1 Let S be a set and be a binary operation on S( : S S S). 2. The operation is associative over S, if a (b c) = (a b) c. 1. The operation is commutative over S, if a b
More informationLecture Notes 1 Basic Concepts of Mathematics MATH 352
Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Ivan Avramidi New Mexico Institute of Mining and Technology Socorro, NM 87801 June 3, 2004 Author: Ivan Avramidi; File: absmath.tex; Date: June 11,
More informationSet Theory. CSE 215, Foundations of Computer Science Stony Brook University
Set Theory CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.edu/~cse215 Set theory Abstract set theory is one of the foundations of mathematical thought Most mathematical
More informationCSCI3390-Lecture 6: An Undecidable Problem
CSCI3390-Lecture 6: An Undecidable Problem September 21, 2018 1 Summary The language L T M recognized by the universal Turing machine is not decidable. Thus there is no algorithm that determines, yes or
More informationDiscrete Mathematics: Lectures 6 and 7 Sets, Relations, Functions and Counting Instructor: Arijit Bishnu Date: August 4 and 6, 2009
Discrete Mathematics: Lectures 6 and 7 Sets, Relations, Functions and Counting Instructor: Arijit Bishnu Date: August 4 and 6, 2009 Our main goal is here is to do counting using functions. For that, we
More informationACS2: Decidability Decidability
Decidability Bernhard Nebel and Christian Becker-Asano 1 Overview An investigation into the solvable/decidable Decidable languages The halting problem (undecidable) 2 Decidable problems? Acceptance problem
More informationFunctions. Definition 1 Let A and B be sets. A relation between A and B is any subset of A B.
Chapter 4 Functions Definition 1 Let A and B be sets. A relation between A and B is any subset of A B. Definition 2 Let A and B be sets. A function from A to B is a relation f between A and B such that
More informationCSE 20 DISCRETE MATH. Fall
CSE 20 DISCRETE MATH Fall 2017 http://cseweb.ucsd.edu/classes/fa17/cse20-ab/ Today's learning goals Define and compute the cardinality of a set. Use functions to compare the sizes of sets. Classify sets
More informationCSC Discrete Math I, Spring Relations
CSC 125 - Discrete Math I, Spring 2017 Relations Binary Relations Definition: A binary relation R from a set A to a set B is a subset of A B Note that a relation is more general than a function Example:
More information12 Algebraic Structure and Coding Theory
12.1 The Structure of Algebra Def 1 Let S be a set and be a binary operation on S( : S S S). 2. The operation is associative over S, if a (b c) = (a b) c. 1. The operation is commutative over S, if a b
More informationHarvard CS 121 and CSCI E-207 Lecture 6: Regular Languages and Countability
Harvard CS 121 and CSCI E-207 Lecture 6: Regular Languages and Countability Salil Vadhan September 20, 2012 Reading: Sipser, 1.3 and The Diagonalization Method, pages 174 178 (from just before Definition
More informationDefinition: A binary relation R from a set A to a set B is a subset R A B. Example:
Chapter 9 1 Binary Relations Definition: A binary relation R from a set A to a set B is a subset R A B. Example: Let A = {0,1,2} and B = {a,b} {(0, a), (0, b), (1,a), (2, b)} is a relation from A to B.
More informationDefinition: Let S and T be sets. A binary relation on SxT is any subset of SxT. A binary relation on S is any subset of SxS.
4 Functions Before studying functions we will first quickly define a more general idea, namely the notion of a relation. A function turns out to be a special type of relation. Definition: Let S and T be
More informationTheory of Computation
Thomas Zeugmann Hokkaido University Laboratory for Algorithmics http://www-alg.ist.hokudai.ac.jp/ thomas/toc/ Lecture 1: Introducing Formal Languages Motivation I This course is about the study of a fascinating
More information2.2 Lowenheim-Skolem-Tarski theorems
Logic SEP: Day 1 July 15, 2013 1 Some references Syllabus: http://www.math.wisc.edu/graduate/guide-qe Previous years qualifying exams: http://www.math.wisc.edu/ miller/old/qual/index.html Miller s Moore
More informationLecture Notes: Selected Topics in Discrete Structures. Ulf Nilsson
Lecture Notes: Selected Topics in Discrete Structures Ulf Nilsson Dept of Computer and Information Science Linköping University 581 83 Linköping, Sweden ulfni@ida.liu.se 2004-03-09 Contents Chapter 1.
More informationDiscrete Mathematics. 2. Relations
Discrete Mathematics 2. Relations Binary Relations Let A, B be any two sets. A binary relation R from A to B is a subset of A B. E.g., Let < : N N : {(n,m) n < m} The notation a R b or arb means (a,b)îr.
More informationAutomata Theory and Formal Grammars: Lecture 1
Automata Theory and Formal Grammars: Lecture 1 Sets, Languages, Logic Automata Theory and Formal Grammars: Lecture 1 p.1/72 Sets, Languages, Logic Today Course Overview Administrivia Sets Theory (Review?)
More informationNotation Index. gcd(a, b) (greatest common divisor) NT-16
Notation Index (for all) B A (all functions) B A = B A (all functions) SF-18 (n) k (falling factorial) SF-9 a R b (binary relation) C(n,k) = n! k! (n k)! (binomial coefficient) SF-9 n! (n factorial) SF-9
More informationRelations, Functions, Binary Relations (Chapter 1, Sections 1.2, 1.3)
Relations, Functions, Binary Relations (Chapter 1, Sections 1.2, 1.3) CmSc 365 Theory of Computation 1. Relations Definition: Let A and B be two sets. A relation R from A to B is any set of ordered pairs
More informationIntroduction to Kleene Algebras
Introduction to Kleene Algebras Riccardo Pucella Basic Notions Seminar December 1, 2005 Introduction to Kleene Algebras p.1 Idempotent Semirings An idempotent semiring is a structure S = (S, +,, 1, 0)
More informationMATH 3300 Test 1. Name: Student Id:
Name: Student Id: There are nine problems (check that you have 9 pages). Solutions are expected to be short. In the case of proofs, one or two short paragraphs should be the average length. Write your
More informationDiskrete Mathematik Solution 6
ETH Zürich, D-INFK HS 2018, 30. October 2018 Prof. Ueli Maurer Marta Mularczyk Diskrete Mathematik Solution 6 6.1 Partial Order Relations a) i) 11 and 12 are incomparable, since 11 12 and 12 11. ii) 4
More informationSets and Motivation for Boolean algebra
SET THEORY Basic concepts Notations Subset Algebra of sets The power set Ordered pairs and Cartesian product Relations on sets Types of relations and their properties Relational matrix and the graph of
More informationDiscrete Mathematics for CS Spring 2007 Luca Trevisan Lecture 27
CS 70 Discrete Mathematics for CS Spring 007 Luca Trevisan Lecture 7 Infinity and Countability Consider a function f that maps elements of a set A (called the domain of f ) to elements of set B (called
More informationAnswer: A. Answer: C. 3. If (G,.) is a group such that a2 = e, a G, then G is A. abelian group B. non-abelian group C. semi group D.
1. The set of all real numbers under the usual multiplication operation is not a group since A. zero has no inverse B. identity element does not exist C. multiplication is not associative D. multiplication
More informationMathematical Preliminaries. Sipser pages 1-28
Mathematical Preliminaries Sipser pages 1-28 Mathematical Preliminaries This course is about the fundamental capabilities and limitations of computers. It has 3 parts 1. Automata Models of computation
More informationUndecidability. Andreas Klappenecker. [based on slides by Prof. Welch]
Undecidability Andreas Klappenecker [based on slides by Prof. Welch] 1 Sources Theory of Computing, A Gentle Introduction, by E. Kinber and C. Smith, Prentice-Hall, 2001 Automata Theory, Languages and
More informationChapter 1. Sets and Numbers
Chapter 1. Sets and Numbers 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write
More informationChapter 1. Sets and Mappings
Chapter 1. Sets and Mappings 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write
More informationDiscrete Mathematics. Benny George K. September 22, 2011
Discrete Mathematics Benny George K Department of Computer Science and Engineering Indian Institute of Technology Guwahati ben@iitg.ernet.in September 22, 2011 Set Theory Elementary Concepts Let A and
More informationDepartment of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination II (Fall 2007)
Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination II (Fall 2007) Problem 1: Specify two different predicates P (x) and
More informationFoundations of Mathematics
Foundations of Mathematics L. Pedro Poitevin 1. Preliminaries 1.1. Sets We will naively think of a set as a collection of mathematical objects, called its elements or members. To indicate that an object
More informationDecision Problems with TM s. Lecture 31: Halting Problem. Universe of discourse. Semi-decidable. Look at following sets: CSCI 81 Spring, 2012
Decision Problems with TM s Look at following sets: Lecture 31: Halting Problem CSCI 81 Spring, 2012 Kim Bruce A TM = { M,w M is a TM and w L(M)} H TM = { M,w M is a TM which halts on input w} TOTAL TM
More informationDEPARTMENT OF MATHEMATICS. MA1301 Discrete Mathematics
SHRI ANGALAMMAN COLLEGE OF ENGINEERING AND TECHNOLOGY (An ISO 9001:2000 Certified Institution) SIRUGANOOR, TIRUCHIRAPPALLI 621 105 DEPARTMENT OF MATHEMATICS MA1301 Discrete Mathematics UNIT-I PART-A 1.Give
More informationDecidability (What, stuff is unsolvable?)
University of Georgia Fall 2014 Outline Decidability Decidable Problems for Regular Languages Decidable Problems for Context Free Languages The Halting Problem Countable and Uncountable Sets Diagonalization
More informationComment: The induction is always on some parameter, and the basis case is always an integer or set of integers.
1. For each of the following statements indicate whether it is true or false. For the false ones (if any), provide a counter example. For the true ones (if any) give a proof outline. (a) Union of two non-regular
More information1 Showing Recognizability
CSCC63 Worksheet Recognizability and Decidability 1 1 Showing Recognizability 1.1 An Example - take 1 Let Σ be an alphabet. L = { M M is a T M and L(M) }, i.e., that M accepts some string from Σ. Prove
More information0 Sets and Induction. Sets
0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set
More information{a, b, c} {a, b} {a, c} {b, c} {a}
Section 4.3 Order Relations A binary relation is an partial order if it transitive and antisymmetric. If R is a partial order over the set S, we also say, S is a partially ordered set or S is a poset.
More informationCITS2211 Discrete Structures (2017) Cardinality and Countability
CITS2211 Discrete Structures (2017) Cardinality and Countability Highlights What is cardinality? Is it the same as size? Types of cardinality and infinite sets Reading Sections 45 and 81 84 of Mathematics
More informationChapter Summary. Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Computability
Chapter 2 1 Chapter Summary Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Computability Sequences and Summations Types of Sequences Summation
More informationDiscrete Mathematics. W. Ethan Duckworth. Fall 2017, Loyola University Maryland
Discrete Mathematics W. Ethan Duckworth Fall 2017, Loyola University Maryland Contents 1 Introduction 4 1.1 Statements......................................... 4 1.2 Constructing Direct Proofs................................
More informationAdvanced Automata Theory 9 Automatic Structures in General
Advanced Automata Theory 9 Automatic Structures in General Frank Stephan Department of Computer Science Department of Mathematics National University of Singapore fstephan@comp.nus.edu.sg Advanced Automata
More informationCS 514, Mathematics for Computer Science Mid-semester Exam, Autumn 2017 Department of Computer Science and Engineering IIT Guwahati
CS 514, Mathematics for Computer Science Mid-semester Exam, Autumn 2017 Department of Computer Science and Engineering IIT Guwahati Important 1. No questions about the paper will be entertained during
More informationA Universal Turing Machine
A Universal Turing Machine A limitation of Turing Machines: Turing Machines are hardwired they execute only one program Real Computers are re-programmable Solution: Universal Turing Machine Attributes:
More informationNotes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.
Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Chapter : Logic Topics:. Statements, Negation, and Compound Statements.2 Truth Tables and Logical Equivalences.3
More information2.1 Sets. Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R.
2. Basic Structures 2.1 Sets Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R. Definition 2 Objects in a set are called elements or members of the set. A set is
More informationTheory of Computation p.1/?? Theory of Computation p.2/?? We develop examples of languages that are decidable
Decidable Languages We use languages to represent various computational problems because we have a terminology for dealing with languages Definition: A language is decidable if there is an algorithm (i.e.
More informationChapter 2 Sets, Relations and Functions
Chapter 2 Sets, Relations and Functions Key Topics Sets Set Operations Russell s Paradox Relations Composition of Relations Reflexive, Symmetric and Transitive Relations Functions Partial and Total Functions
More informationComputational Theory
Computational Theory Finite Automata and Regular Languages Curtis Larsen Dixie State University Computing and Design Fall 2018 Adapted from notes by Russ Ross Adapted from notes by Harry Lewis Curtis Larsen
More informationCOMP9020 Lecture 3 Session 2, 2014 Sets, Functions, and Sequences. Revision: 1.3
1 COMP9020 Lecture 3 Session 2, 2014 Sets, Functions, and Sequences Revision: 1.3 2 Notation for Numbers Definition Integers Z = {... 2, 1, 0, 1, 2,...} Reals R. : R Z floor of x, the greatest integer
More informationCSE 311: Foundations of Computing. Lecture 26: Cardinality
CSE 311: Foundations of Computing Lecture 26: Cardinality Cardinality and Computability Computers as we know them grew out of a desire to avoid bugs in mathematical reasoning A brief history of reasoning
More informationNORTHERN INDIA ENGINEERING COLLEGE, LKO D E P A R T M E N T O F M A T H E M A T I C S. B.TECH IIIrd SEMESTER QUESTION BANK ACADEMIC SESSION
NORTHERN INDIA ENGINEERING COLLEGE, LKO D E P A R T M E N T O F M A T H E M A T I C S B.TECH IIIrd SEMESTER QUESTION BANK ACADEMIC SESSION 011-1 DISCRETE MATHEMATICS (EOE 038) 1. UNIT I (SET, RELATION,
More informationREVIEW QUESTIONS. Chapter 1: Foundations: Sets, Logic, and Algorithms
REVIEW QUESTIONS Chapter 1: Foundations: Sets, Logic, and Algorithms 1. Why can t a Venn diagram be used to prove a statement about sets? 2. Suppose S is a set with n elements. Explain why the power set
More informationToday s topics. Introduction to Set Theory ( 1.6) Naïve set theory. Basic notations for sets
Today s topics Introduction to Set Theory ( 1.6) Sets Definitions Operations Proving Set Identities Reading: Sections 1.6-1.7 Upcoming Functions A set is a new type of structure, representing an unordered
More informationQualifying Exam Logic August 2005
Instructions: Qualifying Exam Logic August 2005 If you signed up for Computability Theory, do two E and two C problems. If you signed up for Model Theory, do two E and two M problems. If you signed up
More informationIntroduction to Proofs
Introduction to Proofs Notes by Dr. Lynne H. Walling and Dr. Steffi Zegowitz September 018 The Introduction to Proofs course is organised into the following nine sections. 1. Introduction: sets and functions
More informationMonoids of languages, monoids of reflexive. relations and ordered monoids. Ganna Kudryavtseva. June 22, 2010
June 22, 2010 J -trivial A monoid S is called J -trivial if the Green s relation J on it is the trivial relation, that is aj b implies a = b for any a, b S, or, equivalently all J -classes of S are one-element.
More informationPart II. Logic and Set Theory. Year
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 60 Paper 4, Section II 16G State and prove the ǫ-recursion Theorem. [You may assume the Principle of ǫ- Induction.]
More informationInformal Statement Calculus
FOUNDATIONS OF MATHEMATICS Branches of Logic 1. Theory of Computations (i.e. Recursion Theory). 2. Proof Theory. 3. Model Theory. 4. Set Theory. Informal Statement Calculus STATEMENTS AND CONNECTIVES Example
More informationIntroduction to Automata
Introduction to Automata Seungjin Choi Department of Computer Science and Engineering Pohang University of Science and Technology 77 Cheongam-ro, Nam-gu, Pohang 37673, Korea seungjin@postech.ac.kr 1 /
More informationSets. We discuss an informal (naive) set theory as needed in Computer Science. It was introduced by G. Cantor in the second half of the nineteenth
Sets We discuss an informal (naive) set theory as needed in Computer Science. It was introduced by G. Cantor in the second half of the nineteenth century. Most students have seen sets before. This is intended
More informationCSE 311: Foundations of Computing I Autumn 2014 Practice Final: Section X. Closed book, closed notes, no cell phones, no calculators.
CSE 311: Foundations of Computing I Autumn 014 Practice Final: Section X YY ZZ Name: UW ID: Instructions: Closed book, closed notes, no cell phones, no calculators. You have 110 minutes to complete the
More information1 Alphabets and Languages
1 Alphabets and Languages Look at handout 1 (inference rules for sets) and use the rules on some examples like {a} {{a}} {a} {a, b}, {a} {{a}}, {a} {{a}}, {a} {a, b}, a {{a}}, a {a, b}, a {{a}}, a {a,
More informationRelations. We have seen several types of abstract, mathematical objects, including propositions, predicates, sets, and ordered pairs and tuples.
Relations We have seen several types of abstract, mathematical objects, including propositions, predicates, sets, and ordered pairs and tuples. Relations use ordered tuples to represent relationships among
More informationCS Discrete Mathematics Dr. D. Manivannan (Mani)
CS 275 - Discrete Mathematics Dr. D. Manivannan (Mani) Department of Computer Science University of Kentucky Lexington, KY 40506 Course Website: www.cs.uky.edu/~manivann/cs275 Notes based on Discrete Mathematics
More informationChapter 1 : The language of mathematics.
MAT 200, Logic, Language and Proof, Fall 2015 Summary Chapter 1 : The language of mathematics. Definition. A proposition is a sentence which is either true or false. Truth table for the connective or :
More informationApplications of Regular Algebra to Language Theory Problems. Roland Backhouse February 2001
1 Applications of Regular Algebra to Language Theory Problems Roland Backhouse February 2001 Introduction 2 Examples: Path-finding problems. Membership problem for context-free languages. Error repair.
More informationEconomics 204 Fall 2011 Problem Set 1 Suggested Solutions
Economics 204 Fall 2011 Problem Set 1 Suggested Solutions 1. Suppose k is a positive integer. Use induction to prove the following two statements. (a) For all n N 0, the inequality (k 2 + n)! k 2n holds.
More informationRelations. Relations of Sets N-ary Relations Relational Databases Binary Relation Properties Equivalence Relations. Reading (Epp s textbook)
Relations Relations of Sets N-ary Relations Relational Databases Binary Relation Properties Equivalence Relations Reading (Epp s textbook) 8.-8.3. Cartesian Products The symbol (a, b) denotes the ordered
More information2MA105 Algebraic Structures I
2MA105 Algebraic Structures I Per-Anders Svensson http://homepage.lnu.se/staff/psvmsi/2ma105.html Lecture 12 Partially Ordered Sets Lattices Bounded Lattices Distributive Lattices Complemented Lattices
More informationCOMP9020 Lecture 3 Session 2, 2016 Sets, Functions, and Sequences. Revision: 1.3
1 COMP9020 Lecture 3 Session 2, 2016 Sets, Functions, and Sequences Revision: 1.3 2 Divisibility Let m, n Z. m n means m is a divisor of n, defined by n = km for some k Z (Also stated as: n is divisible
More informationFORMAL LANGUAGES, AUTOMATA AND COMPUTATION
FORMAL LANGUAGES, AUTOMATA AND COMPUTATION DECIDABILITY ( LECTURE 15) SLIDES FOR 15-453 SPRING 2011 1 / 34 TURING MACHINES-SYNOPSIS The most general model of computation Computations of a TM are described
More informationCSE 1400 Applied Discrete Mathematics Definitions
CSE 1400 Applied Discrete Mathematics Definitions Department of Computer Sciences College of Engineering Florida Tech Fall 2011 Arithmetic 1 Alphabets, Strings, Languages, & Words 2 Number Systems 3 Machine
More informationTHEORY OF COMPUTATION (AUBER) EXAM CRIB SHEET
THEORY OF COMPUTATION (AUBER) EXAM CRIB SHEET Regular Languages and FA A language is a set of strings over a finite alphabet Σ. All languages are finite or countably infinite. The set of all languages
More informationECS 120 Lesson 18 Decidable Problems, the Halting Problem
ECS 120 Lesson 18 Decidable Problems, the Halting Problem Oliver Kreylos Friday, May 11th, 2001 In the last lecture, we had a look at a problem that we claimed was not solvable by an algorithm the problem
More informationAssignment #2 COMP 3200 Spring 2012 Prof. Stucki
Assignment #2 COMP 3200 Spring 2012 Prof. Stucki 1) Construct deterministic finite automata accepting each of the following languages. In (a)-(c) the alphabet is = {0,1}. In (d)-(e) the alphabet is ASCII
More informationMaanavaN.Com MA1256 DISCRETE MATHEMATICS. DEPARTMENT OF MATHEMATICS QUESTION BANK Subject & Code : MA1256 DISCRETE MATHEMATICS
DEPARTMENT OF MATHEMATICS QUESTION BANK Subject & Code : UNIT I PROPOSITIONAL CALCULUS Part A ( Marks) Year / Sem : III / V. Write the negation of the following proposition. To enter into the country you
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More information4.2 The Halting Problem
172 4.2 The Halting Problem The technique of diagonalization was discovered in 1873 by Georg Cantor who was concerned with the problem of measuring the sizes of infinite sets For finite sets we can simply
More informationChapter Summary. Sets (2.1) Set Operations (2.2) Functions (2.3) Sequences and Summations (2.4) Cardinality of Sets (2.5) Matrices (2.
Chapter 2 Chapter Summary Sets (2.1) Set Operations (2.2) Functions (2.3) Sequences and Summations (2.4) Cardinality of Sets (2.5) Matrices (2.6) Section 2.1 Section Summary Definition of sets Describing
More information(Pre-)Algebras for Linguistics
1. Review of Preorders Linguistics 680: Formal Foundations Autumn 2010 (Pre-)Orders and Induced Equivalence A preorder on a set A is a binary relation ( less than or equivalent to ) on A which is reflexive
More informationCSCE 551: Chin-Tser Huang. University of South Carolina
CSCE 551: Theory of Computation Chin-Tser Huang huangct@cse.sc.edu University of South Carolina Church-Turing Thesis The definition of the algorithm came in the 1936 papers of Alonzo Church h and Alan
More informationMathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations
Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations D. R. Wilkins Academic Year 1996-7 1 Number Systems and Matrix Algebra Integers The whole numbers 0, ±1, ±2, ±3, ±4,...
More informationAny Wizard of Oz fans? Discrete Math Basics. Outline. Sets. Set Operations. Sets. Dorothy: How does one get to the Emerald City?
Any Wizard of Oz fans? Discrete Math Basics Dorothy: How does one get to the Emerald City? Glynda: It is always best to start at the beginning Outline Sets Relations Proofs Sets A set is a collection of
More informationChapter 2 - Basics Structures
Chapter 2 - Basics Structures 2.1 - Sets Definitions and Notation Definition 1 (Set). A set is an of. These are called the or of the set. We ll typically use uppercase letters to denote sets: S, A, B,...
More informationTHEORY OF COMPUTATION
THEORY OF COMPUTATION There are four sorts of men: He who knows not and knows not he knows not: he is a fool - shun him; He who knows not and knows he knows not: he is simple teach him; He who knows and
More informationCS2742 midterm test 2 study sheet. Boolean circuits: Predicate logic:
x NOT ~x x y AND x /\ y x y OR x \/ y Figure 1: Types of gates in a digital circuit. CS2742 midterm test 2 study sheet Boolean circuits: Boolean circuits is a generalization of Boolean formulas in which
More informationDiscrete Structures, Final Exam
Discrete Structures, Final Exam Monday, May 11, 2009 SOLUTIONS 1. (40 pts) Short answer. Put your answer in the box. No partial credit. [ ] 0 1 (a) If A = and B = 1 0 [ ] 0 0 1. 0 1 1 [ 0 1 1 0 0 1 ],
More informationCS 125 Section #10 (Un)decidability and Probability November 1, 2016
CS 125 Section #10 (Un)decidability and Probability November 1, 2016 1 Countability Recall that a set S is countable (either finite or countably infinite) if and only if there exists a surjective mapping
More informationMath 564 Homework 1. Solutions.
Math 564 Homework 1. Solutions. Problem 1. Prove Proposition 0.2.2. A guide to this problem: start with the open set S = (a, b), for example. First assume that a >, and show that the number a has the properties
More informationMath 105A HW 1 Solutions
Sect. 1.1.3: # 2, 3 (Page 7-8 Math 105A HW 1 Solutions 2(a ( Statement: Each positive integers has a unique prime factorization. n N: n = 1 or ( R N, p 1,..., p R P such that n = p 1 p R and ( n, R, S
More information