# Mathematical Preliminaries. Sipser pages 1-28

Save this PDF as:

Size: px
Start display at page:

## Transcription

1 Mathematical Preliminaries Sipser pages 1-28

2 Mathematical Preliminaries This course is about the fundamental capabilities and limitations of computers. It has 3 parts 1. Automata Models of computation These are data as well as programs 2. Computability Some things cannot be solved 3. Complexity what is the root of the hardness can a less than perfect solution suffice some are only hard i the worst case could randomized computation help? Cryptography, hard on purpose

3 What you should learn Understand the limits of computability Understand different models of computation, including deterministic and nondeterministic models Understand that particular models not only perform computation, but are data and can be analyzed and computed Have significant mastery of the techniques of reduction, diagonalization, and induction Demonstrate significant mastery of rigorous mathematical arguments

4 Sets Sets are collections in which order of elements and duplication of elements do not matter. {1,a,1,1} = {a,a,a,1} = {a,1} Notation for membership: 1 {3,4,5} Set-former notation: {x P(x) } is the set of all x which satisfy the property P. {x x N and 2 x 5 } {x N 2 x 5 } Often a universe is specified. Then all sets are assumed to be subsets of the universe (U ), and the notation {x P(x)} stands for {x U P(x) }

5 Operations on Sets empty set : Union: A B = {x x A or x B} Intersection: A B = {x x A and x B} Difference: A - B = {x x A and x B} Complement: A = U - A

6 Venn Diagrams A B U

7 Laws A A=A A B=B A A (B C) = (A B) C A (B C) = (A B) (A C) A B= A B A = A A A=A A B =B A A (B C)=(A B) C A (B C)=(A B) (A C) A B = A B A =

8 Subsets and Powerset A is a subset of B if all elements of A are elements of B as well. Notation: A B. The powerset P(A) is the set whose elements are all subsets of A: P(A) = {X X A }. Fact. If A has n elements, then P(A) has 2 n elements. In other words, P(A) = 2 A, where X denotes the number of elements (cardinality) of X.

9 Proving Equality and non-equality To show that two sets A and B are equal, you need to do two proofs: Assume x A and then prove x B Assume x B and then prove x A Example. Prove that P(A B) = P(A) P(B). To prove that two sets A and B are not equal, you need to produce a counterexample : an element x that belongs to one of the two sets, but does not belong to the other. Example. Prove that P(A B) P(A) P(B). Counterexample: A={1}, B={2}, X={1,2}. The set X belongs to P(A B), but it does not belong to P(A) P(B).

10 Functions and Relations Functions establish input-output relationships We write f(x) = y For every input there is exactly one output if f(x) =y and f(x)=z then y=z Well call the set of input for which f is valid the domain We call the set of possible output the range We write f: Domain Range Some functions take more than 1 argument F(x 1, x n ) = y We call n the arity of f The domain of a function with n inputs is an n-tuple

11 Into and Onto A function that maps some input to every one of the elements of the range is said to be onto. Forall y Exists x. F(x) = y A function is into if every element in the domain maps to some element of the range. This means f(x) is defined for every x in the domain The squareroot: Real -> Real is not into since squareroot(-3) is not defined

12 Relation An input output relationship where a single input can have more than 1 output is called a relation. Less(4) = {3,2,1,0} i.e. a set of results Because the output is not unique, we write this as Less(4,3), Less(4,2), Less(4,1), Less(4,0) we can think of this a set of tuples. {(4,3),(4,2),(4,1),(4,0)}

13 Relations as sets An n-ary relation is a set of n-tuples. Some relations are infinite What are some examples? We often use infix notation to denote binary relations 5 < 4, x S, (2+3) 5 An n-ary function is a (n+1)-ary relation

14 Equivalence Relations A binary relation,, with these three properties 1. Reflexive x x 2. Symmetric x y implies y x 3. Transitive x y and y z implies x z 1. Is called an Equivalence Relation

15 Graphs Graphs have nodes (vertices) and edges

16 Directed Graphs When the edges have a direction (usually drawn with an arrow) the graph is called a directed graph Directed graph Undirected graph

17 Degree The number of edges attached to a node is called its degree. In a labeled graph, nodes have in-degree and outdegree What are the in-degree and out-degree of node 0?

18 Labeled Graphs When the edges are labeled the graph is called a labled-graph Labeled graph unlabled graph

