1 Prawitz style vs. Fitch style. 2 First examples. Here is an example of a derivation ofa B,B C,A C:
|
|
- Sharlene Norris
- 6 years ago
- Views:
Transcription
1 Math 4680, Toics i Logic ad Coutatio, Witer 2012 Lecture Notes 5: Fitch style atural deductio Peter Seliger 1 Prawitz style vs Fitch style I revious lecture otes, we have used the Prawitz style resetatio of atural deductio: a deductio is a certai kid of tree whose leaves rereset hyotheses, ad whose root reresets a coclusio These trees are colicated by two facts: first, soeties hyotheses are discharged ( crossed out ) durig a roof, ad secod, the freshess coditios i the quatifier rules require that certai variables do ot occur freely i the hyothesis ad coclusios of certai subtrees, excludig hyotheses that have already bee discharged at the tie the quatifier rule is alied There is also a certai ractical disadvatage to writig roofs as trees: large roofs ted to be uch wider tha they are high, so oe quickly rus out of sace Here, we briefly describe a alterative otatio for atural deductio derivatios, called the Fitch style otatio It is ore liear, i the sese that a roof is essetially a list of forulas, oe o each lie, ad forulas o later lies are eat to be cosequeces of forulas o earlier lies Istead of crossig out hyotheses, the Fitch style otatio uses idetatio to idicate a subderivatio usig a teorary hyothesis 2 First exales Here is a exale of a derivatio of, C, C: 1 2 C 3 4 E,1,2 5 C E,2,4 Note that lies 1 3 cotai hyotheses; each subsequet lie is justified by a rule Soeties a derivatio cotais a subderivatio that deeds o a hyothetical, or teorary, assutio Such subderivatios are ideted ad arked with aother vertical lie For exale, here is a derivatio of, C C: 1 2 C 3 4 E,1,2 5 C E,2,4 6 C I,3 5 O lie 3, we teorarily assue Lies 4 ad 5 are cosequeces The subderivatio eds o lie 5 with coclusioc; therefore, oe has roved C at the ext level u o lie 6 I its silest for, a Fitch style atural deductio is just a list of ubered lies, each cotaiig a forula, such that each forula is either a hyothesis (searated fro the rest of the roof by a horizotal lie), or else follows fro revious forulas (idicated by a rule ae ad lie ubers of relevat forulas) The very last lie i the derivatio cotais the coclusio 1 2
2 3 The rules of Fitch style atural deductio Cojuctio itroductio ( I) I,, I,, Cojuctio eliiatio ( E) E, E, Disjuctio Itroductio ( I) I, I, Disjuctio Eliiatio ( E) ϕ q r ϕ s ϕ E,,,q r Ilicatio Itroductio ( I) + 1 I, Ilicatio Eliiatio ( E) E,, E,, 3 Negatio Itroductio ( I) + 1 I, Negatio Eliiatio ( E) E,, E,, Cotradictio Eliiatio ( E) C E, Proof by Cotradictio (C) + 1 C, Reetitio (R) R, Forall-itroductio ( I) u [u/x] + 1 x I, Forall-eliiatio ( E) x [t/x] E, Exists-Itroductio ( I) [t/x] x I, Exists-Eliiatio ( E) x u [u/x] ϕ + 1 ϕ E,, 4
3 4 Rearks The bicoditioal ( ) To silify our foral roof syste, we do ot itroduce ay secial rules for the coective Istead, we sily regard the forula as a abbreviatio for( ) ( ) Falsity ( ) The sybol stads for cotradictio or falsity The forula is always false, ad it is used i the rules for egatio ad cotradictio above Negatio ( ) s we have doe before, it is ossible to regard egatio as a abbreviatio for I this case, the egatio itroductio ad eliiatio rules are sily istaces of the ilicatio itroductio ad eliiatio rules Reetitio (R) Let be a forula writte at liek (either as a hyothesis, or as a forula already rove) The oe ca reeatat lie if: (1)k <, ad (2) every vertical fro lie k cotiues without iterrutio to lie Exales of reetitio: Quatifiers I the rules for quatifiers: ut ot this: i E ad I,tis ay ter k R,k i I ad E, u is a fresh variable Here fresh eas that this variable does ot occur aywhere else i the derivatio It ay oly occur i the subderivatio fro lies The u that is writte betwee the vertical lies o lie is called a guard it serves as a reider that u ust be fresh i this subderivatio I articular, this eas that o forula cotaiig u ca be iorted (reeated) ito lies fro outside lies lso, this eas that u caot occur i the forula ϕ i lies ad +1 of E This is ok: k R, k This too: k R,k 5 6
4 5 Loger exales Without usig the logical equivalece rule, we derive oe directio of Morga s law for disjuctio, ( ) 1 ( ) 2 3 I,2 4 ( ) R,1 5 E,3,4 6 I, I,7 9 ( ) R,1 The ext two exales use quatifiers 10 E,8,9 11 I, I,6, 11 1 x((x) (x)) 2 y (y) 3 u (u) 4 x((x) (x)) R, 1 5 (u) (u) E, 4 6 (u) E,3, 5 7 y(y) I,6 8 y(y) E,2,3 7 9 y(y) y(y) I,2 8 6 No-exales No-exale 1 1 x((x) (x)) 2 y (y) 3 u (u) 1 xp(x,x) 2 u xp(x,x) R, 1 3 P(u, u) E, 2 4 zp(u,z) I,3 5 y zp(y,z) I,2 4 6 xp(x,x) y zp(y,z) I,1 5 4 x((x) (x)) R, 1 5 (u) (u) E, 4 6 (u) E, 3, 5 7 (u) E,2,3 6 8 y (y) (u) I, 2 7 No-exale 2 1 xp(x,x) 2 P(u, u) E, 1 3 u P(u, u) R, 2 4 zp(u,z) I,3 5 y zp(y,z) I,2 4 6 xp(x,x) y zp(y,z) I, 1 5 WRONG, because u is ot fresh i lies 3 6 (u ust ot occur i lies 6,7,8) WRONG, because u is ot fresh i lies 3 4 (u caot be reeated ast the guard fro lie 2 to lie 3) 7 8
5 No-exale 3 1 x((x) y(x,y)) 2 (y) 3 (y) y(y,y) E,1 4 y(y,y) E,2, 3 Exale WRONG, because the substitutio i lie 3 iroertly catured the variable y i the scoe of a quatifier Γ Γ C ( E) Γ, Γ (C) Γ [u/x] Γ x ( I) Γ x Γ [t/x] ( E) Γ [t/x] Γ x ( I) Γ x Γ,[u/x] ϕ Γ ϕ ( E) where the rules( I) ad( E) are subject to the coditio thatuis ot free i the coclusio of the rule, ie, i Γ,, adϕ 1 x((x) y(x,y)) 2 (y) 3 x((x) z (x, z)) reae boud variables, 1 4 (y) z(y,z) E,1 5 z(y,z) E,2, 4 CORRECT, because ow the variable y does ot get catured i the substitutio i lie 4 8 Practice robles You do t have to do all these They are just for ractice Proble 1 Prove the followig i atural deductio: (a) Q xp(x) x(q P(x)) assue thatxdoes ot occur i Q 7 Equivalece of Fitch style ad Prawitz style For the urose of logic, what atters about a roof syste is the derivability relatio, ie, Γ ϕ, eaig there is a derivatio of ϕ fro a set of hyotheses Γ lthough Fitch style ad Prawitz style atural deductio looks quite differet, they both describe the sae derivability relatio The rules of both systes ca be traslated ito rules about the derivability relatio i idetical ways I both cases, it is easy to rove by iductio that the derivability relatio is the sallest relatio satisfyig: Γ Γ ( I) Γ Γ Γ ( I) Γ Γ ( E) Γ Γ ( E) Γ Γ ( I) Γ Γ, ϕ Γ, ϕ Γ ϕ ( E) Γ, Γ ( I) Γ Γ ( E) Γ Γ, Γ ( I) Γ Γ ( E) Γ (b) xp(x) y P(y) (c) xp(x) xq(x) x(p(x) Q(x)) (d) xp(x) xq(x) x(p(x) Q(x)) (e) x yp(x,y) y xp(x,y) (f) x yp(x,y) zp(z,z) (g) xp(x) xq(x) x(p(x) Q(x)) (h) x(p(x) Q(x)) xp(x) xq(x) (i) xp(x,x) y zp(y,z) (j) x((x) (x)) x (x) x (x) (k) x((x) (x)) x((x) (x)) (l) x yp(x,y,x) x y zp(x,y,z) () x(p(x) yp(y)) () x( yp(y) P(x)) 9 10
6 (o) xp(x) xp(x) () x((x) (x)), y((y) C(y)) z((z) C(z)) (q) x(x), x((x) (x)) x((x) (x)) (r) x(x), x((x) (x)) x((x) (x)) (s) x((x) (x)) x (x) x (x) (t) xp(x) yq(y) x y(p(x) Q(y)) Proble 2 Prove the followig by atural deductio Note: each of these robles requires the -eliiatio rule (u) Q xp(x) x(q P(x)) assue thatxdoes ot occur i Q (v) xp(x) y P(y) (w) x((x) (x)) x((x) (x)) (x) x( yp(y) P(x)) (y) x((x) (x)) x (x) x (x) (z) xp(x) yq(y) x y(p(x) Q(y)) Proble 3 I Proble 1 (d), (e), (f), (h), (i), (j), (l), (o), (), (q), (r), rove that the coverse directio does ot hold by givig a couterexale, ie, a structure where it is false 11
CSE 1400 Applied Discrete Mathematics Number Theory and Proofs
CSE 1400 Applied Discrete Mathematics Number Theory ad Proofs Departmet of Computer Scieces College of Egieerig Florida Tech Sprig 01 Problems for Number Theory Backgroud Number theory is the brach of
More informationS. A. ALIEV, Y. I. YELEYKO, Y. V. ZHERNOVYI. STEADY-STATE DISTRIBUTIONS FOR CERTAIN MODIFICATIONS OF THE M/M/1/m QUEUEING SYSTEM
Trasactios of Azerbaija Natioal Acadey of Scieces, Series of Physical-Techical ad Matheatical Scieces: Iforatics ad Cotrol Probles 009 Vol XXIX, 6 P 50-58 S A ALIEV, Y I YELEYKO, Y V ZHERNOVYI STEADY-STATE
More informationPrimes of the form n 2 + 1
Itroductio Ladau s Probles are four robles i Nuber Theory cocerig rie ubers: Goldbach s Cojecture: This cojecture states that every ositive eve iteger greater tha ca be exressed as the su of two (ot ecessarily
More informationSummer MA Lesson 13 Section 1.6, Section 1.7 (part 1)
Suer MA 1500 Lesso 1 Sectio 1.6, Sectio 1.7 (part 1) I Solvig Polyoial Equatios Liear equatio ad quadratic equatios of 1 variable are specific types of polyoial equatios. Soe polyoial equatios of a higher
More informationand then substitute this into the second equation to get 5(11 4 y) 3y
Math E-b Lecture # Notes The priary focus of this week s lecture is a systeatic way of solvig ad uderstadig systes of liear equatios algebraically, geoetrically, ad logically. Eaple #: Solve the syste
More informationJacobi symbols. p 1. Note: The Jacobi symbol does not necessarily distinguish between quadratic residues and nonresidues. That is, we could have ( a
Jacobi sybols efiitio Let be a odd positive iteger If 1, the Jacobi sybol : Z C is the costat fuctio 1 1 If > 1, it has a decopositio ( as ) a product of (ot ecessarily distict) pries p 1 p r The Jacobi
More information3.1. Introduction Assumptions.
Sectio 3. Proofs 3.1. Itroductio. A roof is a carefully reasoed argumet which establishes that a give statemet is true. Logic is a tool for the aalysis of roofs. Each statemet withi a roof is a assumtio,
More informationGENERALIZED KERNEL AND MIXED INTEGRAL EQUATION OF FREDHOLM - VOLTERRA TYPE R. T. Matoog
GENERALIZED KERNEL AND MIXED INTEGRAL EQUATION OF FREDHOLM - VOLTERRA TYPE R. T. Matoog Assistat Professor. Deartet of Matheatics, Faculty of Alied Scieces,U Al-Qura Uiversity, Makkah, Saudi Arabia Abstract:
More informationSection 4.3. Boolean functions
Sectio 4.3. Boolea fuctios Let us take aother look at the simplest o-trivial Boolea algebra, ({0}), the power-set algebra based o a oe-elemet set, chose here as {0}. This has two elemets, the empty set,
More information8.3 Perturbation theory
8.3 Perturbatio theory Slides: Video 8.3.1 Costructig erturbatio theory Text referece: Quatu Mechaics for Scietists ad gieers Sectio 6.3 (u to First order erturbatio theory ) Perturbatio theory Costructig
More informationECE 901 Lecture 4: Estimation of Lipschitz smooth functions
ECE 9 Lecture 4: Estiatio of Lipschitz sooth fuctios R. Nowak 5/7/29 Cosider the followig settig. Let Y f (X) + W, where X is a rado variable (r.v.) o X [, ], W is a r.v. o Y R, idepedet of X ad satisfyig
More informationLecture 10: Bounded Linear Operators and Orthogonality in Hilbert Spaces
Lecture : Bouded Liear Operators ad Orthogoality i Hilbert Spaces 34 Bouded Liear Operator Let ( X, ), ( Y, ) i i be ored liear vector spaces ad { } X Y The, T is said to be bouded if a real uber c such
More informationMath 2784 (or 2794W) University of Connecticut
ORDERS OF GROWTH PAT SMITH Math 2784 (or 2794W) Uiversity of Coecticut Date: Mar. 2, 22. ORDERS OF GROWTH. Itroductio Gaiig a ituitive feel for the relative growth of fuctios is importat if you really
More informationDIRICHLET CHARACTERS AND PRIMES IN ARITHMETIC PROGRESSIONS
DIRICHLET CHARACTERS AND PRIMES IN ARITHMETIC PROGRESSIONS We la to rove the followig Theore (Dirichlet s Theore) Let (a, k) = The the arithetic rogressio cotais ifiitely ay ries a + k : = 0,, 2, } = :
More informationLecture Notes for CS 313H, Fall 2011
Lecture Notes for CS 313H, Fall 011 August 5. We start by examiig triagular umbers: T () = 1 + + + ( = 0, 1,,...). Triagular umbers ca be also defied recursively: T (0) = 0, T ( + 1) = T () + + 1, or usig
More informationName Period ALGEBRA II Chapter 1B and 2A Notes Solving Inequalities and Absolute Value / Numbers and Functions
Nae Period ALGEBRA II Chapter B ad A Notes Solvig Iequalities ad Absolute Value / Nubers ad Fuctios SECTION.6 Itroductio to Solvig Equatios Objectives: Write ad solve a liear equatio i oe variable. Solve
More information1. By using truth tables prove that, for all statements P and Q, the statement
Author: Satiago Salazar Problems I: Mathematical Statemets ad Proofs. By usig truth tables prove that, for all statemets P ad Q, the statemet P Q ad its cotrapositive ot Q (ot P) are equivalet. I example.2.3
More informationLecture Overview. 2 Permutations and Combinations. n(n 1) (n (k 1)) = n(n 1) (n k + 1) =
COMPSCI 230: Discrete Mathematics for Computer Sciece April 8, 2019 Lecturer: Debmalya Paigrahi Lecture 22 Scribe: Kevi Su 1 Overview I this lecture, we begi studyig the fudametals of coutig discrete objects.
More informationChapter 2. Asymptotic Notation
Asyptotic Notatio 3 Chapter Asyptotic Notatio Goal : To siplify the aalysis of ruig tie by gettig rid of details which ay be affected by specific ipleetatio ad hardware. [1] The Big Oh (O-Notatio) : It
More informationConvergence of random variables. (telegram style notes) P.J.C. Spreij
Covergece of radom variables (telegram style otes).j.c. Spreij this versio: September 6, 2005 Itroductio As we kow, radom variables are by defiitio measurable fuctios o some uderlyig measurable space
More informationRecursive Algorithms. Recurrences. Recursive Algorithms Analysis
Recursive Algorithms Recurreces Computer Sciece & Egieerig 35: Discrete Mathematics Christopher M Bourke cbourke@cseuledu A recursive algorithm is oe i which objects are defied i terms of other objects
More informationAutomated Proofs for Some Stirling Number Identities
Autoated Proofs for Soe Stirlig Nuber Idetities Mauel Kauers ad Carste Scheider Research Istitute for Sybolic Coputatio Johaes Kepler Uiversity Altebergerstraße 69 A4040 Liz, Austria Subitted: Sep 1, 2007;
More informationPARTIAL DIFFERENTIAL EQUATIONS SEPARATION OF VARIABLES
Diola Bagayoko (0 PARTAL DFFERENTAL EQUATONS SEPARATON OF ARABLES. troductio As discussed i previous lectures, partial differetial equatios arise whe the depedet variale, i.e., the fuctio, varies with
More informationBasic Sets. Functions. MTH299 - Examples. Example 1. Let S = {1, {2, 3}, 4}. Indicate whether each statement is true or false. (a) S = 4. (e) 2 S.
Basic Sets Example 1. Let S = {1, {2, 3}, 4}. Idicate whether each statemet is true or false. (a) S = 4 (b) {1} S (c) {2, 3} S (d) {1, 4} S (e) 2 S. (f) S = {1, 4, {2, 3}} (g) S Example 2. Compute the
More information42 Dependence and Bases
42 Depedece ad Bases The spa s(a) of a subset A i vector space V is a subspace of V. This spa ay be the whole vector space V (we say the A spas V). I this paragraph we study subsets A of V which spa V
More informationLecture 19. Curve fitting I. 1 Introduction. 2 Fitting a constant to measured data
Lecture 9 Curve fittig I Itroductio Suppose we are preseted with eight poits of easured data (x i, y j ). As show i Fig. o the left, we could represet the uderlyig fuctio of which these data are saples
More informationProof of Goldbach s Conjecture. Reza Javaherdashti
Proof of Goldbach s Cojecture Reza Javaherdashti farzijavaherdashti@gmail.com Abstract After certai subsets of Natural umbers called Rage ad Row are defied, we assume (1) there is a fuctio that ca produce
More informationA string of not-so-obvious statements about correlation in the data. (This refers to the mechanical calculation of correlation in the data.
STAT-UB.003 NOTES for Wedesday 0.MAY.0 We will use the file JulieApartet.tw. We ll give the regressio of Price o SqFt, show residual versus fitted plot, save residuals ad fitted. Give plot of (Resid, Price,
More informationResolution Proofs of Generalized Pigeonhole Principles
Resolutio Proofs of Geeralized Pigeohole Priciples Samuel R. Buss Departmet of Mathematics Uiversity of Califoria, Berkeley Győrgy Turá Departmet of Mathematics, Statistics, ad Computer Sciece Uiversity
More informationMath 4707 Spring 2018 (Darij Grinberg): midterm 2 page 1. Math 4707 Spring 2018 (Darij Grinberg): midterm 2 with solutions [preliminary version]
Math 4707 Sprig 08 Darij Griberg: idter page Math 4707 Sprig 08 Darij Griberg: idter with solutios [preliiary versio] Cotets 0.. Coutig first-eve tuples......................... 3 0.. Coutig legal paths
More informationSolutions to Problem Sheet 1
Solutios to Problem Sheet ) Use Theorem. to rove that loglog for all real 3. This is a versio of Theorem. with the iteger N relaced by the real. Hit Give 3 let N = [], the largest iteger. The, imortatly,
More informationThe inverse eigenvalue problem for symmetric doubly stochastic matrices
Liear Algebra ad its Applicatios 379 (004) 77 83 www.elsevier.com/locate/laa The iverse eigevalue problem for symmetric doubly stochastic matrices Suk-Geu Hwag a,,, Sug-Soo Pyo b, a Departmet of Mathematics
More informationOn Some Identities and Generating Functions for Mersenne Numbers and Polynomials
Turish Joural of Aalysis ad Number Theory, 8, Vol 6, No, 9-97 Available olie at htt://ubsscieubcom/tjat/6//5 Sciece ad Educatio Publishig DOI:69/tjat-6--5 O Some Idetities ad Geeratig Fuctios for Mersee
More informationMathematical Induction
Mathematical Iductio Itroductio Mathematical iductio, or just iductio, is a proof techique. Suppose that for every atural umber, P() is a statemet. We wish to show that all statemets P() are true. I a
More informationTHE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS
THE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS DEMETRES CHRISTOFIDES Abstract. Cosider a ivertible matrix over some field. The Gauss-Jorda elimiatio reduces this matrix to the idetity
More informationIf a subset E of R contains no open interval, is it of zero measure? For instance, is the set of irrationals in [0, 1] is of measure zero?
2 Lebesgue Measure I Chapter 1 we defied the cocept of a set of measure zero, ad we have observed that every coutable set is of measure zero. Here are some atural questios: If a subset E of R cotais a
More informationOPTIMAL ALGORITHMS -- SUPPLEMENTAL NOTES
OPTIMAL ALGORITHMS -- SUPPLEMENTAL NOTES Peter M. Maurer Why Hashig is θ(). As i biary search, hashig assumes that keys are stored i a array which is idexed by a iteger. However, hashig attempts to bypass
More informationLecture 10: Mathematical Preliminaries
Lecture : Mathematical Prelimiaries Obective: Reviewig mathematical cocepts ad tools that are frequetly used i the aalysis of algorithms. Lecture # Slide # I this
More informationChapter Vectors
Chapter 4. Vectors fter readig this chapter you should be able to:. defie a vector. add ad subtract vectors. fid liear combiatios of vectors ad their relatioship to a set of equatios 4. explai what it
More informationRatio of Two Random Variables: A Note on the Existence of its Moments
Metodološki zvezki, Vol. 3, o., 6, -7 Ratio of wo Rado Variables: A ote o the Existece of its Moets Ato Cedilik, Kataria Košel, ad Adre Bleec 3 Abstract o eable correct statistical iferece, the kowledge
More informationInfinite Sequences and Series
Chapter 6 Ifiite Sequeces ad Series 6.1 Ifiite Sequeces 6.1.1 Elemetary Cocepts Simply speakig, a sequece is a ordered list of umbers writte: {a 1, a 2, a 3,...a, a +1,...} where the elemets a i represet
More informationCOMP 2804 Solutions Assignment 1
COMP 2804 Solutios Assiget 1 Questio 1: O the first page of your assiget, write your ae ad studet uber Solutio: Nae: Jaes Bod Studet uber: 007 Questio 2: I Tic-Tac-Toe, we are give a 3 3 grid, cosistig
More information[ 47 ] then T ( m ) is true for all n a. 2. The greatest integer function : [ ] is defined by selling [ x]
[ 47 ] Number System 1. Itroductio Pricile : Let { T ( ) : N} be a set of statemets, oe for each atural umber. If (i), T ( a ) is true for some a N ad (ii) T ( k ) is true imlies T ( k 1) is true for all
More informationMath 21, Winter 2018 Schaeffer/Solis Stanford University Solutions for 20 series from Lecture 16 notes (Schaeffer)
Math, Witer 08 Schaeffer/Solis Staford Uiversity Solutios for 0 series from Lecture 6 otes (Schaeffer) a. r 4 +3 The series has algebraic terms (polyomials, ratioal fuctios, ad radicals, oly), so the test
More information(VII.A) Review of Orthogonality
VII.A Review of Orthogoality At the begiig of our study of liear trasformatios i we briefly discussed projectios, rotatios ad projectios. I III.A, projectios were treated i the abstract ad without regard
More informationday month year documentname/initials 1
ECE47-57 Patter Recogitio Lecture 0 Noaraetric Desity Estiatio -earest-eighbor (NN) Hairog Qi, Gozalez Faily Professor Electrical Egieerig ad Couter Sciece Uiversity of Teessee, Koxville htt://www.eecs.ut.edu/faculty/qi
More informationProperties and Tests of Zeros of Polynomial Functions
Properties ad Tests of Zeros of Polyomial Fuctios The Remaider ad Factor Theorems: Sythetic divisio ca be used to fid the values of polyomials i a sometimes easier way tha substitutio. This is show by
More information2.2 Limits Involving Infinity AP Calculus
. Liits Ivolvig Iiity AP Calculus. LIMITS INVOLVING INFINITY We are goig to look at two kids o its ivolvig iiity. We are iterested i deteriig what happes to a uctio as approaches iiity (i both the positive
More informationSEQUENCES AND SERIES
Sequeces ad 6 Sequeces Ad SEQUENCES AND SERIES Successio of umbers of which oe umber is desigated as the first, other as the secod, aother as the third ad so o gives rise to what is called a sequece. Sequeces
More informationTeacher s Marking. Guide/Answers
WOLLONGONG COLLEGE AUSRALIA eacher s Markig A College of the Uiversity of Wollogog Guide/Aswers Diploa i Iforatio echology Fial Exaiatio Autu 008 WUC Discrete Matheatics his exa represets 60% of the total
More informationA PROBABILITY PROBLEM
A PROBABILITY PROBLEM A big superarket chai has the followig policy: For every Euros you sped per buy, you ear oe poit (suppose, e.g., that = 3; i this case, if you sped 8.45 Euros, you get two poits,
More informationPERIODS OF FIBONACCI SEQUENCES MODULO m. 1. Preliminaries Definition 1. A generalized Fibonacci sequence is an infinite complex sequence (g n ) n Z
PERIODS OF FIBONACCI SEQUENCES MODULO m ARUDRA BURRA Abstract. We show that the Fiboacci sequece modulo m eriodic for all m, ad study the eriod i terms of the modulus.. Prelimiaries Defiitio. A geeralized
More information7 Sequences of real numbers
40 7 Sequeces of real umbers 7. Defiitios ad examples Defiitio 7... A sequece of real umbers is a real fuctio whose domai is the set N of atural umbers. Let s : N R be a sequece. The the values of s are
More informationSZEGO S THEOREM STARTING FROM JENSEN S THEOREM
UPB Sci Bull, Series A, Vol 7, No 3, 8 ISSN 3-77 SZEGO S THEOREM STARTING FROM JENSEN S THEOREM Cǎli Alexe MUREŞAN Mai îtâi vo itroduce Teorea lui Jese şi uele coseciţe ale sale petru deteriarea uǎrului
More information19.1 The dictionary problem
CS125 Lecture 19 Fall 2016 19.1 The dictioary proble Cosider the followig data structural proble, usually called the dictioary proble. We have a set of ites. Each ite is a (key, value pair. Keys are i
More informationMath 155 (Lecture 3)
Math 55 (Lecture 3) September 8, I this lecture, we ll cosider the aswer to oe of the most basic coutig problems i combiatorics Questio How may ways are there to choose a -elemet subset of the set {,,,
More informationChapter IV Integration Theory
Chapter IV Itegratio Theory Lectures 32-33 1. Costructio of the itegral I this sectio we costruct the abstract itegral. As a matter of termiology, we defie a measure space as beig a triple (, A, µ), where
More informationUncertainty Principle of Mathematics
Septeber 27 Ucertaity Priciple of Matheatics Shachter Mourici Israel, Holo ourici@walla.co.il Preface This short paper prove that atheatically, Reality is ot real. This short paper is ot about Heiseberg's
More informationRecurrence Relations
Recurrece Relatios Aalysis of recursive algorithms, such as: it factorial (it ) { if (==0) retur ; else retur ( * factorial(-)); } Let t be the umber of multiplicatios eeded to calculate factorial(). The
More informationWe have also learned that, thanks to the Central Limit Theorem and the Law of Large Numbers,
Cofidece Itervals III What we kow so far: We have see how to set cofidece itervals for the ea, or expected value, of a oral probability distributio, both whe the variace is kow (usig the stadard oral,
More informationPaired Data and Linear Correlation
Paired Data ad Liear Correlatio Example. A group of calculus studets has take two quizzes. These are their scores: Studet st Quiz Score ( data) d Quiz Score ( data) 7 5 5 0 3 0 3 4 0 5 5 5 5 6 0 8 7 0
More informationECE Spring Prof. David R. Jackson ECE Dept. Notes 20
ECE 6341 Sprig 016 Prof. David R. Jackso ECE Dept. Notes 0 1 Spherical Wave Fuctios Cosider solvig ψ + k ψ = 0 i spherical coordiates z φ θ r y x Spherical Wave Fuctios (cot.) I spherical coordiates we
More informationAVERAGE MARKS SCALING
TERTIARY INSTITUTIONS SERVICE CENTRE Level 1, 100 Royal Street East Perth, Wester Australia 6004 Telephoe (08) 9318 8000 Facsiile (08) 95 7050 http://wwwtisceduau/ 1 Itroductio AVERAGE MARKS SCALING I
More informationSolutions to Problem Set 7
8.78 Solutios to Problem Set 7. If the umber is i S, we re doe sice it s relatively rime to everythig. So suose S. Break u the remaiig elemets ito airs {, }, {4, 5},..., {, + }. By the Pigeohole Pricile,
More informationBertrand s postulate Chapter 2
Bertrad s postulate Chapter We have see that the sequece of prie ubers, 3, 5, 7,... is ifiite. To see that the size of its gaps is ot bouded, let N := 3 5 p deote the product of all prie ubers that are
More informationLecture 11. Solution of Nonlinear Equations - III
Eiciecy o a ethod Lecture Solutio o Noliear Equatios - III The eiciecy ide o a iterative ethod is deied by / E r r: rate o covergece o the ethod : total uber o uctios ad derivative evaluatios at each step
More informationBeurling Integers: Part 2
Beurlig Itegers: Part 2 Isomorphisms Devi Platt July 11, 2015 1 Prime Factorizatio Sequeces I the last article we itroduced the Beurlig geeralized itegers, which ca be represeted as a sequece of real umbers
More informationSummer High School 2009 Aaron Bertram
Summer High School 009 Aaro Bertram 3 Iductio ad Related Stuff Let s thik for a bit about the followig two familiar equatios: Triagle Number Equatio Square Number Equatio: + + 3 + + = ( + + 3 + 5 + + (
More informationSNAP Centre Workshop. Basic Algebraic Manipulation
SNAP Cetre Workshop Basic Algebraic Maipulatio 8 Simplifyig Algebraic Expressios Whe a expressio is writte i the most compact maer possible, it is cosidered to be simplified. Not Simplified: x(x + 4x)
More informationMatrix Algebra 2.3 CHARACTERIZATIONS OF INVERTIBLE MATRICES Pearson Education, Inc.
2 Matrix Algebra 2.3 CHARACTERIZATIONS OF INVERTIBLE MATRICES 2012 Pearso Educatio, Ic. Theorem 8: Let A be a square matrix. The the followig statemets are equivalet. That is, for a give A, the statemets
More informationSeptember 2012 C1 Note. C1 Notes (Edexcel) Copyright - For AS, A2 notes and IGCSE / GCSE worksheets 1
September 0 s (Edecel) Copyright www.pgmaths.co.uk - For AS, A otes ad IGCSE / GCSE worksheets September 0 Copyright www.pgmaths.co.uk - For AS, A otes ad IGCSE / GCSE worksheets September 0 Copyright
More informationMP and MT-implications on a finite scale
MP ad MT-implicatios o a fiite scale M Mas Dpt de Matemàtiques i If Uiversitat de les Illes Balears 07122 Palma de Mallorca Spai dmimmg0@uibes M Moserrat Dpt de Matemàtiques i If Uiversitat de les Illes
More informationJORGE LUIS AROCHA AND BERNARDO LLANO. Average atchig polyoial Cosider a siple graph G =(V E): Let M E a atchig of the graph G: If M is a atchig, the a
MEAN VALUE FOR THE MATCHING AND DOMINATING POLYNOMIAL JORGE LUIS AROCHA AND BERNARDO LLANO Abstract. The ea value of the atchig polyoial is coputed i the faily of all labeled graphs with vertices. We dee
More informationThe Hypergeometric Coupon Collection Problem and its Dual
Joural of Idustrial ad Systes Egieerig Vol., o., pp -7 Sprig 7 The Hypergeoetric Coupo Collectio Proble ad its Dual Sheldo M. Ross Epstei Departet of Idustrial ad Systes Egieerig, Uiversity of Souther
More informationSETS, LOGIC, PROOFS, AND RELATIONS
VII. SETS, LOGIC, PROOFS, AND RELATIONS Durig your first year especially, you will do a lot of proofs. If you have t had a proof-based math class before, these will seem weird ad awkward. They are simply
More informationThe Borel hierarchy classifies subsets of the reals by their topological complexity. Another approach is to classify them by size.
Lecture 7: Measure ad Category The Borel hierarchy classifies subsets of the reals by their topological complexity. Aother approach is to classify them by size. Filters ad Ideals The most commo measure
More informationTheorem: Let A n n. In this case that A does reduce to I, we search for A 1 as the solution matrix X to the matrix equation A X = I i.e.
Theorem: Let A be a square matrix The A has a iverse matrix if ad oly if its reduced row echelo form is the idetity I this case the algorithm illustrated o the previous page will always yield the iverse
More informationGeometry Unit 3 Notes Parallel and Perpendicular Lines
Review Cocepts: Equatios of Lies Geoetry Uit Notes Parallel ad Perpedicular Lies Syllabus Objective:. - The studet will differetiate aog parallel, perpedicular, ad skew lies. Lies that DO NOT itersect:
More informationNuclear Physics Worksheet
Nuclear Physics Worksheet The ucleus [lural: uclei] is the core of the atom ad is comosed of articles called ucleos, of which there are two tyes: rotos (ositively charged); the umber of rotos i a ucleus
More informationProofs. Indirect Proofs
Math 2326 Fall 2008 Proofs. Idirect Proofs 9fte, it is very difficult to give a direct approach to! x (P(x) " C(x))D the coectio betwee P!x) ad C!x) might ot be suitable to this approach. For example,
More informationX. Perturbation Theory
X. Perturbatio Theory I perturbatio theory, oe deals with a ailtoia that is coposed Ĥ that is typically exactly solvable of two pieces: a referece part ad a perturbatio ( Ĥ ) that is assued to be sall.
More information6.4 Binomial Coefficients
64 Bioial Coefficiets Pascal s Forula Pascal s forula, aed after the seveteeth-cetury Frech atheaticia ad philosopher Blaise Pascal, is oe of the ost faous ad useful i cobiatorics (which is the foral ter
More informationProblem Set 1 Solutions
V R N N N R f ] R S Itroductio to Algorithms September 12, 2003 Massachusetts Istitute of echology 6046J/18410J rofessors Shafi Goldwasser ad Silvio Micali Hadout 7 roblem Set 1 Solutios roblem 1-1 Recurrece
More informationPRIME RECIPROCALS AND PRIMES IN ARITHMETIC PROGRESSION
PRIME RECIPROCALS AND PRIMES IN ARITHMETIC PROGRESSION DANIEL LITT Abstract. This aer is a exository accout of some (very elemetary) argumets o sums of rime recirocals; though the statemets i Proositios
More information1.2 AXIOMATIC APPROACH TO PROBABILITY AND PROPERTIES OF PROBABILITY MEASURE 1.2 AXIOMATIC APPROACH TO PROBABILITY AND
NTEL- robability ad Distributios MODULE 1 ROBABILITY LECTURE 2 Topics 1.2 AXIOMATIC AROACH TO ROBABILITY AND ROERTIES OF ROBABILITY MEASURE 1.2.1 Iclusio-Exclusio Forula I the followig sectio we will discuss
More information(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3
MATH 337 Sequeces Dr. Neal, WKU Let X be a metric space with distace fuctio d. We shall defie the geeral cocept of sequece ad limit i a metric space, the apply the results i particular to some special
More informationThe "Last Riddle" of Pierre de Fermat, II
The "Last Riddle" of Pierre de Fermat, II Alexader Mitkovsky mitkovskiy@gmail.com Some time ago, I published a work etitled, "The Last Riddle" of Pierre de Fermat " i which I had writte a proof of the
More informationa. How might the Egyptians have expressed the number? What about?
A-APR Egytia Fractios II Aligmets to Cotet Stadards: A-APR.D.6 Task Aciet Egytias used uit fractios, such as ad, to rereset all other fractios. For examle, they might exress the umber as +. The Egytias
More informationtests 17.1 Simple versus compound
PAS204: Lecture 17. tests UMP ad asymtotic I this lecture, we will idetify UMP tests, wherever they exist, for comarig a simle ull hyothesis with a comoud alterative. We also look at costructig tests based
More informationA Note on Sums of Independent Random Variables
Cotemorary Mathematics Volume 00 XXXX A Note o Sums of Ideedet Radom Variables Pawe l Hitczeko ad Stehe Motgomery-Smith Abstract I this ote a two sided boud o the tail robability of sums of ideedet ad
More informationc 2006 Society for Industrial and Applied Mathematics
SIAM J. MATRIX ANAL. APPL. Vol. 7, No. 3, pp. 851 860 c 006 Society for Idustrial ad Applied Mathematics EXTREMAL EIGENVALUES OF REAL SYMMETRIC MATRICES WITH ENTRIES IN AN INTERVAL XINGZHI ZHAN Abstract.
More informationAlternating Series. 1 n 0 2 n n THEOREM 9.14 Alternating Series Test Let a n > 0. The alternating series. 1 n a n.
0_0905.qxd //0 :7 PM Page SECTION 9.5 Alteratig Series Sectio 9.5 Alteratig Series Use the Alteratig Series Test to determie whether a ifiite series coverges. Use the Alteratig Series Remaider to approximate
More informationCHAPTER I: Vector Spaces
CHAPTER I: Vector Spaces Sectio 1: Itroductio ad Examples This first chapter is largely a review of topics you probably saw i your liear algebra course. So why cover it? (1) Not everyoe remembers everythig
More informationOrthogonal Function Solution of Differential Equations
Royal Holloway Uiversity of Loo Departet of Physics Orthogoal Fuctio Solutio of Differetial Equatios trouctio A give oriary ifferetial equatio will have solutios i ters of its ow fuctios Thus, for eaple,
More informationLecture Notes for Analysis Class
Lecture Notes for Aalysis Class Topological Spaces A topology for a set X is a collectio T of subsets of X such that: (a) X ad the empty set are i T (b) Uios of elemets of T are i T (c) Fiite itersectios
More informationThe Riemann Zeta Function
Physics 6A Witer 6 The Riema Zeta Fuctio I this ote, I will sketch some of the mai properties of the Riema zeta fuctio, ζ(x). For x >, we defie ζ(x) =, x >. () x = For x, this sum diverges. However, we
More informationDiscrete Mathematics: Lectures 8 and 9 Principle of Inclusion and Exclusion Instructor: Arijit Bishnu Date: August 11 and 13, 2009
Discrete Matheatics: Lectures 8 ad 9 Priciple of Iclusio ad Exclusio Istructor: Arijit Bishu Date: August ad 3, 009 As you ca observe by ow, we ca cout i various ways. Oe such ethod is the age-old priciple
More informationTEACHER CERTIFICATION STUDY GUIDE
COMPETENCY 1. ALGEBRA SKILL 1.1 1.1a. ALGEBRAIC STRUCTURES Kow why the real ad complex umbers are each a field, ad that particular rigs are ot fields (e.g., itegers, polyomial rigs, matrix rigs) Algebra
More informationConfidence Intervals
Cofidece Itervals Berli Che Deartmet of Comuter Sciece & Iformatio Egieerig Natioal Taiwa Normal Uiversity Referece: 1. W. Navidi. Statistics for Egieerig ad Scietists. Chater 5 & Teachig Material Itroductio
More information1 (12 points) Red-Black trees and Red-Purple trees
CS6 Hoework 3 Due: 29 April 206, 2 oo Subit o Gradescope Haded out: 22 April 206 Istructios: Please aswer the followig questios to the best of your ability. If you are asked to desig a algorith, please
More information