Foundations of Computer Science Comp109
|
|
- Lily Osborne
- 5 years ago
- Views:
Transcription
1 Reding Foundtions o Computer Siene Comp09 University o Liverpool Boris Konev konev@liverpool..uk Prt. Funtion Comp09 Foundtions o Computer Siene Disrete Mthemtis nd Its Applitions K. Rosen, Setion.. Disrete Mthemtis with Applitions S. Epp, Chpter 7. Prt. Funtion / Prt. Funtion / Contents Funtions Funtions/methods on progrmming Funtions: deinitions nd emples Domin, odomin, nd rnge Injetive, surjetive, nd ijetive untions Invertile untions Compositions o untions Funtions nd rdinlity Pigeon hole priniple Crdinlity o ininite sets 0 Chpter Speking Mthemtilly untion mhine The squring untion rom R to R is deined y the ormul () = or ll rel numers. Thismensthtnomtterwhtrelnumerinputissustitutedor, the output o will e the squre o tht numer. This ide n e represented y writing ( ) =. In other words, sends eh rel numer to,or,symolilly, :.Notethtthevrile is dummy vrile; ny other symol ould reple it, s long s the replement is mde everywhere the ppers. Prt. Funtion The / suessor untion g rom Z to Z is deined y the ormul g(n) = n +. Prt Thus,. Funtion / no mtter wht integer is sustituted or n, theoutputog will e tht numer plus one: g( ) = +. In other words, g sends eh integer n to n +, or, symolilly, Deinition g: n n +. An emple o onstnt untion is the untion h rom Q to Z deined y the ormul h(r) = orllrtionlnumersr. Thisuntionsendsehrtionlnumer A untion rom set A to set B is n ssignment o etly one elementr to. In other words, no mtter wht the input, the output is lwys : h( ) = or h: r. o B to eh element o A. The untions, g,ndh re represented y the untion mhines in Figure... Input Emple.. Funtions Deined y Formuls Figure.. () Output Emples: y = y = sin() irst letter o your nme Jv puli int (int ) { return +; } C/C++ int (int ) { return +; } Python de (int ): return + Prt. Funtion / We write () = i is the unique element o B ssigned y the untion to the element o. n r I is untion rom A to B we write : A B. Figure : A untion : {,, } {,, } squring untion () () = suessor untion () Figure.. g(n) = n + onstnt untion () h(r) = Auntionisnentityinitsownright.Itnethoughtosertinreltionship etween sets or s n input/output mhine tht opertes ording to ertin rule. This is the reson why untion is generlly denoted y single symol Figure or string: o symols, No untion suh s, G, olog,orsin. AreltionissusetoCrtesinprodutnduntionisspeilkindoreltion. Speiilly, i nd g re untions rom set A to set B, then ={(, y) A B y = ()} nd g ={(, y) A B y = g()}. It ollows tht 7 7 Figure : No untion equls g, written = g, i, nd only i, () = g() or ll in A. / Prt. Funtion Prt. Funtion 7 / Prt. Funtion 8 /
2 Domin, odomin, nd rnge Codomin vs rnge omposition o nd g euse n element is ted upon irst y nd then y g. (g )() = g( ()) or ll X, Composition o untions where g is red g irle ndg( ()) is red g o o. The untion is lled the I omposition : X Y nd g : Yo Z nd re untions, g. then their omposition g is untion rom X to Z given y A B (g )() = g(()). This deinition is shown shemtilly elow. Suppose : A B. A is lled the domin o. B is lled the odomin o. The rnge (A) o is (A) = {() A}. (A) Figure : the rnge o X Y () Y' g Z g( ()) = (g )() g Prt. Funtion 9 / Emple Consider the untion : R R given y () = nd the untion g : R R given y g() = +. Clulte g, g, nd g g. Prt. Funtion 0 / Injetive (one-to-one) untions! Emple 7.. Composition o Funtions Deined y Formuls Prt. Funtion / Let : Z Z e the suessor untion nd let g: Z Z e the squring untion Surjetive (or onto) untions (n) = n + orlln Z nd g(n) = n or ll n Z.. Find the ompositions g nd g. Deinition Let : A B e untion. We ll n injetive (or one-to-one) Cution! Be reul not. Is g = g?eplin. untion i to onuse g nd Deinition : A B is surjetive (or onto) i the rnge o oinides with ( ) = ( ) g( = ()): orgll is, the nme A. Solution the odomin o. This mens tht or every B there eists A with o the untion wheres = (). This is logilly equivlent to g( ()) ( is ) the (vlue ) nd o so injetive. The untions g nd g re deined s ollows: untions never repet vlues. In other untion words, t dierent. inputs give Emples (g )(n) = g( (n)) = g(n + ) = (n + ) or ll n Z, dierent outputs. : Z Z given y () = nd is not surjetive. Emples h : Z Z given y h() = is not surjetive. ( g)(n) = (g(n)) = (n ) = n + orlln Z. : Z Z given y () = is not injetive. h : Q Q given y h () = is surjetive. h : Z Z given y h() = is injetive. Prt. Funtion / Copyright 00 Cengge Lerning. All Rights Reserved. My not e opied, snned, or duplited, in whole or in prt. Due to eletroni rights, some third prty ontent my e suppressed rom the ebook nd/or echp Editoril review hs deemed tht ny suppressed ontent does not mterilly et the overll lerning eperiene. Cengge Lerning reserves the right to remove dditionl ontent t ny time i susequent rights restri Prt. Funtion / Prt. Funtion / Clssiy : {,, } {,, } given y Clssiy g : {,, } {,, } given y Clssiy h : {,, } {, } given y Prt. Funtion / Prt. Funtion / Prt. Funtion 7 /
3 Clssiy h : {,, } {,, } given y Bijetions Inverse untions We ll ijetive i is oth injetive nd surjetive. Emples : Q Q given y () = is ijetive. I is ijetion rom set X to set Y, then there is untion rom Y to X tht undoes the tion o ; tht is, it sends eh element o Y k to the element o X tht it me rom. This untion is lled the inverse untion or. Then () = i, nd only i, () =. Prt. Funtion 8 / Prt. Funtion 9 / Prt. Funtion 0 / Emple Emple Bijetions nd representtions k : R R given y k() = + is invertile nd k (y) = (y ). Let A = { R, } nd : A A e given y () =. Show tht is ijetive nd determine the inverse untion. Let S = {,,..., n} nd let B n e the set o it strings o length n. The untion : Pow(S) B n whih ssigns eh suset A o S to its hrteristi vetor is ijetion. Prt. Funtion / Prt. Funtion / Prt. Funtion / Crdinlity o inite sets nd untions The pigeonhole priniple Pigeons nd pigeonholes Rell: The rdinlity o inite set S is the numer o elements in S A ijetion : S {,..., n}. For inite sets A nd B A B i there is surjetive untion rom A to B. A B i there is injetive untion rom A to B. A = B i there is ijetion rom A to B. Let : A B e untion where A nd B re inite sets. The pigeonhole priniple sttes tht i A > B then t lest one vlue o ours more thn one. In other words, we hve () = () or some distint elements, o A. I (N+) pigeons oupy N holes, then some hole must hve t lest pigeons. Prt. Funtion / Prt. Funtion / Prt. Funtion /
4 Emple Emple Emple Prolem. There re people on us. Show tht t lest two o them hve irthdy in the sme month o the yer. Prolem. How mny dierent surnmes must pper in telephone diretory to gurntee tht t lest two o the surnmes egin with the sme letter o the lphet nd end with the sme letter o the lphet? Prolem. Five numers re seleted rom the numers,,,,,, 7 nd 8. Show tht there will lwys e two o the numers tht sum to 9. Prt. Funtion 7 / Prt. Funtion 8 / Prt. Funtion 9 / Etended pigeonhole priniple Emple Emple Consider untion : A B where A nd B re inite sets nd A > k B or some nturl numer k. Then, there is vlue o whih ours t lest k + times. Prolem. How mny dierent surnmes must pper in telephone diretory to gurntee tht t lest ive o the surnmes egin with the sme letter o the lphet nd end with the sme letter o the lphet? Prolem. Show tht in ny group o si people there re either three who ll know eh other or three omplete strngers. Prt. Funtion 0 / Prt. Funtion / Prt. Funtion / Bijetions nd rdinlity Emple: The rdinlity o the power set. Power set nd it vetors Rell tht the rdinlity o inite set is the numer o elements in the set. Sets A nd B hve the sme rdinlity i there is ijetion rom A to B. Deinition The power set Pow(A) o set A is the set o ll susets o A. In other words, Pow(A) = {C C A}. For ll n Z + nd ll sets A: i A = n, then Pow(A) = n. Rell tht i ll elements o set A re drwn rom some ordered sequene S = s,..., s n : the hrteristi vetor o A is the sequene (,..., n ) where i = { i si A 0 i s i A We use the orrespondene etween it vetors nd susets: Pow(A) is the numer o it vetors o length n. Prt. Funtion / Prt. Funtion / Prt. Funtion /
5 The numer o n-it vetors is n The numer o n-it vetors is n Ininite sets Sets A nd B hve the sme rdinlity i there is ijetion rom A to B. Emples: We prove the sttement y indution. Bse Cse: Tke n =. There re two it vetors o length : (0) nd (). Indutive Step: Assume tht the property holds or n = m, so the numer o m-it vetors is m. Now onsider the set B o ll (m + )-it vetors. We must show tht B = m+. Every (,,..., m+ ) B strts with n m-it vetor (,,..., m ) ollowed y m+, whih n e either 0 or. Thus B = m + m = m+. Z nd even integers onsider (n) = n { R 0 < < } nd R + onsider g() = { R 0 < < } nd R 7. Crdinlity with Applitions to Comput Deine untion F: S R s ollows: Drw numer line nd ple the intervl, S, somewhtenlrgednde irle, tngent to the line ove the point 0. This is shown elow. L Numer line F() 0 Prt. Funtion / Countle sets Prt. Funtion 7 / Countle Sets: Q For eh point on the irle representing S, drw stright line L through most point o the irle nd. LetF() e the point o intersetion o L nd the line. (F() is lled the projetion o onto the numer line.) It Prt is ler. Funtion rom the geometry o the sitution tht distint points on 8 the / ir distint points on the numer line, so F is one-to-one. In ddition, given ny p Unountle sets the numer line, line n e drwn through y nd the top-most point o the ir line must interset the irle t some point, nd,ydeinition,y = F(). T onto. Hene F is one-to-one orrespondene rom S to R, nd so S nd R sme rdinlity. A set tht is either inite or hs the sme rdinlity s N is lled ountle. Z Prt. Funtion 9 / Cntor s digonl rgument Prt. Funtion 0 /... You know tht every positive integer is rel numer, so putting Em together with Cntor s theorem (Theorem 7..) shows tht the ininity o the relnumers is greter thn theininity othesetollpositive integers. Inee you re sked to show tht ny set nd its power set hve dierent rdinlities. there is one-to-one untion rom ny set to its power set (the untion tht t element to the singleton set {}), this implies tht the rdinlity o ny se thn the rdinlity o its power set. As result, you n rete n ininite seq lrger nd lrger ininities! For emple, you ould egin with Z, the set o ll nd tke Z, P(Z), P(P(Z)), P(P(P(Z))),ndsoorth. A set tht is not ountle is lled unountle. Applition: Crdinlity nd Computility S = { R 0 < < } is unountle Knowledge o the ountility nd unountility o ertin sets n e used to question o omputility. We egin y showing tht ertin set is ountle. Emple 7.. Countility o the Set o Computer Progrms in Computer Lnguge Show tht the set o ll omputer progrms in given omputer lnguge is ou Solution This result is onsequene o the t tht ny omputer progrm lnguge n e regrded s inite string o symols in the (inite) lphet o guge. Given ny omputer lnguge, let P e the set o ll omputer progrms in guge. Either P is inite or P is ininite. I P is inite, then P is ountle n done. I P is ininite, set up inry ode to trnslte the symols o the lp the lnguge into strings o 0 s nd s. (For instne, either the seven-it A Stndrd Code or Inormtion Interhnge, known s ASCII, or the eight-it E Binry-Coded Prt. Funtion Deiml Interhnge Code, known s EBCDIC, might e used.) / For eh progrm in P, usetheodetotrnsltellthesymolsintheprog 0 s nd s. Order these strings y length, putting shorter eore longer, nd Suppose S is ountle. Then the deiml representtions o these numers n e written s list Copyright 00 Cengge Lerning. All Rights Reserved. My not e opied, snned, or duplited, in whole or in prt. Due to eletroni rights, some third prty ontent my e suppressed rom the ebook nd/or ec Editoril review hs deemed tht ny suppressed ontent does not mterilly et the overll lerning eperiene. Cengge Lerning reserves the right to remove dditionl ontent t ny time i susequent rights re = n... = n... = n.... n = 0. n n n... nn.... Let d = 0.d d d... d n... where {, i ii d i =, i ii = Then d is not in the sequene,, Prt. Funtion /
Discrete Structures Lecture 11
Introdution Good morning. In this setion we study funtions. A funtion is mpping from one set to nother set or, perhps, from one set to itself. We study the properties of funtions. A mpping my not e funtion.
More information1 PYTHAGORAS THEOREM 1. Given a right angled triangle, the square of the hypotenuse is equal to the sum of the squares of the other two sides.
1 PYTHAGORAS THEOREM 1 1 Pythgors Theorem In this setion we will present geometri proof of the fmous theorem of Pythgors. Given right ngled tringle, the squre of the hypotenuse is equl to the sum of the
More informationCS311 Computational Structures Regular Languages and Regular Grammars. Lecture 6
CS311 Computtionl Strutures Regulr Lnguges nd Regulr Grmmrs Leture 6 1 Wht we know so fr: RLs re losed under produt, union nd * Every RL n e written s RE, nd every RE represents RL Every RL n e reognized
More informationFunctions. mjarrar Watch this lecture and download the slides
9/6/7 Mustf Jrrr: Leture Notes in Disrete Mthemtis. Birzeit University Plestine 05 Funtions 7.. Introdution to Funtions 7. One-to-One Onto Inverse funtions mjrrr 05 Wth this leture nd downlod the slides
More informationDiscrete Structures, Test 2 Monday, March 28, 2016 SOLUTIONS, VERSION α
Disrete Strutures, Test 2 Mondy, Mrh 28, 2016 SOLUTIONS, VERSION α α 1. (18 pts) Short nswer. Put your nswer in the ox. No prtil redit. () Consider the reltion R on {,,, d with mtrix digrph of R.. Drw
More informationLinear Algebra Introduction
Introdution Wht is Liner Alger out? Liner Alger is rnh of mthemtis whih emerged yers k nd ws one of the pioneer rnhes of mthemtis Though, initilly it strted with solving of the simple liner eqution x +
More informationPYTHAGORAS THEOREM WHAT S IN CHAPTER 1? IN THIS CHAPTER YOU WILL:
PYTHAGORAS THEOREM 1 WHAT S IN CHAPTER 1? 1 01 Squres, squre roots nd surds 1 02 Pythgors theorem 1 03 Finding the hypotenuse 1 04 Finding shorter side 1 05 Mixed prolems 1 06 Testing for right-ngled tringles
More informationSECTION A STUDENT MATERIAL. Part 1. What and Why.?
SECTION A STUDENT MATERIAL Prt Wht nd Wh.? Student Mteril Prt Prolem n > 0 n > 0 Is the onverse true? Prolem If n is even then n is even. If n is even then n is even. Wht nd Wh? Eploring Pure Mths Are
More informationHomework 3 Solutions
CS 341: Foundtions of Computer Science II Prof. Mrvin Nkym Homework 3 Solutions 1. Give NFAs with the specified numer of sttes recognizing ech of the following lnguges. In ll cses, the lphet is Σ = {,1}.
More informationAP Calculus BC Chapter 8: Integration Techniques, L Hopital s Rule and Improper Integrals
AP Clulus BC Chpter 8: Integrtion Tehniques, L Hopitl s Rule nd Improper Integrls 8. Bsi Integrtion Rules In this setion we will review vrious integrtion strtegies. Strtegies: I. Seprte the integrnd into
More information5. Every rational number have either terminating or repeating (recurring) decimal representation.
CHAPTER NUMBER SYSTEMS Points to Rememer :. Numer used for ounting,,,,... re known s Nturl numers.. All nturl numers together with zero i.e. 0,,,,,... re known s whole numers.. All nturl numers, zero nd
More informationNON-DETERMINISTIC FSA
Tw o types of non-determinism: NON-DETERMINISTIC FS () Multiple strt-sttes; strt-sttes S Q. The lnguge L(M) ={x:x tkes M from some strt-stte to some finl-stte nd ll of x is proessed}. The string x = is
More information12.4 Similarity in Right Triangles
Nme lss Dte 12.4 Similrit in Right Tringles Essentil Question: How does the ltitude to the hpotenuse of right tringle help ou use similr right tringles to solve prolems? Eplore Identifing Similrit in Right
More informationLecture 6: Coding theory
Leture 6: Coing theory Biology 429 Crl Bergstrom Ferury 4, 2008 Soures: This leture loosely follows Cover n Thoms Chpter 5 n Yeung Chpter 3. As usul, some of the text n equtions re tken iretly from those
More information2.4 Linear Inequalities and Interval Notation
.4 Liner Inequlities nd Intervl Nottion We wnt to solve equtions tht hve n inequlity symol insted of n equl sign. There re four inequlity symols tht we will look t: Less thn , Less thn or
More informationFirst Midterm Examination
Çnky University Deprtment of Computer Engineering 203-204 Fll Semester First Midterm Exmintion ) Design DFA for ll strings over the lphet Σ = {,, c} in which there is no, no nd no cc. 2) Wht lnguge does
More informationProject 6: Minigoals Towards Simplifying and Rewriting Expressions
MAT 51 Wldis Projet 6: Minigols Towrds Simplifying nd Rewriting Expressions The distriutive property nd like terms You hve proly lerned in previous lsses out dding like terms ut one prolem with the wy
More informationThe University of Nottingham SCHOOL OF COMPUTER SCIENCE A LEVEL 2 MODULE, SPRING SEMESTER MACHINES AND THEIR LANGUAGES ANSWERS
The University of ottinghm SCHOOL OF COMPUTR SCIC A LVL 2 MODUL, SPRIG SMSTR 2015 2016 MACHIS AD THIR LAGUAGS ASWRS Time llowed TWO hours Cndidtes my omplete the front over of their nswer ook nd sign their
More information4.6 Numerical Integration
.6 Numericl Integrtion 5.6 Numericl Integrtion Approimte definite integrl using the Trpezoidl Rule. Approimte definite integrl using Simpson s Rule. Anlze the pproimte errors in the Trpezoidl Rule nd Simpson
More informationMAT 403 NOTES 4. f + f =
MAT 403 NOTES 4 1. Fundmentl Theorem o Clulus We will proo more generl version o the FTC thn the textook. But just like the textook, we strt with the ollowing proposition. Let R[, ] e the set o Riemnn
More informationChapter 6 Continuous Random Variables and Distributions
Chpter 6 Continuous Rndom Vriles nd Distriutions Mny economic nd usiness mesures such s sles investment consumption nd cost cn hve the continuous numericl vlues so tht they cn not e represented y discrete
More informationPAIR OF LINEAR EQUATIONS IN TWO VARIABLES
PAIR OF LINEAR EQUATIONS IN TWO VARIABLES. Two liner equtions in the sme two vriles re lled pir of liner equtions in two vriles. The most generl form of pir of liner equtions is x + y + 0 x + y + 0 where,,,,,,
More informationApril 8, 2017 Math 9. Geometry. Solving vector problems. Problem. Prove that if vectors and satisfy, then.
pril 8, 2017 Mth 9 Geometry Solving vetor prolems Prolem Prove tht if vetors nd stisfy, then Solution 1 onsider the vetor ddition prllelogrm shown in the Figure Sine its digonls hve equl length,, the prllelogrm
More informationTrigonometry Revision Sheet Q5 of Paper 2
Trigonometry Revision Sheet Q of Pper The Bsis - The Trigonometry setion is ll out tringles. We will normlly e given some of the sides or ngles of tringle nd we use formule nd rules to find the others.
More information3 x x x 1 3 x a a a 2 7 a Ba 1 NOW TRY EXERCISES 89 AND a 2/ Evaluate each expression.
SECTION. Eponents nd Rdicls 7 B 7 7 7 7 7 7 7 NOW TRY EXERCISES 89 AND 9 7. EXERCISES CONCEPTS. () Using eponentil nottion, we cn write the product s. In the epression 3 4,the numer 3 is clled the, nd
More information( ) { } [ ] { } [ ) { } ( ] { }
Mth 65 Prelulus Review Properties of Inequlities 1. > nd > >. > + > +. > nd > 0 > 4. > nd < 0 < Asolute Vlue, if 0, if < 0 Properties of Asolute Vlue > 0 1. < < > or
More informationChapter 3 Single Random Variables and Probability Distributions (Part 2)
Chpter 3 Single Rndom Vriles nd Proilit Distriutions (Prt ) Contents Wht is Rndom Vrile? Proilit Distriution Functions Cumultive Distriution Function Proilit Densit Function Common Rndom Vriles nd their
More informationInstructions. An 8.5 x 11 Cheat Sheet may also be used as an aid for this test. MUST be original handwriting.
ID: B CSE 2021 Computer Orgniztion Midterm Test (Fll 2009) Instrutions This is losed ook, 80 minutes exm. The MIPS referene sheet my e used s n id for this test. An 8.5 x 11 Chet Sheet my lso e used s
More informationA Lower Bound for the Length of a Partial Transversal in a Latin Square, Revised Version
A Lower Bound for the Length of Prtil Trnsversl in Ltin Squre, Revised Version Pooy Htmi nd Peter W. Shor Deprtment of Mthemtil Sienes, Shrif University of Tehnology, P.O.Bo 11365-9415, Tehrn, Irn Deprtment
More informationPart 4. Integration (with Proofs)
Prt 4. Integrtion (with Proofs) 4.1 Definition Definition A prtition P of [, b] is finite set of points {x 0, x 1,..., x n } with = x 0 < x 1
More informationFirst Midterm Examination
24-25 Fll Semester First Midterm Exmintion ) Give the stte digrm of DFA tht recognizes the lnguge A over lphet Σ = {, } where A = {w w contins or } 2) The following DFA recognizes the lnguge B over lphet
More informationCS 573 Automata Theory and Formal Languages
Non-determinism Automt Theory nd Forml Lnguges Professor Leslie Lnder Leture # 3 Septemer 6, 2 To hieve our gol, we need the onept of Non-deterministi Finite Automton with -moves (NFA) An NFA is tuple
More information6.5 Improper integrals
Eerpt from "Clulus" 3 AoPS In. www.rtofprolemsolving.om 6.5. IMPROPER INTEGRALS 6.5 Improper integrls As we ve seen, we use the definite integrl R f to ompute the re of the region under the grph of y =
More informationSection 2.3. Matrix Inverses
Mtri lger Mtri nverses Setion.. Mtri nverses hree si opertions on mtries, ition, multiplition, n sutrtion, re nlogues for mtries of the sme opertions for numers. n this setion we introue the mtri nlogue
More informationBoolean Algebra cont. The digital abstraction
Boolen Alger ont The igitl strtion Theorem: Asorption Lw For every pir o elements B. + =. ( + ) = Proo: () Ientity Distriutivity Commuttivity Theorem: For ny B + = Ientity () ulity. Theorem: Assoitive
More informationNon Right Angled Triangles
Non Right ngled Tringles Non Right ngled Tringles urriulum Redy www.mthletis.om Non Right ngled Tringles NON RIGHT NGLED TRINGLES sin i, os i nd tn i re lso useful in non-right ngled tringles. This unit
More informationCalculus Cheat Sheet. Integrals Definitions. where F( x ) is an anti-derivative of f ( x ). Fundamental Theorem of Calculus. dx = f x dx g x dx
Clulus Chet Sheet Integrls Definitions Definite Integrl: Suppose f ( ) is ontinuous Anti-Derivtive : An nti-derivtive of f ( ) on [, ]. Divide [, ] into n suintervls of is funtion, F( ), suh tht F = f.
More informationNondeterministic Finite Automata
Nondeterministi Finite utomt The Power of Guessing Tuesdy, Otoer 4, 2 Reding: Sipser.2 (first prt); Stoughton 3.3 3.5 S235 Lnguges nd utomt eprtment of omputer Siene Wellesley ollege Finite utomton (F)
More informationBefore we can begin Ch. 3 on Radicals, we need to be familiar with perfect squares, cubes, etc. Try and do as many as you can without a calculator!!!
Nme: Algebr II Honors Pre-Chpter Homework Before we cn begin Ch on Rdicls, we need to be fmilir with perfect squres, cubes, etc Try nd do s mny s you cn without clcultor!!! n The nth root of n n Be ble
More informationLecture Solution of a System of Linear Equation
ChE Lecture Notes, Dept. of Chemicl Engineering, Univ. of TN, Knoville - D. Keffer, 5/9/98 (updted /) Lecture 8- - Solution of System of Liner Eqution 8. Why is it importnt to e le to solve system of liner
More informationLesson 2.1 Inductive Reasoning
Lesson 2.1 Inutive Resoning Nme Perio Dte For Eerises 1 7, use inutive resoning to fin the net two terms in eh sequene. 1. 4, 8, 12, 16,, 2. 400, 200, 100, 50, 25,, 3. 1 8, 2 7, 1 2, 4, 5, 4. 5, 3, 2,
More informationCS 373, Spring Solutions to Mock midterm 1 (Based on first midterm in CS 273, Fall 2008.)
CS 373, Spring 29. Solutions to Mock midterm (sed on first midterm in CS 273, Fll 28.) Prolem : Short nswer (8 points) The nswers to these prolems should e short nd not complicted. () If n NF M ccepts
More information2.4 Theoretical Foundations
2 Progrmming Lnguge Syntx 2.4 Theoretil Fountions As note in the min text, snners n prsers re se on the finite utomt n pushown utomt tht form the ottom two levels of the Chomsky lnguge hierrhy. At eh level
More informationParse trees, ambiguity, and Chomsky normal form
Prse trees, miguity, nd Chomsky norml form In this lecture we will discuss few importnt notions connected with contextfree grmmrs, including prse trees, miguity, nd specil form for context-free grmmrs
More informationAlgorithms & Data Structures Homework 8 HS 18 Exercise Class (Room & TA): Submitted by: Peer Feedback by: Points:
Eidgenössishe Tehnishe Hohshule Zürih Eole polytehnique fédérle de Zurih Politenio federle di Zurigo Federl Institute of Tehnology t Zurih Deprtement of Computer Siene. Novemer 0 Mrkus Püshel, Dvid Steurer
More informationPropositional models. Historical models of computation. Application: binary addition. Boolean functions. Implementation using switches.
Propositionl models Historil models of omputtion Steven Lindell Hverford College USA 1/22/2010 ISLA 2010 1 Strt with fixed numer of oolen vriles lled the voulry: e.g.,,. Eh oolen vrile represents proposition,
More informationfor all x in [a,b], then the area of the region bounded by the graphs of f and g and the vertical lines x = a and x = b is b [ ( ) ( )] A= f x g x dx
Applitions of Integrtion Are of Region Between Two Curves Ojetive: Fin the re of region etween two urves using integrtion. Fin the re of region etween interseting urves using integrtion. Desrie integrtion
More informationBases for Vector Spaces
Bses for Vector Spces 2-26-25 A set is independent if, roughly speking, there is no redundncy in the set: You cn t uild ny vector in the set s liner comintion of the others A set spns if you cn uild everything
More informationCARLETON UNIVERSITY. 1.0 Problems and Most Solutions, Sect B, 2005
RLETON UNIVERSIT eprtment of Eletronis ELE 2607 Swithing iruits erury 28, 05; 0 pm.0 Prolems n Most Solutions, Set, 2005 Jn. 2, #8 n #0; Simplify, Prove Prolem. #8 Simplify + + + Reue to four letters (literls).
More informationLinear Inequalities. Work Sheet 1
Work Sheet 1 Liner Inequlities Rent--Hep, cr rentl compny,chrges $ 15 per week plus $ 0.0 per mile to rent one of their crs. Suppose you re limited y how much money you cn spend for the week : You cn spend
More informationFinite State Automata and Determinisation
Finite Stte Automt nd Deterministion Tim Dworn Jnury, 2016 Lnguges fs nf re df Deterministion 2 Outline 1 Lnguges 2 Finite Stte Automt (fs) 3 Non-deterministi Finite Stte Automt (nf) 4 Regulr Expressions
More informationSection 1.3 Triangles
Se 1.3 Tringles 21 Setion 1.3 Tringles LELING TRINGLE The line segments tht form tringle re lled the sides of the tringle. Eh pir of sides forms n ngle, lled n interior ngle, nd eh tringle hs three interior
More informationCM10196 Topic 4: Functions and Relations
CM096 Topic 4: Functions nd Reltions Guy McCusker W. Functions nd reltions Perhps the most widely used notion in ll of mthemtics is tht of function. Informlly, function is n opertion which tkes n input
More informationAssignment 1 Automata, Languages, and Computability. 1 Finite State Automata and Regular Languages
Deprtment of Computer Science, Austrlin Ntionl University COMP2600 Forml Methods for Softwre Engineering Semester 2, 206 Assignment Automt, Lnguges, nd Computility Smple Solutions Finite Stte Automt nd
More informationTechnische Universität München Winter term 2009/10 I7 Prof. J. Esparza / J. Křetínský / M. Luttenberger 11. Februar Solution
Tehnishe Universität Münhen Winter term 29/ I7 Prof. J. Esprz / J. Křetínský / M. Luttenerger. Ferur 2 Solution Automt nd Forml Lnguges Homework 2 Due 5..29. Exerise 2. Let A e the following finite utomton:
More informationSimilar Right Triangles
Geometry V1.noteook Ferury 09, 2012 Similr Right Tringles Cn I identify similr tringles in right tringle with the ltitude? Cn I identify the proportions in right tringles? Cn I use the geometri mens theorems
More information3 Angle Geometry. 3.1 Measuring Angles. 1. Using a protractor, measure the marked angles.
3 ngle Geometry MEP Prtie ook S3 3.1 Mesuring ngles 1. Using protrtor, mesure the mrked ngles. () () (d) (e) (f) 2. Drw ngles with the following sizes. () 22 () 75 120 (d) 90 (e) 153 (f) 45 (g) 180 (h)
More informationLesson 2.1 Inductive Reasoning
Lesson 2.1 Inutive Resoning Nme Perio Dte For Eerises 1 7, use inutive resoning to fin the net two terms in eh sequene. 1. 4, 8, 12, 16,, 2. 400, 200, 100, 50, 25,, 3. 1 8, 2 7, 1 2, 4, 5, 4. 5, 3, 2,
More informationMaintaining Mathematical Proficiency
Nme Dte hpter 9 Mintining Mthemtil Profiieny Simplify the epression. 1. 500. 189 3. 5 4. 4 3 5. 11 5 6. 8 Solve the proportion. 9 3 14 7. = 8. = 9. 1 7 5 4 = 4 10. 0 6 = 11. 7 4 10 = 1. 5 9 15 3 = 5 +
More informationTime in Seconds Speed in ft/sec (a) Sketch a possible graph for this function.
4. Are under Curve A cr is trveling so tht its speed is never decresing during 1-second intervl. The speed t vrious moments in time is listed in the tle elow. Time in Seconds 3 6 9 1 Speed in t/sec 3 37
More informationChapter Gauss Quadrature Rule of Integration
Chpter 7. Guss Qudrture Rule o Integrtion Ater reding this hpter, you should e le to:. derive the Guss qudrture method or integrtion nd e le to use it to solve prolems, nd. use Guss qudrture method to
More informationMA10207B: ANALYSIS SECOND SEMESTER OUTLINE NOTES
MA10207B: ANALYSIS SECOND SEMESTER OUTLINE NOTES CHARLIE COLLIER UNIVERSITY OF BATH These notes hve been typeset by Chrlie Collier nd re bsed on the leture notes by Adrin Hill nd Thoms Cottrell. These
More information#A42 INTEGERS 11 (2011) ON THE CONDITIONED BINOMIAL COEFFICIENTS
#A42 INTEGERS 11 (2011 ON THE CONDITIONED BINOMIAL COEFFICIENTS Liqun To Shool of Mthemtil Sienes, Luoyng Norml University, Luoyng, Chin lqto@lynuedun Reeived: 12/24/10, Revised: 5/11/11, Aepted: 5/16/11,
More information, if x 1 and f(x) = x, if x 0.
Indin Institute of Informtion Technology Design nd Mnufcturing, Kncheepurm Chenni 600 7, Indi An Autonomous Institute under MHRD, Govt of Indi An Institute of Ntionl Importnce wwwiiitdmcin COM05T Discrete
More informationIntroduction to Olympiad Inequalities
Introdution to Olympid Inequlities Edutionl Studies Progrm HSSP Msshusetts Institute of Tehnology Snj Simonovikj Spring 207 Contents Wrm up nd Am-Gm inequlity 2. Elementry inequlities......................
More informationNondeterminism and Nodeterministic Automata
Nondeterminism nd Nodeterministic Automt 61 Nondeterminism nd Nondeterministic Automt The computtionl mchine models tht we lerned in the clss re deterministic in the sense tht the next move is uniquely
More informationSystem Validation (IN4387) November 2, 2012, 14:00-17:00
System Vlidtion (IN4387) Novemer 2, 2012, 14:00-17:00 Importnt Notes. The exmintion omprises 5 question in 4 pges. Give omplete explntion nd do not onfine yourself to giving the finl nswer. Good luk! Exerise
More informationSolutions - Homework 1 (Due date: September 9:30 am) Presentation and clarity are very important!
ECE-238L: Computer Logi Design Fll 23 Solutions - Homework (Due dte: Septemer 2th @ 9:3 m) Presenttion nd lrity re very importnt! PROBLEM (5 PTS) ) Simpliy the ollowing untions using ONLY Boolen Alger
More informationQUADRATIC EQUATION. Contents
QUADRATIC EQUATION Contents Topi Pge No. Theory 0-04 Exerise - 05-09 Exerise - 09-3 Exerise - 3 4-5 Exerise - 4 6 Answer Key 7-8 Syllus Qudrti equtions with rel oeffiients, reltions etween roots nd oeffiients,
More informationFinite-State Automata: Recap
Finite-Stte Automt: Recp Deepk D Souz Deprtment of Computer Science nd Automtion Indin Institute of Science, Bnglore. 09 August 2016 Outline 1 Introduction 2 Forml Definitions nd Nottion 3 Closure under
More informationEllipses. The second type of conic is called an ellipse.
Ellipses The seond type of oni is lled n ellipse. Definition of Ellipse An ellipse is the set of ll points (, y) in plne, the sum of whose distnes from two distint fied points (foi) is onstnt. (, y) d
More informationLogarithms LOGARITHMS.
Logrithms LOGARITHMS www.mthletis.om.u Logrithms LOGARITHMS Logrithms re nother method to lulte nd work with eponents. Answer these questions, efore working through this unit. I used to think: In the
More informationCS 311 Homework 3 due 16:30, Thursday, 14 th October 2010
CS 311 Homework 3 due 16:30, Thursdy, 14 th Octoer 2010 Homework must e sumitted on pper, in clss. Question 1. [15 pts.; 5 pts. ech] Drw stte digrms for NFAs recognizing the following lnguges:. L = {w
More informationNondeterministic Automata vs Deterministic Automata
Nondeterministi Automt vs Deterministi Automt We lerned tht NFA is onvenient model for showing the reltionships mong regulr grmmrs, FA, nd regulr expressions, nd designing them. However, we know tht n
More informationKENDRIYA VIDYALAYA IIT KANPUR HOME ASSIGNMENTS FOR SUMMER VACATIONS CLASS - XII MATHEMATICS (Relations and Functions & Binary Operations)
KENDRIYA VIDYALAYA IIT KANPUR HOME ASSIGNMENTS FOR SUMMER VACATIONS 6-7 CLASS - XII MATHEMATICS (Reltions nd Funtions & Binry Opertions) For Slow Lerners: - A Reltion is sid to e Reflexive if.. every A
More informationNumbers and indices. 1.1 Fractions. GCSE C Example 1. Handy hint. Key point
GCSE C Emple 7 Work out 9 Give your nswer in its simplest form Numers n inies Reiprote mens invert or turn upsie own The reiprol of is 9 9 Mke sure you only invert the frtion you re iviing y 7 You multiply
More informationName Ima Sample ASU ID
Nme Im Smple ASU ID 2468024680 CSE 355 Test 1, Fll 2016 30 Septemer 2016, 8:35-9:25.m., LSA 191 Regrding of Midterms If you elieve tht your grde hs not een dded up correctly, return the entire pper to
More informationHS Pre-Algebra Notes Unit 9: Roots, Real Numbers and The Pythagorean Theorem
HS Pre-Alger Notes Unit 9: Roots, Rel Numers nd The Pythgoren Theorem Roots nd Cue Roots Syllus Ojetive 5.4: The student will find or pproximte squre roots of numers to 4. CCSS 8.EE.-: Evlute squre roots
More informationNFAs continued, Closure Properties of Regular Languages
Algorithms & Models of Computtion CS/ECE 374, Fll 2017 NFAs continued, Closure Properties of Regulr Lnguges Lecture 5 Tuesdy, Septemer 12, 2017 Sriel Hr-Peled (UIUC) CS374 1 Fll 2017 1 / 31 Regulr Lnguges,
More informationPythagoras Theorem. Pythagoras Theorem. Curriculum Ready ACMMG: 222, 245.
Pythgors Theorem Pythgors Theorem Curriulum Redy ACMMG:, 45 www.mthletis.om Fill in these spes with ny other interesting fts you n find out Pythgors. In the world of Mthemtis, Pythgors is legend. He lived
More informationAdvanced Algebra & Trigonometry Midterm Review Packet
Nme Dte Advnced Alger & Trigonometry Midterm Review Pcket The Advnced Alger & Trigonometry midterm em will test your generl knowledge of the mteril we hve covered since the eginning of the school yer.
More informationCSE : Exam 3-ANSWERS, Spring 2011 Time: 50 minutes
CSE 260-002: Exm 3-ANSWERS, Spring 20 ime: 50 minutes Nme: his exm hs 4 pges nd 0 prolems totling 00 points. his exm is closed ook nd closed notes.. Wrshll s lgorithm for trnsitive closure computtion is
More information10.2 The Ellipse and the Hyperbola
CHAPTER 0 Conic Sections Solve. 97. Two surveors need to find the distnce cross lke. The plce reference pole t point A in the digrm. Point B is meters est nd meter north of the reference point A. Point
More information2.1 ANGLES AND THEIR MEASURE. y I
.1 ANGLES AND THEIR MEASURE Given two interseting lines or line segments, the mount of rottion out the point of intersetion (the vertex) required to ring one into orrespondene with the other is lled the
More informationCoalgebra, Lecture 15: Equations for Deterministic Automata
Colger, Lecture 15: Equtions for Deterministic Automt Julin Slmnc (nd Jurrin Rot) Decemer 19, 2016 In this lecture, we will study the concept of equtions for deterministic utomt. The notes re self contined
More informationApplications of Definite Integral
Chpter 5 Applitions of Definite Integrl 5.1 Are Between Two Curves In this setion we use integrls to find res of regions tht lie between the grphs of two funtions. Consider the region tht lies between
More informationThe Word Problem in Quandles
The Word Prolem in Qundles Benjmin Fish Advisor: Ren Levitt April 5, 2013 1 1 Introdution A word over n lger A is finite sequene of elements of A, prentheses, nd opertions of A defined reursively: Given
More informationProbability. b a b. a b 32.
Proility If n event n hppen in '' wys nd fil in '' wys, nd eh of these wys is eqully likely, then proility or the hne, or its hppening is, nd tht of its filing is eg, If in lottery there re prizes nd lnks,
More informationCHENG Chun Chor Litwin The Hong Kong Institute of Education
PE-hing Mi terntionl onferene IV: novtion of Mthemtis Tehing nd Lerning through Lesson Study- onnetion etween ssessment nd Sujet Mtter HENG hun hor Litwin The Hong Kong stitute of Edution Report on using
More information8.3 THE HYPERBOLA OBJECTIVES
8.3 THE HYPERBOLA OBJECTIVES 1. Define Hperol. Find the Stndrd Form of the Eqution of Hperol 3. Find the Trnsverse Ais 4. Find the Eentriit of Hperol 5. Find the Asmptotes of Hperol 6. Grph Hperol HPERBOLAS
More informationCalculus Module C21. Areas by Integration. Copyright This publication The Northern Alberta Institute of Technology All Rights Reserved.
Clculus Module C Ares Integrtion Copright This puliction The Northern Alert Institute of Technolog 7. All Rights Reserved. LAST REVISED Mrch, 9 Introduction to Ares Integrtion Sttement of Prerequisite
More informationPythagoras theorem and surds
HPTER Mesurement nd Geometry Pythgors theorem nd surds In IE-EM Mthemtis Yer 8, you lernt out the remrkle reltionship etween the lengths of the sides of right-ngled tringle. This result is known s Pythgors
More informationNFAs continued, Closure Properties of Regular Languages
lgorithms & Models of omputtion S/EE 374, Spring 209 NFs continued, losure Properties of Regulr Lnguges Lecture 5 Tuesdy, Jnury 29, 209 Regulr Lnguges, DFs, NFs Lnguges ccepted y DFs, NFs, nd regulr expressions
More informationChapter 3. Vector Spaces. 3.1 Images and Image Arithmetic
Chpter 3 Vetor Spes In Chpter 2, we sw tht the set of imges possessed numer of onvenient properties. It turns out tht ny set tht possesses similr onvenient properties n e nlyzed in similr wy. In liner
More informationGrammar. Languages. Content 5/10/16. Automata and Languages. Regular Languages. Regular Languages
5//6 Grmmr Automt nd Lnguges Regulr Grmmr Context-free Grmmr Context-sensitive Grmmr Prof. Mohmed Hmd Softwre Engineering L. The University of Aizu Jpn Regulr Lnguges Context Free Lnguges Context Sensitive
More informationIntegration. antidifferentiation
9 Integrtion 9A Antidifferentition 9B Integrtion of e, sin ( ) nd os ( ) 9C Integrtion reognition 9D Approimting res enlosed funtions 9E The fundmentl theorem of integrl lulus 9F Signed res 9G Further
More informationLogic Synthesis and Verification
Logi Synthesis nd Verifition SOPs nd Inompletely Speified Funtions Jie-Hong Rolnd Jing 江介宏 Deprtment of Eletril Engineering Ntionl Tiwn University Fll 2010 Reding: Logi Synthesis in Nutshell Setion 2 most
More informationContinuous Random Variable X:
Continuous Rndom Vrile : The continuous rndom vrile hs its vlues in n intervl, nd it hs proility distriution unction or proility density unction p.d. stisies:, 0 & d Which does men tht the totl re under
More informationReference : Croft & Davison, Chapter 12, Blocks 1,2. A matrix ti is a rectangular array or block of numbers usually enclosed in brackets.
I MATRIX ALGEBRA INTRODUCTION TO MATRICES Referene : Croft & Dvison, Chpter, Blos, A mtri ti is retngulr rr or lo of numers usull enlosed in rets. A m n mtri hs m rows nd n olumns. Mtri Alger Pge If the
More information6.1 Definition of the Riemann Integral
6 The Riemnn Integrl 6. Deinition o the Riemnn Integrl Deinition 6.. Given n intervl [, b] with < b, prtition P o [, b] is inite set o points {x, x,..., x n } [, b], lled grid points, suh tht x =, x n
More information