19 Paths A path is a sequence of nodes connectd by edges A graph is Connected if every two nodes are connected by a graph. A path is a cycle if the first and last node in the path are the same. A cycle is simple if only the first and last node are the same

20 Trees A graph is a tree if it is connected and has no simple cycles. The unique node with in-degree 0 is called the root. Nodes of degree 1 (other than the root) are called leaves

21 Strings and Languages Strings are defined with respect to an alphabet, which is an arbitrary finite set of symbols. Common alphabets are {0,1} (binary) and ASCII. But any finite set can be an alphabet! A string over an alphabet Σ is any finite sequence of elements of Σ. Hello is an ASCII string; is a binary string. The length of a string w is denoted w. The set of all strings of length n over Σ is denoted Σ n.

22 More strings Σ 0 ={ε}, where ε is the empty string (common to all alphabets). Another notation is to use Λ rather than ε Σ * is the set of all strings over Σ: Σ * = { } Σ Σ 2 Σ 3... Σ + is Σ * with the empty string excluded: Σ * = Σ Σ 2 Σ 3...

23 String concatenation If u=one and v=two then u v=onetwo and v u=twoone. Dot is usually omitted; just write uv for u v. Laws: u (v w) = (u v) w u ε = u ε u = u u v = u + v The n th power of the string u is u n = u u... u, the concatenation of n copies of u. E.g., One 3 = oneoneone. Note u 0 = ε.

24 Can you tell the difference? There are three things that are sometimes confused. ε the empty string ( ) the empty set ( { } ) {ε} the set with just the empty string as an element

25 Languages A language over an alphabet Σ is any subset of Σ *. That is, any set of strings over Σ. Some languages over {0,1}: {ε,01,0011,000111, } The set of all binary representations of prime numbers: {10,11,101,111,1011, } Some languages over ASCII: The set of all English words The set of all C programs

