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.

Size: px
Start display at page:

Download "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."

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 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 information

Automata and Languages

Automata 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 information

CS 455/555: Mathematical preliminaries

CS 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 information

cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska

cse303 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 information

Sets are one of the basic building blocks for the types of objects considered in discrete mathematics.

Sets 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 information

Section Summary. Relations and Functions Properties of Relations. Combining Relations

Section 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 information

BASIC MATHEMATICAL TECHNIQUES

BASIC 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 information

12 Algebraic Structure and Coding Theory

12 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 information

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Lecture 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 information

Set Theory. CSE 215, Foundations of Computer Science Stony Brook University

Set 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 information

CSCI3390-Lecture 6: An Undecidable Problem

CSCI3390-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 information

Discrete 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 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 information

ACS2: Decidability Decidability

ACS2: 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 information

Functions. Definition 1 Let A and B be sets. A relation between A and B is any subset of A B.

Functions. 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 information

CSE 20 DISCRETE MATH. Fall

CSE 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 information

CSC Discrete Math I, Spring Relations

CSC 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 information

12 Algebraic Structure and Coding Theory

12 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 information

Harvard 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 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 information

Definition: A binary relation R from a set A to a set B is a subset R A B. Example:

Definition: 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 information

Definition: 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.

Definition: 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 information

Theory of Computation

Theory 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 information

2.2 Lowenheim-Skolem-Tarski theorems

2.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 information

Lecture Notes: Selected Topics in Discrete Structures. Ulf Nilsson

Lecture 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 information

Discrete Mathematics. 2. Relations

Discrete 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 information

Automata Theory and Formal Grammars: Lecture 1

Automata 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 information

Notation Index. gcd(a, b) (greatest common divisor) NT-16

Notation 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 information

Relations, Functions, Binary Relations (Chapter 1, Sections 1.2, 1.3)

Relations, 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 information

Introduction to Kleene Algebras

Introduction 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 information

MATH 3300 Test 1. Name: Student Id:

MATH 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 information

Diskrete Mathematik Solution 6

Diskrete 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 information

Sets and Motivation for Boolean algebra

Sets 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 information

Discrete Mathematics for CS Spring 2007 Luca Trevisan Lecture 27

Discrete 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 information

Answer: 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.

Answer: 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 information

Mathematical Preliminaries. Sipser pages 1-28

Mathematical 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 information

Undecidability. Andreas Klappenecker. [based on slides by Prof. Welch]

Undecidability. 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 information

Chapter 1. Sets and Numbers

Chapter 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 information

Chapter 1. Sets and Mappings

Chapter 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 information

Discrete Mathematics. Benny George K. September 22, 2011

Discrete 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 information

Department 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) 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 information

Foundations of Mathematics

Foundations 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 information

Decision 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. 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 information

DEPARTMENT OF MATHEMATICS. MA1301 Discrete Mathematics

DEPARTMENT 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 information

Decidability (What, stuff is unsolvable?)

Decidability (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 information

Comment: The induction is always on some parameter, and the basis case is always an integer or set of integers.

Comment: 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 information

1 Showing Recognizability

1 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 information

0 Sets and Induction. Sets

0 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}

{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 information

CITS2211 Discrete Structures (2017) Cardinality and Countability

CITS2211 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 information

Chapter Summary. Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Computability

Chapter 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 information

Discrete Mathematics. W. Ethan Duckworth. Fall 2017, Loyola University Maryland

Discrete 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 information

Advanced Automata Theory 9 Automatic Structures in General

Advanced 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 information

CS 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 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 information

A Universal Turing Machine

A 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 information

Notes 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. 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 information

2.1 Sets. Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R.

2.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 information

Theory of Computation p.1/?? Theory of Computation p.2/?? We develop examples of languages that are decidable

Theory 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 information

Chapter 2 Sets, Relations and Functions

Chapter 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 information

Computational Theory

Computational 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 information

COMP9020 Lecture 3 Session 2, 2014 Sets, Functions, and Sequences. Revision: 1.3

COMP9020 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 information

CSE 311: Foundations of Computing. Lecture 26: Cardinality

CSE 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 information

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

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 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 information

REVIEW QUESTIONS. Chapter 1: Foundations: Sets, Logic, and Algorithms

REVIEW 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 information

Today 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) 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 information

Qualifying Exam Logic August 2005

Qualifying 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 information

Introduction to Proofs

Introduction 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 information

Monoids of languages, monoids of reflexive. relations and ordered monoids. Ganna Kudryavtseva. June 22, 2010

Monoids 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 information

Part II. Logic and Set Theory. Year

Part 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 information

Informal Statement Calculus

Informal 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 information

Introduction to Automata

Introduction 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 information

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

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 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 information

CSE 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 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 information

1 Alphabets and Languages

1 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 information

Relations. 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 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 information

CS Discrete Mathematics Dr. D. Manivannan (Mani)

CS 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 information

Chapter 1 : The language of mathematics.

Chapter 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 information

Applications of Regular Algebra to Language Theory Problems. Roland Backhouse February 2001

Applications 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 information

Economics 204 Fall 2011 Problem Set 1 Suggested Solutions

Economics 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 information

Relations. 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) 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 information

2MA105 Algebraic Structures I

2MA105 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 information

COMP9020 Lecture 3 Session 2, 2016 Sets, Functions, and Sequences. Revision: 1.3

COMP9020 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 information

FORMAL LANGUAGES, AUTOMATA AND COMPUTATION

FORMAL 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 information

CSE 1400 Applied Discrete Mathematics Definitions

CSE 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 information

THEORY OF COMPUTATION (AUBER) EXAM CRIB SHEET

THEORY 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 information

ECS 120 Lesson 18 Decidable Problems, the Halting Problem

ECS 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 information

Assignment #2 COMP 3200 Spring 2012 Prof. Stucki

Assignment #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 information

MaanavaN.Com MA1256 DISCRETE MATHEMATICS. DEPARTMENT OF MATHEMATICS QUESTION BANK Subject & Code : MA1256 DISCRETE MATHEMATICS

MaanavaN.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 information

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

MAT 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 information

4.2 The Halting Problem

4.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 information

Chapter Summary. Sets (2.1) Set Operations (2.2) Functions (2.3) Sequences and Summations (2.4) Cardinality of Sets (2.5) Matrices (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. 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

(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 information

CSCE 551: Chin-Tser Huang. University of South Carolina

CSCE 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 information

Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations

Mathematics 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 information

Any 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. 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 information

Chapter 2 - Basics Structures

Chapter 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 information

THEORY OF COMPUTATION

THEORY 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 information

CS2742 midterm test 2 study sheet. Boolean circuits: Predicate logic:

CS2742 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 information

Discrete Structures, Final Exam

Discrete 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 information

CS 125 Section #10 (Un)decidability and Probability November 1, 2016

CS 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 information

Math 564 Homework 1. Solutions.

Math 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 information

Math 105A HW 1 Solutions

Math 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