Lecture Notes: Discrete Mathematics


 Ralf Beasley
 2 years ago
 Views:
Transcription
1 Lecture Notes: Discrete Mathematics GMU Math Sring 2007 Alexei V Samsonovich Any theoretical consideration, no matter how fundamental it is, inevitably relies on key rimary notions that are acceted without definition. In our case, examles of notions that we shall accet without definitions are: an object, a value, a concet, a symbol, to name just a few. In fact, most English words used here are not defined yet exected to be understood. Given this agreement, our first ste is to give useful definitions of the key terms, notations and concets wisely selected among others. Below in this text, whenever a key term is introduced, it is tyed in bold italic. Synonyms are listed in arentheses. An examle follows immediately. Discrete mathematics (sometimes understood as finite mathematics) is the study of mathematical structures that do not suort or reuire the notion of continuity. In articular, all comuter imlementations of continuous mathematical structures involve their finite discretization in a certain sense. Toics of discrete mathematics include logic, sets, number theory, combinatorics, grahs, algorithms, robability, information, comlexity, comutability, and more. Lecture notes included here should be considered comlementary rather than alternative to the textbook. The intent is to hel with understanding of difficult concets: sometimes by taking the reader to a higher level of abstraction that oens a better view of the main subject, and sometimes by sueezing the essence from long ages into just a few lines. Lecture 1: Logic It is generally understood that mathematics lays the role of a theoretical fundament for all modern natural sciences. In the same sense, logic can be viewed as a theoretical fundament for mathematics in general and for discrete mathematics in articular. It is not surrising therefore that we start our consideration with logic. In order to introduce concets of logic from first rinciles, we need to introduce some other general notions first. By introduce I do not mean rigorously define. Many of these notions will be addressed in more detail and used extensively in subseuent lectures, so in a sense the following three aragrahs are just an outline. A set is a collection of distinct objects called elements (or members) of the set. In articular, the notion of a set does not allow for multile instances (reetitions) of the same element in the set. In contrast, a seuence is an ordered collection that allows for reetition of its elements. An ordered ntule is a seuence of n elements. If X is a set, then X n (the nth ower of X) is the set of all ordered ntules over X ( over X here means comosed from elements of X). An nlace relation on X is a subset of X n.
2 Sulementary Lecture Notes for Math Alexei V. Samsonovich 1/27/ An exression is a finite seuence of elementssymbols (the entire set of symbols of a given language is called alhabet or vocabulary). A wellformed exression satisfies certain grammar rules (that need to be secified searately in each articular case of a formal theory). Below the term exression will refer to wellformed exressions only. A language is a set of exressions over an alhabet. A formal axiomatic theory is a language in which a subset of exressions are called axioms, and the rest are connected to the axioms via relations called inference rules. A seuence of these connections that starts from axioms is called a roof, and the exression at the end of this seuence is a theorem. A theory is decidable, if there is an algorithm to determine for any given exression whether it has a roof. Here we comare two theories: roositional calculus and redicate calculus (both are addressed in more detail below). Elements of roositional calculus are truthvalued (Boolean) variables, constants and exressions constructed from them using connectives (AND, OR, etc.). Elements of redicate calculus are variables that may take values of any nature (e.g., numbers, eole), lus arbitrary truthvalued functions of those variables called redicates, lus connectives and uantifiers used to construct exressions. A variable is a symbol that can be associated with (bound to) a value, an object, a set, or an exression. A variable can be free or bound. Variables may have tyes: restrictions on the nature of objects to which they can bind. On the other hand, a uantifier secifies a set of objects to which a variable is (to be) bound. While it is ossible to design an unlimited number of uantifiers, two of them are commonly used in most cases: the universal uantifier, secifying that something alies (the variable can be bound) to any element of a certain category, and the existential uantifier, secifying that something alies to at least one element. Given the above outline, we can define roositional calculus (roositional logic) as a formal axiomatic theory L with the alhabet, syntax, set of axioms and inference rules that follow below. The alhabet includes connectives (,,,, ), arentheses: (, ), and variables denoted here by lowercase English letters that may aear with or without subscrits. Each variable in L is bound to a roosition (a statement), which is an exression that is either true or false (i.e., has a definite truth value). The set of exressions in L can be formally given as follows. 1. All letters that denote statements with definite truth values are exressions of L. 2. If B and G are exressions of L, then so are ( B) and (B G). 3. If B, G and D are laceholders for exressions of L, then the following axiom schemas define axioms of L: a. (B (G B)) b. ((B (G D)) ((B G) (B D))) c. ((( G) ( B) ((( G) B) G)) 4. It suffices for L to have the only inference rule, modus onens: ((a b, a) b. Again, in summary, roositional calculus (roositional logic) can be defined as a formal axiomatic theory in which the alhabet includes variables denoted by letters (e.g.,
3 Sulementary Lecture Notes for Math Alexei V. Samsonovich 1/27/2007 3, 1 ), symbols 1 and 0 used for tautology and contradiction, connectives (,,,, ) and arentheses: (, ), the set of axioms includes those given by the above schemas (a), (b) and (c), and the only inference rule is modus onens. We can avoid using unnecessary arentheses, if we agree on a articular order of recedence for connectives, e.g.:,,,,, and then and other symbols of metalanguage. We can reason about variables in L without knowing their values, yet we assume that they have definite values within the set {T, F}. This feature searates roositional calculus from redicate calculus, in which redicates may have free variables. In L, all exressions are roositions. A direct analogy with regular numerical exressions can be seen. Indeed, roositional logic is isomorhic to binary arithmetic (calculus of Boolean numbers: zeros and ones), as the following translation table shows. This translation rovides an intuition into L and can be taken as a art of its definition. Table 1. L is isomorhic to Boolean arithmetic. Proositional logic Boolean arithmetic T 1 F (XOR) (1) 0 Given this table, you can confidently solve your HW1 roblems (or you can use the truth tables), yet there is a more convenient way of doing this: by using euivalence relations listed on age 24 in the textbook. At least, with this table you should have no roblem understanding what L is about: it is a calculus in which all variables and exressions take only two values. In this sense it is much simler than redicate calculus. Therefore, for examle, it is not surrising that and cannot be simultaneously false in roositional logic. It is also clear that there may be cases when P Q holds and P Q does not (generally, whenever P Q holds, P Q is a tautology, and vice versa). The analogy between and multilication, and addition with regard to commutativity, associativity and distributivity is straightforward. In articular, it imlies that euivalence relations allow us to reduce any logical exression to its disjunctive normal form (dns): i.e., a logical sum (disjunction) of disjuncts, each of which is either a logical roduct (conjunction) of literals (i.e., variable letters or their negations) or a single literal. The counterart of dns is a conjunctive normal form (cns) defined similarly, with swaing
4 Sulementary Lecture Notes for Math Alexei V. Samsonovich 1/27/ and. These forms can be useful when you want to comare two exressions. A dns / cns is called full, if each of its disjuncts / conjuncts is a minterm (contains each variable used in the form exactly once). Every noncontradiction / nontautology can be reduced to a full dns / cns. An exression is satisfiable if it is true for some values of its variables. A logical argument is a finite set of roositions called remises or hyotheses followed by a roosition called conclusion. In a valid argument, the conclusion is true whenever remises are true. A sound argument is a valid argument in which remises are true. An arguments can be written in a column form (below), or as a comound statement with an imlication connecting remises to the conclusion. As a comound statement, a valid argument is a tautology. Moreover, its variables can be treated as laceholders for exressions (substitution theorem). All this is useful for roblem solving. A table of useful arguments some inference rules derived from modus onens is given below. Table 2. Inference rules. Modus onens Modus tollens introduction Contraositive Case analysis r r r Vacuous roof: introduction elimination introduction elimination Disjunctive syllogism Resolution r r Chain rule r r Contradiction F
5 Sulementary Lecture Notes for Math Alexei V. Samsonovich 1/27/ Firstorder logic (FOL, firstorder redicate calculus) is an extension of roositional logic L that includes uantifiers, redicates (see above) and variables with arbitrary values beyond {T, F}, with the excetion for redicates themselves, which makes this theory firstorder (without this restriction we run into logical aradoxes). The set of axioms and the set of rules of inference in FOL, as comared to L, is augmented with (intuitively obvious) axioms and arguments involving uantifiers. A higherorder logic differs from FOL in that its redicates are allowed to have redicates as their arguments. The notion of logic, esecially in comuter science, is raidly exanding in many dimensions, including fuzzy logic, manyvalued logic, uantum logic, modal logics (temoral, dynamic, deontic, alethic, eistemic, etc.). Related calculi include situation calculus, fluent calculus, event calculus, etc. Further Reading: Hamburger, H., and Richards, D. (2002) Logic and Language Models for Comuter Science. Uer Saddle River, NJ: Prentice Hall. Mendelson, E. (1997) Initroduction to Mathematical Logic. New York: Chaman & Hall.
Discrete Math I Practice Problems for Exam I
Discrete Math I Practice Problems for Exam I The ucoming exam on Thursday, January 12 will cover the material in Sections 1 through 6 of Chater 1. There may also be one question from Section 7. If there
More informationDiscrete Structures Lecture Rules of Inference
Term argument valid remise fallacy Definition A seuence of statements that ends with a conclusion. The conclusion, or final statement of the argument, must follow from the truth of the receding statements,
More informationLogic and Proof. George E. Hrabovsky MAST Corrections by Lawrence J. Winkler. Introduction
Logic and Proof George E. Hrabovsky MAST Corrections by Lawrence J. Winkler Introduction In what follows, I will begin by giving an overview of logic. Then I will resent a large number of arguments by
More informationRules of inference ? #1 #2. Review: Logical Implications. Section 1.5. #1 #2 Answer? F F Yes by AH. Esfahanian. All Rights Reserved.
Rules of inference Section 1.5 MSU/CSE 260 Fall 2009 1 Review: Logical Imlications? #1 #2 #1 #2 Answer? T T Yes T F No F T Yes F F Yes MSU/CSE 260 Fall 2009 2 Terminology Axiom or Postulate: An underlying
More information2.1 Simple & Compound Propositions
2.1 Simle & Comound Proositions 1 2.1 Simle & Comound Proositions Proositional Logic can be used to analyse, simlify and establish the equivalence of statements. A knowledge of logic is essential to the
More informationProposition. CS 19: Discrete Mathematics. Compound Proposition. Compound Proposition
Proosition CS 19: Discrete Mathematics Amit Chakrabarti Logic and Logical Notation A declarative sentence that is either or, but not both Examles: CS19 is a reuired course for the CS major olkien wrote
More informationIntroduction to NPCompleteness Written and copyright c by Jie Wang 1
91.502 Foundations of Comuter Science 1 Introduction to Written and coyright c by Jie Wang 1 We use timebounded (deterministic and nondeterministic) Turing machines to study comutational comlexity of
More informationFundamentals of Mathematics Lecture 6: Propositional Logic
Fundamentals of Mathematics Lecture 6: Propositional Logic GuanShieng Huang National Chi Nan University, Taiwan Spring, 2008 1 / 39 Connectives Propositional Connectives I 1 Negation: (not A) A A T F
More information6.042/18.062J Mathematics for Computer Science December 12, 2006 Tom Leighton and Ronitt Rubinfeld. Random Walks
6.042/8.062J Mathematics for Comuter Science December 2, 2006 Tom Leighton and Ronitt Rubinfeld Lecture Notes Random Walks Gambler s Ruin Today we re going to talk about onedimensional random walks. In
More information1.6  Rules of Inference
1.6  Rules of Inference Valid Arguments in Proositional Logic Definition 1 An argument in roositional logic is a sequence of roositions. All but the final roosition in the argument are called the remises
More informationChapter 9, Part B Hypothesis Tests. Learning objectives
Chater 9, Part B Hyothesis Tests Slide 1 Learning objectives 1. Able to do hyothesis test about Poulation Proortion 2. Calculatethe Probability of Tye II Errors 3. Understand ower of the test 4. Determinethe
More informationRelational Query Languages. Relational Algebra. Preliminaries. Formal Relational Query Languages. Relational Algebra: 5 Basic Operations
Relational Algebra R & G, Chater 4 By relieving the brain of all unnecessary work, a good notation sets it free to concentrate on more advanced roblems, and, in effect, increases the mental ower of the
More informationn logical not (negation) n logical or (disjunction) n logical and (conjunction) n logical exclusive or n logical implication (conditional)
Discrete Math Review Discrete Math Review (Rosen, Chapter 1.1 1.6) TOPICS Propositional Logic Logical Operators Truth Tables Implication Logical Equivalence Inference Rules What you should know about propositional
More informationDISCRETE MATHEMATICS W W L CHEN
DISCRETE MATHEMATICS W W L CHEN c W W L Chen, 1982, 2008. This chapter originates from material used by the author at Imperial College, University of London, between 1981 and 1990. It is available free
More informationSoftware Model Checking: Theory and Practice
Software Model Checking: Theory and Practice Lecture: Secification Checking  Temoral Logic Coyright 2004, Matt Dwyer, John Hatcliff, and Robby. The syllabus and all lectures for this course are coyrighted
More informationPRIME, COMPOSITE, AND SUPERCOMPOSITE NUMBERS
PRIME, COMPOSITE, AD SUPERCOMPOSITE UMBERS Any integer greater than one is either a rime or comosite number. Primes have no divisors excet one and itself while comosites will have multile divisors. It
More informationChapter I Logic and Proofs
MATH 1130 1 Discrete Structures Chapter I Logic and Proofs Propositions A proposition is a statement that is either true (T) or false (F), but or both. s Propositions: 1. I am a man.. I am taller than
More informationHandout #1: Mathematical Reasoning
Math 101 Rumbos Spring 2010 1 Handout #1: Mathematical Reasoning 1 Propositional Logic A proposition is a mathematical statement that it is either true or false; that is, a statement whose certainty or
More informationInference Rules and Proof Methods
Inference Rules and Proof Methods Winter 2010 Introduction Rules of Inference and Formal Proofs Proofs in mathematics are valid arguments that establish the truth of mathematical statements. An argument
More informationLikewise, we have contradictions: formulas that can only be false, e.g. (p p).
CHAPTER 4. STATEMENT LOGIC 59 The rightmost column of this truth table contains instances of T and instances of F. Notice that there are no degrees of contingency. If both values are possible, the formula
More informationPropositional Logic and Methods of Inference SEEM
Propositional Logic and Methods of Inference SEEM 5750 1 Logic Knowledge can also be represented by the symbols of logic, which is the study of the rules of exact reasoning. Logic is also of primary importance
More informationCHAPTER 7 GENERAL PROOF SYSTEMS
CHAPTER 7 GENERAL PROOF SYSTEMS 1 Introduction Proof systems are built to prove statements. They can be thought as an inference machine with special statements, called provable statements, or sometimes
More information2 Random variables. The definition. 2b Distribution function
Tel Aviv University, 2006 Probability theory 2 2 Random variables 2a The definition Discrete robability defines a random variable X as a function X : Ω R. The robability of a ossible value R is P ( X =
More information1 Proposition, Logical connectives and compound statements
Discrete Mathematics: Lecture 4 Introduction to Logic Instructor: Arijit Bishnu Date: July 27, 2009 1 Proposition, Logical connectives and compound statements Logic is the discipline that deals with the
More information2. Propositional Equivalences
2. PROPOSITIONAL EQUIVALENCES 33 2. Propositional Equivalences 2.1. Tautology/Contradiction/Contingency. Definition 2.1.1. A tautology is a proposition that is always true. Example 2.1.1. p p Definition
More informationSQUARE GRID POINTS COVERAGED BY CONNECTED SOURCES WITH COVERAGE RADIUS OF ONE ON A TWODIMENSIONAL GRID
International Journal of Comuter Science & Information Technology (IJCSIT) Vol 6, No 4, August 014 SQUARE GRID POINTS COVERAGED BY CONNECTED SOURCES WITH COVERAGE RADIUS OF ONE ON A TWODIMENSIONAL GRID
More informationLECTURE 3: BDI LOGICS
are mutually exclusive LECTURE 3: BDI LOGICS Marc Pauly & Mike Wooldridge University of Liverool, UK What is intention? Two sorts: resent directed attitude to an action function causally in roducing behaviour
More informationA Modified Measure of Covert Network Performance
A Modified Measure of Covert Network Performance LYNNE L DOTY Marist College Deartment of Mathematics Poughkeesie, NY UNITED STATES lynnedoty@maristedu Abstract: In a covert network the need for secrecy
More informationNUMBER SYSTEMS. Number theory is the study of the integers. We denote the set of integers by Z:
NUMBER SYSTEMS Number theory is the study of the integers. We denote the set of integers by Z: Z = {..., 3, 2, 1, 0, 1, 2, 3,... }. The integers have two oerations defined on them, addition and multilication,
More informationMAT2400 Analysis I. A brief introduction to proofs, sets, and functions
MAT2400 Analysis I A brief introduction to proofs, sets, and functions In Analysis I there is a lot of manipulations with sets and functions. It is probably also the first course where you have to take
More informationChapter 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
More informationCS 441 Discrete Mathematics for CS Lecture 5. Predicate logic. CS 441 Discrete mathematics for CS. Negation of quantifiers
CS 441 Discrete Mathematics for CS Lecture 5 Predicate logic Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square Negation of quantifiers English statement: Nothing is perfect. Translation: x Perfect(x)
More informationdef: An axiom is a statement that is assumed to be true, or in the case of a mathematical system, is used to specify the system.
Section 1.5 Methods of Proof 1.5.1 1.5 METHODS OF PROOF Some forms of argument ( valid ) never lead from correct statements to an incorrect. Some other forms of argument ( fallacies ) can lead from true
More informationIt is important to be very clear about our definitions of probabilities.
Use Bookmarks for electronic content links 7.6 Bayesian odds 7.6.1 Introduction The basic ideas of robability have been introduced in Unit 7.3 in the book, leading to the concet of conditional robability.
More informationPrecalculus Prerequisites a.k.a. Chapter 0. August 16, 2013
Precalculus Prerequisites a.k.a. Chater 0 by Carl Stitz, Ph.D. Lakeland Community College Jeff Zeager, Ph.D. Lorain County Community College August 6, 0 Table of Contents 0 Prerequisites 0. Basic Set
More informationPropositional Logic. 1. Semantics and Propositions. LX Semantics September 19, 2008
Propositional Logic LX 502  Semantics September 19, 2008 1. Semantics and Propositions Natural language is used to communicate information about the world, typically between a speaker and an addressee.
More informationLogic, Sets, and Proofs
Logic, Sets, and Proofs David A. Cox and Catherine C. McGeoch Amherst College 1 Logic Logical Statements. A logical statement is a mathematical statement that is either true or false. Here we denote logical
More information1.5 Arguments & Rules of Inference
1.5 Arguments & Rules of Inference Tools for establishing the truth of statements Argument involving a seuence of propositions (premises followed by a conclusion) Premises 1. If you have a current password,
More informationThe Foundations: Logic and Proofs. Chapter 1, Part III: Proofs
The Foundations: Logic and Proofs Chapter 1, Part III: Proofs Rules of Inference Section 1.6 Section Summary Valid Arguments Inference Rules for Propositional Logic Using Rules of Inference to Build Arguments
More informationChapter 1 LOGIC AND PROOF
Chapter 1 LOGIC AND PROOF To be able to understand mathematics and mathematical arguments, it is necessary to have a solid understanding of logic and the way in which known facts can be combined to prove
More informationBasic Category Theory for Models of Syntax (Preliminary Version)
Basic Category Theory for Models of Syntax (Preliminary Version) R. L. Crole ( ) Department of Mathematics and Computer Science, University of Leicester, Leicester, LE1 7RH, U.K. Abstract. These notes
More informationCHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs
CHAPTER 3 Methods of Proofs 1. Logical Arguments and Formal Proofs 1.1. Basic Terminology. An axiom is a statement that is given to be true. A rule of inference is a logical rule that is used to deduce
More informationDeductive Systems. Marco Piastra. Artificial Intelligence. Artificial Intelligence  A.A Deductive Systems [1]
Artificial Intelligence Deductive Systems Marco Piastra Artificial Intelligence  A.A. 2012 Deductive Systems 1] Symbolic calculus? A wff is entailed by a set of wff iff every model of is also model of
More informationLogic in Computer Science: Logic Gates
Logic in Computer Science: Logic Gates Lila Kari The University of Western Ontario Logic in Computer Science: Logic Gates CS2209, Applied Logic for Computer Science 1 / 49 Logic and bit operations Computers
More informationSatisfiability of Boolean Expressions
Satisfiability of Boolean Expressions In the previous section, we have analysed in great detail one particular problem reachability in directed graphs. The reason for the attention devoted to this one
More informationPoint Location. Preprocess a planar, polygonal subdivision for point location queries. p = (18, 11)
Point Location Prerocess a lanar, olygonal subdivision for oint location ueries. = (18, 11) Inut is a subdivision S of comlexity n, say, number of edges. uild a data structure on S so that for a uery oint
More informationWhat is logic? Propositional Logic. Negation. Propositions. This is a contentious question! We will play it safe, and stick to:
Propositional Logic This lecture marks the start of a new section of the course. In the last few lectures, we have had to reason formally about concepts. This lecture introduces the mathematical language
More informationThe MagnusDerek Game
The MagnusDerek Game Z. Nedev S. Muthukrishnan Abstract We introduce a new combinatorial game between two layers: Magnus and Derek. Initially, a token is laced at osition 0 on a round table with n ositions.
More informationCSE 191, Class Note 01 Propositional Logic Computer Sci & Eng Dept SUNY Buffalo
Propositional Logic CSE 191, Class Note 01 Propositional Logic Computer Sci & Eng Dept SUNY Buffalo c Xin He (University at Buffalo) CSE 191 Discrete Structures 1 / 37 Discrete Mathematics What is Discrete
More informationThe impact of metadata implementation on webpage visibility in search engine results (Part II) q
Information Processing and Management 41 (2005) 691 715 www.elsevier.com/locate/inforoman The imact of metadata imlementation on webage visibility in search engine results (Part II) q Jin Zhang *, Alexandra
More informationDiscrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 1
CS 70 Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 1 Course Outline CS70 is a course on Discrete Mathematics and Probability for EECS Students. The purpose of the course
More informationMATH20302 Propositional Logic. Mike Prest School of Mathematics Alan Turing Building Room
MATH20302 Propositional Logic Mike Prest School of Mathematics Alan Turing Building Room 1.120 mprest@manchester.ac.uk April 10, 2015 Contents I Propositional Logic 3 1 Propositional languages 4 1.1 Propositional
More informationMath 5330 Spring Notes Prime Numbers
Math 5330 Sring 206 Notes Prime Numbers The study of rime numbers is as old as mathematics itself. This set of notes has a bunch of facts about rimes, or related to rimes. Much of this stuff is old dating
More informationNotes on Modal Logic
Notes on Modal Logic Notes for Philosophy 151 Eric Pacuit January 28, 2009 These short notes are intended to supplement the lectures and text ntroduce some of the basic concepts of Modal Logic. The primary
More informationSection 1. Statements and Truth Tables. Definition 1.1: A mathematical statement is a declarative sentence that is true or false, but not both.
M3210 Supplemental Notes: Basic Logic Concepts In this course we will examine statements about mathematical concepts and relationships between these concepts (definitions, theorems). We will also consider
More information31 is a prime number is a mathematical statement (which happens to be true).
Chapter 1 Mathematical Logic In its most basic form, Mathematics is the practice of assigning truth to welldefined statements. In this course, we will develop the skills to use known true statements to
More information1 Propositional Logic
1 Propositional Logic Propositions 1.1 Definition A declarative sentence is a sentence that declares a fact or facts. Example 1 The earth is spherical. 7 + 1 = 6 + 2 x 2 > 0 for all real numbers x. 1 =
More informationCS 2336 Discrete Mathematics
CS 2336 Discrete Mathematics Lecture 2 Logic: Predicate Calculus 1 Outline Predicates Quantifiers Binding Applications Logical Equivalences 2 Predicates In mathematics arguments, we will often see sentences
More informationSemantics for the Predicate Calculus: Part I
Semantics for the Predicate Calculus: Part I (Version 0.3, revised 6:15pm, April 14, 2005. Please report typos to hhalvors@princeton.edu.) The study of formal logic is based on the fact that the validity
More information1 Gambler s Ruin Problem
Coyright c 2009 by Karl Sigman 1 Gambler s Ruin Problem Let N 2 be an integer and let 1 i N 1. Consider a gambler who starts with an initial fortune of $i and then on each successive gamble either wins
More information4 Perceptron Learning Rule
Percetron Learning Rule Objectives Objectives  Theory and Examles  Learning Rules  Percetron Architecture 3 SingleNeuron Percetron 5 MultileNeuron Percetron 8 Percetron Learning Rule 8 Test Problem
More informationResolution in Propositional and FirstOrder Logic
Resolution in Propositional and FirstOrder Logic Inference rules Logical inference creates new sentences that logically follow from a set of sentences (KB) An inference rule is sound if every sentence
More informationCS 441 Discrete Mathematics for CS Lecture 2. Propositional logic. CS 441 Discrete mathematics for CS. Course administration
CS 441 Discrete Mathematics for CS Lecture 2 Propositional logic Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square Course administration Homework 1 First homework assignment is out today will be posted
More informationFoundations of Artificial Intelligence
Foundations of Artificial Intelligence 7. Propositional Logic Rational Thinking, Logic, Resolution Wolfram Burgard, Bernhard Nebel and Martin Riedmiller AlbertLudwigsUniversität Freiburg Contents 1 Agents
More informationMathematical Induction
Mathematical Induction In logic, we often want to prove that every member of an infinite set has some feature. E.g., we would like to show: N 1 : is a number 1 : has the feature Φ ( x)(n 1 x! 1 x) How
More informationChapter 6 Finite sets and infinite sets. Copyright 2013, 2005, 2001 Pearson Education, Inc. Section 3.1, Slide 1
Chapter 6 Finite sets and infinite sets Copyright 013, 005, 001 Pearson Education, Inc. Section 3.1, Slide 1 Section 6. PROPERTIES OF THE NATURE NUMBERS 013 Pearson Education, Inc.1 Slide Recall that denotes
More informationStochastic Derivation of an Integral Equation for Probability Generating Functions
Journal of Informatics and Mathematical Sciences Volume 5 (2013), Number 3,. 157 163 RGN Publications htt://www.rgnublications.com Stochastic Derivation of an Integral Equation for Probability Generating
More informationUndergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics. Introductory Notes in Discrete Mathematics
Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics Introductory Notes in Discrete Mathematics Marcel B. Finan c All Rights Reserved Last Updated April 6, 2016 Preface
More information(Refer Slide Time: 05:02)
Discrete Mathematical Structures Dr. Kamala Krithivasan Department of Computer Science and Engineering Indian Institute of Technology, Madras Lecture  1 Propositional Logic This course is about discrete
More informationSolutions to Problem Set 3
Massachusetts Institute of Technology 6.042J/18.062J, Fall 05: Mathematics for Comuter Science October 3 Prof. Albert R. Meyer and Prof. Ronitt Rubinfeld revised October 8, 2005, 979 minutes Solutions
More informationTheoretical comparisons of average normalized gain calculations
PHYSICS EDUCATIO RESEARCH All submissions to PERS should be sent referably electronically to the Editorial Office of AJP, and then they will be forwarded to the PERS editor for consideration. Theoretical
More informationRegular Languages and Finite Automata
Regular Languages and Finite Automata 1 Introduction Hing Leung Department of Computer Science New Mexico State University Sep 16, 2010 In 1943, McCulloch and Pitts [4] published a pioneering work on a
More informationComputational Logic and Cognitive Science: An Overview
Computational Logic and Cognitive Science: An Overview Session 1: Logical Foundations Technical University of Dresden 25th of August, 2008 University of Osnabrück Who we are Helmar Gust Interests: Analogical
More informationDISCRETE MATH: LECTURE 4
DISCRETE MATH: LECTURE 4 DR. DANIEL FREEMAN 1. Chapter 3.1 Predicates and Quantified Statements I A predicate is a sentence that contains a finite number of variables and becomes a statement when specific
More informationA Simple Model of Pricing, Markups and Market. Power Under Demand Fluctuations
A Simle Model of Pricing, Markus and Market Power Under Demand Fluctuations Stanley S. Reynolds Deartment of Economics; University of Arizona; Tucson, AZ 85721 Bart J. Wilson Economic Science Laboratory;
More informationSoftware Verification and Testing. Lecture Notes: Z I
Software Verification and Testing Lecture Notes: Z I Motivation so far: we have seen that properties of software systems can be specified using firstorder logic, set theory and the relational calculus
More informationConcurrent Program Synthesis Based on Supervisory Control
010 American Control Conference Marriott Waterfront, Baltimore, MD, USA June 30July 0, 010 ThB07.5 Concurrent Program Synthesis Based on Suervisory Control Marian V. Iordache and Panos J. Antsaklis Abstract
More informationD.Sailaja, K.Nasaramma, M.Sumender Roy, Venkateswarlu Bondu
Predictive Modeling of Customers in Personalization Alications with Context D.Sailaja, K.Nasaramma, M.Sumender Roy, Venkateswarlu Bondu Nasaramma.K is currently ursuing her M.Tech in Godavari Institute
More informationDiscrete Mathematics Lecture 1 Logic of Compound Statements. Harper Langston New York University
Discrete Mathematics Lecture 1 Logic of Compound Statements Harper Langston New York University Administration Class Web Site http://cs.nyu.edu/courses/summer05/g22.2340001/ Mailing List Subscribe at
More informationRisk in Revenue Management and Dynamic Pricing
OPERATIONS RESEARCH Vol. 56, No. 2, March Aril 2008,. 326 343 issn 0030364X eissn 15265463 08 5602 0326 informs doi 10.1287/ore.1070.0438 2008 INFORMS Risk in Revenue Management and Dynamic Pricing Yuri
More informationFourier Analysis of Stochastic Processes
Fourier Analysis of Stochastic Processes. Time series Given a discrete time rocess ( n ) nz, with n :! R or n :! C 8n Z, we de ne time series a realization of the rocess, that is to say a series (x n )
More informationPRIME NUMBERS AND THE RIEMANN HYPOTHESIS
PRIME NUMBERS AND THE RIEMANN HYPOTHESIS CARL ERICKSON This minicourse has two main goals. The first is to carefully define the Riemann zeta function and exlain how it is connected with the rime numbers.
More informationFoundations of mathematics
Foundations of mathematics 1. First foundations of mathematics 1.1. Introduction to the foundations of mathematics Mathematics, theories and foundations Sylvain Poirier http://settheory.net/ Mathematics
More informationHOMEWORK (due Fri, Nov 19): Chapter 12: #62, 83, 101
Today: Section 2.2, Lesson 3: What can go wrong with hyothesis testing Section 2.4: Hyothesis tests for difference in two roortions ANNOUNCEMENTS: No discussion today. Check your grades on eee and notify
More informationLECTURE 10: FIRSTORDER LOGIC. Software Engineering Mike Wooldridge
LECTURE 10: FIRSTORDER LOGIC Mike Wooldridge 1 Why not Propositional Logic? Consider the following statements: all monitors are ready; X12 is a monitor. We saw in an earlier lecture that these statements
More informationA NOTE ON THE ADEQUACY OF JERZY KALINOWSKI S K 1 LOGIC
Bulletin of the Section of Logic Volume 43:3/4 (2014), pp. 183 190 Piotr Kulicki A NOTE ON THE ADEQUACY OF JERZY KALINOWSKI S K 1 LOGIC Abstract Jerzy Kalinowski s K 1 logic is one of the first systems
More informationAs we have seen, there is a close connection between Legendre symbols of the form
Gauss Sums As we have seen, there is a close connection between Legendre symbols of the form 3 and cube roots of unity. Secifically, if is a rimitive cube root of unity, then 2 ± i 3 and hence 2 2 3 In
More informationConfidence Intervals for CaptureRecapture Data With Matching
Confidence Intervals for CatureRecature Data With Matching Executive summary Caturerecature data is often used to estimate oulations The classical alication for animal oulations is to take two samles
More informationArtificial Intelligence Automated Reasoning
Artificial Intelligence Automated Reasoning Andrea Torsello Automated Reasoning Very important area of AI research Reasoning usually means deductive reasoning New facts are deduced logically from old ones
More informationFailure Behavior Analysis for Reliable Distributed Embedded Systems
Failure Behavior Analysis for Reliable Distributed Embedded Systems Mario Tra, Bernd Schürmann, Torsten Tetteroo {tra schuerma tetteroo}@informatik.unikl.de Deartment of Comuter Science, University of
More informationABSOLUTELY ABNORMAL NUMBERS GREG MARTIN
ABSOLUTELY ABNORMAL NUMBERS GREG MARTIN arxiv:math/0006089v2 [math.nt] 7 Nov 2000. Introduction A normal number is one whose decimal exansion or exansion to some base other than 0 contains all ossible
More informationLOGICAL INFERENCE & PROOFs. Debdeep Mukhopadhyay Dept of CSE, IIT Madras
LOGICAL INFERENCE & PROOFs Debdeep Mukhopadhyay Dept of CSE, IIT Madras Defn A theorem is a mathematical assertion which can be shown to be true. A proof is an argument which establishes the truth of a
More informationThe Predicate Calculus in AI
Last time, we: The Predicate Calculus in AI Motivated the use of Logic as a representational language for AI (Can derive new facts syntactically  simply by pushing symbols around) Described propositional
More informationThe Online Freezetag Problem
The Online Freezetag Problem Mikael Hammar, Bengt J. Nilsson, and Mia Persson Atus Technologies AB, IDEON, SE3 70 Lund, Sweden mikael.hammar@atus.com School of Technology and Society, Malmö University,
More informationSatisfiability Checking
Satisfiability Checking FirstOrder Logic Prof. Dr. Erika Ábrahám RWTH Aachen University Informatik 2 LuFG Theory of Hybrid Systems WS 14/15 Satisfiability Checking Prof. Dr. Erika Ábrahám (RWTH Aachen
More informationA Brief Introduction to Design of Experiments
J. K. TELFORD D A Brief Introduction to Design of Exeriments Jacqueline K. Telford esign of exeriments is a series of tests in which uroseful changes are made to the inut variables of a system or rocess
More informationMultiperiod Portfolio Optimization with General Transaction Costs
Multieriod Portfolio Otimization with General Transaction Costs Victor DeMiguel Deartment of Management Science and Oerations, London Business School, London NW1 4SA, UK, avmiguel@london.edu Xiaoling Mei
More informationThe Mathematics of GIS. Wolfgang Kainz
The Mathematics of GIS Wolfgang Kainz Wolfgang Kainz Department of Geography and Regional Research University of Vienna Universitätsstraße 7, A00 Vienna, Austria EMail: wolfgang.kainz@univie.ac.at Version.
More informationNPCompleteness and Cook s Theorem
NPCompleteness and Cook s Theorem Lecture notes for COM3412 Logic and Computation 15th January 2002 1 NP decision problems The decision problem D L for a formal language L Σ is the computational task:
More informationPOISSON PROCESSES. Chapter 2. 2.1 Introduction. 2.1.1 Arrival processes
Chater 2 POISSON PROCESSES 2.1 Introduction A Poisson rocess is a simle and widely used stochastic rocess for modeling the times at which arrivals enter a system. It is in many ways the continuoustime
More information