26 Language concatenation If L and L' are languages, their concatenation L L' (often denoted LL') is the set {u v u L and v L }. Example. {0,00} {1,11} = {01,011,001,0011}. The n th power L n of a language L is L L... L, n times. The zero power L 0 is the language {ε}, by definition. Example. {0,00} 4 ={0 4,0 5,0 6,0 7,0 8 }

27 Kleene Star Elements of L * are ε and all strings obtained by concatenating a finite number of strings in L. L * = L 0 L 1 L 2 L 3... L + = L 1 L 2 L 3... Note: L * = L + {ε} Example. {00,01,10,11} * is the language of all even length binary strings.

28 Class Exercise Fill in the blanks to define some laws: L * {ε} = L + {ε} = {ε} {ε} = L = L * L * = (L * ) * = L L * = * = {ε} * = L L * =

29 Mathematical Statements Statements are sentences that are true or false: [1.] 0=3 [2.] ab is a substring of cba [3.] Every square is a rectangle Predicates are parameterized statements; they are true or false depending on the values of their parameters. [1.] x>7 and x<9 [2.] x+y=5 or x-y=5 [3.] If x=y then x^2=y^2

30 Logical Connectives Logical connectives produce new statements from simple ones: Conjunction; A B; A and B Disjunction; A B; A or B Implication; A B; if A then B Negation; A not A Logical equivalence; A B A if and only if B A iff B

31 Quantifiers The universal quantifier ( for every ) and the existential quantifier ( there exists ) turn predicates into other predicates or statements. There exists x such that x+7=8. For every x, x+y > y. Every square is a rectangle. Example. True or false? ( x)( y) x+y=y ( x)( y) x+y=y ( x)( y) x+y=y ( y)( x) x+y=y ( y)( x) x+y=y ( x)( y) x+y=y

32 Proving Implications Most theorems are stated in the form of (universally quantified) implication: if A, then B To prove it, we assume that A is true and proceed to derive the truth of B by using logical reasoning and known facts. Silly Theorem. If 0=3 then 5=11. Proof. Assume 0=3. Then 0=6 (why?). Then 5=11 (why?). Note the implicit universal quantification in theorems: Theorem A. If x+7=13, then x^2=x+20. Theorem B. If all strings in a language L have even length, then all strings in L* have even length.

33 Converse The converse of the implication A B is the implication B A. It is quite possible that one of these implications is true, while the other is false. E.g., 0=1 1=1 is true, but 1=1 0=1 is false. Note that the implication A B is true in all cases except when A is true and B is false. To prove an equivalence A B, we need to prove a pair of converse implications: (1) A B, (2) B A.

34 Contrapositive The contrapositive of the implication A B is the implication B A. If one of these implications is true, then so is the other. It is often more convenient to prove the contrapositive! Example. If L 1 and L 2 are non-empty languages such that L 1 * = L 2 * then L 1 =L 2. Proof. Prove the contrapositive instead. Assume L 1 L 2. Let w be the shortest possible non-empty string that belongs to one of these languages and does not belong to the other (e.g. w L 1 and w L 2 ). Then w L 1 * and it remains to prove w L 2*. [Finish the proof. Why is the assumption that L 1,L 2 necessary?]

35 Reductio ad absurdum- Proof by Contradiction Often, to prove A B, we assume both A and B, and then proceed to derive something absurd (obviously non-true). Example. If L is a finite language and L L =L, then L= or L={ε}. Proof. Assume L is finite, L L =L, L, and L {ε}. Let w be a string in L of maximum length. The assumptions imply that w >0. Since w 2 L 2, we must have w 2 L. But w 2 =2 w > w, so L contains strings longer than w. Contradiction. qed

36 Formatting Proofs A proof is a convincing argument. The way you format a proof (especially for a homework) can alter its degree of convincingness 1 There are rules for formatting a proof. 1. is that a word?

37 3 parts to a proof 1. Facts A. (F G) x = F(G(x)) 2. Assertion 1. Prove (F G) is associative 2. ((F G) H) x = (F (G H)) x 3. Steps Transforming lhs into rhs ((F G) H) x by A (F G) (H x) by A (F (G(H x)) by A (F ((G H) x)) by A backwards (F (G H)) x by A backwards Facts. Things you know, include function definitions and facts about arithmetic, like x+y = y+x. There will often be many facts State clearly what you are proving. Write it down in all its gory detail Steps. List each step. Every step should be justified by a fact. State how you are performing the steps. Here I transform lhs into rhs.

### Topics in Logic and Proofs

Chapter 2 Topics in Logic and Proofs Some mathematical statements carry a logical value of being true or false, while some do not. For example, the statement 4 + 5 = 9 is true, whereas the statement 2

### Propositional Logic, Predicates, and Equivalence

Chapter 1 Propositional Logic, Predicates, and Equivalence A statement or a proposition is a sentence that is true (T) or false (F) but not both. The symbol denotes not, denotes and, and denotes or. If

### CS Automata, Computability and Formal Languages

Automata, Computability and Formal Languages Luc Longpré faculty.utep.edu/longpre 1 - Pg 1 Slides : version 3.1 version 1 A. Tapp version 2 P. McKenzie, L. Longpré version 2.1 D. Gehl version 2.2 M. Csűrös,

### Discrete Mathematical Structures: Theory and Applications

Chapter 1: Foundations: Sets, Logic, and Algorithms Discrete Mathematical Structures: Theory and Applications Learning Objectives Learn about sets Explore various operations on sets Become familiar with

### 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,

### Introduction to Languages and Computation

to Languages and Computation George Voutsadakis 1 1 Mathematics and Computer Science Lake Superior State University LSSU Math 400 George Voutsadakis (LSSU) Languages and Computation July 2014 1 / 55 Outline

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

### 1 More finite deterministic automata

CS 125 Section #6 Finite automata October 18, 2016 1 More finite deterministic automata Exercise. Consider the following game with two players: Repeatedly flip a coin. On heads, player 1 gets a point.

### First order Logic ( Predicate Logic) and Methods of Proof

First order Logic ( Predicate Logic) and Methods of Proof 1 Outline Introduction Terminology: Propositional functions; arguments; arity; universe of discourse Quantifiers Definition; using, mixing, negating

### 3 The language of proof

3 The language of proof After working through this section, you should be able to: (a) understand what is asserted by various types of mathematical statements, in particular implications and equivalences;

### A Semester Course in Basic Abstract Algebra

A Semester Course in Basic Abstract Algebra Marcel B. Finan Arkansas Tech University c All Rights Reserved December 29, 2011 1 PREFACE This book is an introduction to abstract algebra course for undergraduates

### WUCT121. Discrete Mathematics. Logic. Tutorial Exercises

WUCT11 Discrete Mathematics Logic Tutorial Exercises 1 Logic Predicate Logic 3 Proofs 4 Set Theory 5 Relations and Functions WUCT11 Logic Tutorial Exercises 1 Section 1: Logic Question1 For each of the

### Equational Logic. Chapter Syntax Terms and Term Algebras

Chapter 2 Equational Logic 2.1 Syntax 2.1.1 Terms and Term Algebras The natural logic of algebra is equational logic, whose propositions are universally quantified identities between terms built up from

### FORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY

5-453 FORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY NON-DETERMINISM and REGULAR OPERATIONS THURSDAY JAN 6 UNION THEOREM The union of two regular languages is also a regular language Regular Languages Are

### Axioms of Kleene Algebra

Introduction to Kleene Algebra Lecture 2 CS786 Spring 2004 January 28, 2004 Axioms of Kleene Algebra In this lecture we give the formal definition of a Kleene algebra and derive some basic consequences.

### Automata: a short introduction

ILIAS, University of Luxembourg Discrete Mathematics II May 2012 What is a computer? Real computers are complicated; We abstract up to an essential model of computation; We begin with the simplest possible

### What Is a Language? Grammars, Languages, and Machines. Strings: the Building Blocks of Languages

Do Homework 2. What Is a Language? Grammars, Languages, and Machines L Language Grammar Accepts Machine Strings: the Building Blocks of Languages An alphabet is a finite set of symbols: English alphabet:

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

### Introduction to the Theory of Computation. Automata 1VO + 1PS. Lecturer: Dr. Ana Sokolova.

Introduction to the Theory of Computation Automata 1VO + 1PS Lecturer: Dr. Ana Sokolova http://cs.uni-salzburg.at/~anas/ Setup and Dates Lectures and Instructions 23.10. 3.11. 17.11. 24.11. 1.12. 11.12.

### HANDOUT AND SET THEORY. Ariyadi Wijaya

HANDOUT LOGIC AND SET THEORY Ariyadi Wijaya Mathematics Education Department Faculty of Mathematics and Natural Science Yogyakarta State University 2009 1 Mathematics Education Department Faculty of Mathematics

### 1. Propositions: Contrapositives and Converses

Preliminaries 1 1. Propositions: Contrapositives and Converses Given two propositions P and Q, the statement If P, then Q is interpreted as the statement that if the proposition P is true, then the statement

### Propositional Logic Not Enough

Section 1.4 Propositional Logic Not Enough If we have: All men are mortal. Socrates is a man. Does it follow that Socrates is mortal? Can t be represented in propositional logic. Need a language that talks

### Chapter 1. Logic and Proof

Chapter 1. Logic and Proof 1.1 Remark: A little over 100 years ago, it was found that some mathematical proofs contained paradoxes, and these paradoxes could be used to prove statements that were known

### Lecture 7. Logic. Section1: Statement Logic.

Ling 726: Mathematical Linguistics, Logic, Section : Statement Logic V. Borschev and B. Partee, October 5, 26 p. Lecture 7. Logic. Section: Statement Logic.. Statement Logic..... Goals..... Syntax of Statement

### Introduction to the Theory of Computation. Automata 1VO + 1PS. Lecturer: Dr. Ana Sokolova.

Introduction to the Theory of Computation Automata 1VO + 1PS Lecturer: Dr. Ana Sokolova http://cs.uni-salzburg.at/~anas/ Setup and Dates Lectures Tuesday 10:45 pm - 12:15 pm Instructions Tuesday 12:30

### Section 3.1: Direct Proof and Counterexample 1

Section 3.1: Direct Proof and Counterexample 1 In this chapter, we introduce the notion of proof in mathematics. A mathematical proof is valid logical argument in mathematics which shows that a given conclusion

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

### Introduction to Metalogic

Philosophy 135 Spring 2008 Tony Martin Introduction to Metalogic 1 The semantics of sentential logic. The language L of sentential logic. Symbols of L: Remarks: (i) sentence letters p 0, p 1, p 2,... (ii)

### Tutorial on Axiomatic Set Theory. Javier R. Movellan

Tutorial on Axiomatic Set Theory Javier R. Movellan Intuitively we think of sets as collections of elements. The crucial part of this intuitive concept is that we are willing to treat sets as entities

### A Little Deductive Logic

A Little Deductive Logic In propositional or sentential deductive logic, we begin by specifying that we will use capital letters (like A, B, C, D, and so on) to stand in for sentences, and we assume that

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

### MA103 STATEMENTS, PROOF, LOGIC

MA103 STATEMENTS, PROOF, LOGIC Abstract Mathematics is about making precise mathematical statements and establishing, by proof or disproof, whether these statements are true or false. We start by looking

### Automata, Logic and Games: Theory and Application

Automata, Logic and Games: Theory and Application 1. Büchi Automata and S1S Luke Ong University of Oxford TACL Summer School University of Salerno, 14-19 June 2015 Luke Ong Büchi Automata & S1S 14-19 June

### Before We Start. The Pumping Lemma. Languages. Context Free Languages. Plan for today. Now our picture looks like. Any questions?

Before We Start The Pumping Lemma Any questions? The Lemma & Decision/ Languages Future Exam Question What is a language? What is a class of languages? Context Free Languages Context Free Languages(CFL)

### Group 5. Jeremy Gutierrez. Jesus Ochoa Perez. Alvaro Gonzalez. MATH 170: Discrete Mathematics. Dr. Lipika Deka. March 14, 2014.

Gutierrez, Perez, & Gonzalez 1 Group 5 Jeremy Gutierrez Jesus Ochoa Perez Alvaro Gonzalez MATH 170: Discrete Mathematics Dr. Lipika Deka March 14, 2014 Project Part 1 Gutierrez, Perez, & Gonzalez 2 Hello

### Finite Automata Theory and Formal Languages TMV027/DIT321 LP4 2018

Finite Automata Theory and Formal Languages TMV027/DIT321 LP4 2018 Lecture 4 Ana Bove March 23rd 2018 Recap: Formal Proofs How formal should a proof be? Depends on its purpose...... but should be convincing......

### Proofs. Chapter 2 P P Q Q

Chapter Proofs In this chapter we develop three methods for proving a statement. To start let s suppose the statement is of the form P Q or if P, then Q. Direct: This method typically starts with P. Then,

### Deduction by Daniel Bonevac. Chapter 3 Truth Trees

Deduction by Daniel Bonevac Chapter 3 Truth Trees Truth trees Truth trees provide an alternate decision procedure for assessing validity, logical equivalence, satisfiability and other logical properties

### Before we show how languages can be proven not regular, first, how would we show a language is regular?

CS35 Proving Languages not to be Regular Before we show how languages can be proven not regular, first, how would we show a language is regular? Although regular languages and automata are quite powerful

### Predicate Calculus lecture 1

Predicate Calculus lecture 1 Section 1.3 Limitation of Propositional Logic Consider the following reasoning All cats have tails Gouchi is a cat Therefore, Gouchi has tail. MSU/CSE 260 Fall 2009 1 MSU/CSE

### Equivalence of DFAs and NFAs

CS 172: Computability and Complexity Equivalence of DFAs and NFAs It s a tie! DFA NFA Sanjit A. Seshia EECS, UC Berkeley Acknowledgments: L.von Ahn, L. Blum, M. Blum What we ll do today Prove that DFAs

### 5. Use a truth table to determine whether the two statements are equivalent. Let t be a tautology and c be a contradiction.

Statements Compounds and Truth Tables. Statements, Negations, Compounds, Conjunctions, Disjunctions, Truth Tables, Logical Equivalence, De Morgan s Law, Tautology, Contradictions, Proofs with Logical Equivalent

### Finite Automata Theory and Formal Languages TMV027/DIT321 LP4 2017

Finite Automata Theory and Formal Languages TMV027/DIT321 LP4 2017 Lecture 4 Ana Bove March 24th 2017 Structural induction; Concepts of automata theory. Overview of today s lecture: Recap: Formal Proofs

### Chapter 3. Regular grammars

Chapter 3 Regular grammars 59 3.1 Introduction Other view of the concept of language: not the formalization of the notion of effective procedure, but set of words satisfying a given set of rules Origin

### A statement is a sentence that is definitely either true or false but not both.

5 Logic In this part of the course we consider logic. Logic is used in many places in computer science including digital circuit design, relational databases, automata theory and computability, and artificial

### HOW TO CREATE A PROOF. Writing proofs is typically not a straightforward, algorithmic process such as calculating

HOW TO CREATE A PROOF ALLAN YASHINSKI Abstract We discuss how to structure a proof based on the statement being proved Writing proofs is typically not a straightforward, algorithmic process such as calculating

### Section Summary. Predicate logic Quantifiers. Negating Quantifiers. Translating English to Logic. Universal Quantifier Existential Quantifier

Section 1.4 Section Summary Predicate logic Quantifiers Universal Quantifier Existential Quantifier Negating Quantifiers De Morgan s Laws for Quantifiers Translating English to Logic Propositional Logic

### MATH10040: Chapter 0 Mathematics, Logic and Reasoning

MATH10040: Chapter 0 Mathematics, Logic and Reasoning 1. What is Mathematics? There is no definitive answer to this question. 1 Indeed, the answer given by a 21st-century mathematician would differ greatly

### CSE 1400 Applied Discrete Mathematics Proofs

CSE 1400 Applied Discrete Mathematics Proofs Department of Computer Sciences College of Engineering Florida Tech Fall 2011 Axioms 1 Logical Axioms 2 Models 2 Number Theory 3 Graph Theory 4 Set Theory 4

### 2.2: Logical Equivalence: The Laws of Logic

Example (2.7) For primitive statement p and q, construct a truth table for each of the following compound statements. a) p q b) p q Here we see that the corresponding truth tables for two statement p q

### INTRODUCTION TO PREDICATE LOGIC HUTH AND RYAN 2.1, 2.2, 2.4

INTRODUCTION TO PREDICATE LOGIC HUTH AND RYAN 2.1, 2.2, 2.4 Neil D. Jones DIKU 2005 Some slides today new, some based on logic 2004 (Nils Andersen), some based on kernebegreber (NJ 2005) PREDICATE LOGIC:

### Chapter 2: The Logic of Quantified Statements. January 22, 2010

Chapter 2: The Logic of Quantified Statements January 22, 2010 Outline 1 2.1- Introduction to Predicates and Quantified Statements I 2 2.2 - Introduction to Predicates and Quantified Statements II 3 2.3

### CITS2211 Discrete Structures Proofs

CITS2211 Discrete Structures Proofs Unit coordinator: Rachel Cardell-Oliver August 13, 2017 Highlights 1 Arguments vs Proofs. 2 Proof strategies 3 Famous proofs Reading Chapter 1: What is a proof? Mathematics

### Computer Science Foundation Exam

Computer Science Foundation Exam August 2, 2002 Section II A DISCRETE STRUCTURES NO books, notes, or calculators may be used, and you must work entirely on your own. Name: SSN: In this section of the exam,

### The predicate calculus is complete

The predicate calculus is complete Hans Halvorson The first thing we need to do is to precisify the inference rules UI and EE. To this end, we will use A(c) to denote a sentence containing the name c,

### Incomplete version for students of easllc2012 only. 6.6 The Model Existence Game 99

98 First-Order Logic 6.6 The Model Existence Game In this section we learn a new game associated with trying to construct a model for a sentence or a set of sentences. This is of fundamental importance

### Concatenation. The concatenation of two languages L 1 and L 2

Regular Expressions Problem Problem Set Set Four Four is is due due using using a late late period period in in the the box box up up front. front. Concatenation The concatenation of two languages L 1

### Formal Languages, Automata and Models of Computation

CDT314 FABER Formal Languages, Automata and Models of Computation Lecture 5 School of Innovation, Design and Engineering Mälardalen University 2011 1 Content - More Properties of Regular Languages (RL)

### Notes on induction proofs and recursive definitions

Notes on induction proofs and recursive definitions James Aspnes December 13, 2010 1 Simple induction Most of the proof techniques we ve talked about so far are only really useful for proving a property

### Sec\$on Summary. Definition of sets Describing Sets

Section 2.1 Sec\$on Summary Definition of sets Describing Sets Roster Method Set-Builder Notation Some Important Sets in Mathematics Empty Set and Universal Set Subsets and Set Equality Cardinality of Sets

### Analysis 1. Lecture Notes 2013/2014. The original version of these Notes was written by. Vitali Liskevich

Analysis 1 Lecture Notes 2013/2014 The original version of these Notes was written by Vitali Liskevich followed by minor adjustments by many Successors, and presently taught by Misha Rudnev University

### ! Predicates! Variables! Quantifiers. ! Universal Quantifier! Existential Quantifier. ! Negating Quantifiers. ! De Morgan s Laws for Quantifiers

Sec\$on Summary (K. Rosen notes for Ch. 1.4, 1.5 corrected and extended by A.Borgida)! Predicates! Variables! Quantifiers! Universal Quantifier! Existential Quantifier! Negating Quantifiers! De Morgan s

### Logic. Facts (with proofs) CHAPTER 1. Definitions

CHAPTER 1 Logic Definitions D1. Statements (propositions), compound statements. D2. Truth values for compound statements p q, p q, p q, p q. Truth tables. D3. Converse and contrapositive. D4. Tautologies

### Math Real Analysis

1 / 28 Math 370 - Real Analysis G.Pugh Sep 3 2013 Real Analysis 2 / 28 3 / 28 What is Real Analysis? Wikipedia: Real analysis... has its beginnings in the rigorous formulation of calculus. It is a branch

### Logic and Propositional Calculus

CHAPTER 4 Logic and Propositional Calculus 4.1 INTRODUCTION Many algorithms and proofs use logical expressions such as: IF p THEN q or If p 1 AND p 2, THEN q 1 OR q 2 Therefore it is necessary to know

### This section will take the very naive point of view that a set is a collection of objects, the collection being regarded as a single object.

1.10. BASICS CONCEPTS OF SET THEORY 193 1.10 Basics Concepts of Set Theory Having learned some fundamental notions of logic, it is now a good place before proceeding to more interesting things, such as

### CHAPTER 1. MATHEMATICAL LOGIC 1.1 Fundamentals of Mathematical Logic

CHAPER 1 MAHEMAICAL LOGIC 1.1 undamentals of Mathematical Logic Logic is commonly known as the science of reasoning. Some of the reasons to study logic are the following: At the hardware level the design

### Finite Automata and Regular languages

Finite Automata and Regular languages Huan Long Shanghai Jiao Tong University Acknowledgements Part of the slides comes from a similar course in Fudan University given by Prof. Yijia Chen. http://basics.sjtu.edu.cn/

### CHAPTER 4 CLASSICAL PROPOSITIONAL SEMANTICS

CHAPTER 4 CLASSICAL PROPOSITIONAL SEMANTICS 1 Language There are several propositional languages that are routinely called classical propositional logic languages. It is due to the functional dependency

### Section 7.1 Relations and Their Properties. Definition: A binary relation R from a set A to a set B is a subset R A B.

Section 7.1 Relations and Their Properties Definition: A binary relation R from a set A to a set B is a subset R A B. Note: there are no constraints on relations as there are on functions. We have a common

### Fooling Sets and. Lecture 5

Fooling Sets and Introduction to Nondeterministic Finite Automata Lecture 5 Proving that a language is not regular Given a language, we saw how to prove it is regular (union, intersection, concatenation,

### Chapter 4. Basic Set Theory. 4.1 The Language of Set Theory

Chapter 4 Basic Set Theory There are two good reasons for studying set theory. First, it s a indispensable tool for both logic and mathematics, and even for other fields including computer science, linguistics,

### 1 Completeness Theorem for Classical Predicate

1 Completeness Theorem for Classical Predicate Logic The relationship between the first order models defined in terms of structures M = [M, I] and valuations s : V AR M and propositional models defined

### Notes for Comp 497 (454) Week 10

Notes for Comp 497 (454) Week 10 Today we look at the last two chapters in Part II. Cohen presents some results concerning the two categories of language we have seen so far: Regular languages (RL). Context-free

### Context-free grammars and languages

Context-free grammars and languages The next class of languages we will study in the course is the class of context-free languages. They are defined by the notion of a context-free grammar, or a CFG for

### Chapter 2. Mathematical Reasoning. 2.1 Mathematical Models

Contents Mathematical Reasoning 3.1 Mathematical Models........................... 3. Mathematical Proof............................ 4..1 Structure of Proofs........................ 4.. Direct Method..........................

### Exercises for Unit VI (Infinite constructions in set theory)

Exercises for Unit VI (Infinite constructions in set theory) VI.1 : Indexed families and set theoretic operations (Halmos, 4, 8 9; Lipschutz, 5.3 5.4) Lipschutz : 5.3 5.6, 5.29 5.32, 9.14 1. Generalize

### MAT 243 Test 1 SOLUTIONS, FORM A

t MAT 243 Test 1 SOLUTIONS, FORM A 1. [10 points] Rewrite the statement below in positive form (i.e., so that all negation symbols immediately precede a predicate). ( x IR)( y IR)((T (x, y) Q(x, y)) R(x,

### CPS 220 Theory of Computation REGULAR LANGUAGES

CPS 22 Theory of Computation REGULAR LANGUAGES Introduction Model (def) a miniature representation of a thing; sometimes a facsimile Iraq village mockup for the Marines Scientific modelling - the process

### Harvard CS 121 and CSCI E-207 Lecture 4: NFAs vs. DFAs, Closure Properties

Harvard CS 121 and CSCI E-207 Lecture 4: NFAs vs. DFAs, Closure Properties Salil Vadhan September 13, 2012 Reading: Sipser, 1.2. How to simulate NFAs? NFA accepts w if there is at least one accepting computational

### Lecture : Set Theory and Logic

Lecture : Dr. Department of Mathematics Lovely Professional University Punjab, India October 18, 2014 Outline Contrapositive and Converse 1 Contrapositive and Converse 2 3 4 5 Contrapositive and Converse

### Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products

Chapter 3 Cartesian Products and Relations The material in this chapter is the first real encounter with abstraction. Relations are very general thing they are a special type of subset. After introducing

### Automata on linear orderings

Automata on linear orderings Véronique Bruyère Institut d Informatique Université de Mons-Hainaut Olivier Carton LIAFA Université Paris 7 September 25, 2006 Abstract We consider words indexed by linear

### Logical Reasoning. Chapter Statements and Logical Operators

Chapter 2 Logical Reasoning 2.1 Statements and Logical Operators Preview Activity 1 (Compound Statements) Mathematicians often develop ways to construct new mathematical objects from existing mathematical

### CISC4090: Theory of Computation

CISC4090: Theory of Computation Chapter 2 Context-Free Languages Courtesy of Prof. Arthur G. Werschulz Fordham University Department of Computer and Information Sciences Spring, 2014 Overview In Chapter

### Logic and Sets. Chapter 1

Chapter 1 Logic and Sets 1.1. Logical connectives 1.1.1. Unambiguous statements. Logic is concerned first of all with the logical structure of statements, and with the construction of complex statements

### Decidability. William Chan

Decidability William Chan Preface : In 1928, David Hilbert gave a challenge known as the Entscheidungsproblem, which is German for Decision Problem. Hilbert s problem asked for some purely mechanical procedure

### Logic and Proofs 1. 1 Overview. 2 Sentential Connectives. John Nachbar Washington University December 26, 2014

John Nachbar Washington University December 26, 2014 Logic and Proofs 1 1 Overview. These notes provide an informal introduction to some basic concepts in logic. For a careful exposition, see, for example,

### 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.

### Theory of Computation

Theory of Computation Dr. Sarmad Abbasi Dr. Sarmad Abbasi () Theory of Computation / Lecture 3: Overview Decidability of Logical Theories Presburger arithmetic Decidability of Presburger Arithmetic Dr.

### Löwenheim-Skolem Theorems, Countable Approximations, and L ω. David W. Kueker (Lecture Notes, Fall 2007)

Löwenheim-Skolem Theorems, Countable Approximations, and L ω 0. Introduction David W. Kueker (Lecture Notes, Fall 2007) In its simplest form the Löwenheim-Skolem Theorem for L ω1 ω states that if σ L ω1

### LECTURE 1. Logic and Proofs

LECTURE 1 Logic and Proofs The primary purpose of this course is to introduce you, most of whom are mathematics majors, to the most fundamental skills of a mathematician; the ability to read, write, and

### Lecture 23 : Nondeterministic Finite Automata DRAFT Connection between Regular Expressions and Finite Automata

CS/Math 24: Introduction to Discrete Mathematics 4/2/2 Lecture 23 : Nondeterministic Finite Automata Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT Last time we designed finite state automata

### Topic 1: Propositional logic

Topic 1: Propositional logic Guy McCusker 1 1 University of Bath Logic! This lecture is about the simplest kind of mathematical logic: propositional calculus. We discuss propositions, which are statements

### Notes for Comp 497 (Comp 454) Week 10 4/5/05

Notes for Comp 497 (Comp 454) Week 10 4/5/05 Today look at the last two chapters in Part II. Cohen presents some results concerning context-free languages (CFL) and regular languages (RL) also some decidability

### ECOM Discrete Mathematics

ECOM 2311- Discrete Mathematics Chapter # 1 : The Foundations: Logic and Proofs Fall, 2013/2014 ECOM 2311- Discrete Mathematics - Ch.1 Dr. Musbah Shaat 1 / 85 Outline 1 Propositional Logic 2 Propositional