Name of the Student:

Size: px
Start display at page:

Download "Name of the Student:"

Transcription

1 SUBJECT NAME : Discrete Mthemtics SUBJECT CODE : MA 2265 MATERIAL NAME : Formul Mteril MATERIAL CODE : JM08ADM009 Nme of the Student: Brnch: Unit I (Logic nd Proofs) 1) Truth Tble: Conjunction Disjunction Conditionl Biconditionl q q q q q q q q T T T T T T T T T T T T T F F T F T T F F T F F F T F F T T F T T F T T F F F F F F F F T F F T Negtion T F F T 2) Tutology nd Contrdiction: A Comound roosition P ( P P P ) = 1, 2,... n where 1 2 tutology if it is true for every truth ssignment for P1, P2,... P n. P, P,... Pn vribles re clled P is clled Contrdiction if it is flse for every truth ssignment for P1, P2,... P n. If roosition is neither tutology nor Contrdiction is clled contingency. 3) Lws of lgebr of roosition: Nme of Lw Priml form Dul form Idemotent lw Identity lw F T Prered by C.Gnesn, M.Sc., M.Phil., (Ph: ) Pge 1

2 Dominnt lw T T F F Comlement lw Commuttive lw T F q q q q Associtive lw ( q) r ( q r ) ( q) r ( q r ) Distributive lw ( q r ) ( q) ( r ) ( q r ) ( q) ( r ) Absortion lw ( q) ( ) Demorgn s lw ( q) q ( ) q q q Double Negtion lw 4) Equivlence involving Conditionls: Sl.No. Proositions 1. q q 2. q q 3. q q 4. ( q) ( r ) ( q r ) r q r q r 5. ( ) ( ) ( ) 5) Equivlence involving Biconditionls: Sl.No. Proositions 1. q ( q) ( q ) 2. q q 3. q ( q) ( q) Prered by C.Gnesn, M.Sc., M.Phil., (Ph: ) Pge 2

3 4. ( ) q q 6) Tutologicl Imliction: A B if nd only if A B is tutology. (i.e) To rove A B, it enough to rove A B is tutology. 7) The Theory of Inferences: The nlysis of the vlidity of the formul from the given set of remises by using derivtion is clled theory of inferences 8) Rules for inferences theory: Rule P: A given remise my be introduced t ny stge in the derivtion. Rule T: A formul S my be introduced in derivtion if S is tutologiclly imlied by one or more of the receding formule in the derivtion. Rule CP: If we cn drive S from R nd set of given remises, then we cn derive R S from the set of remises lone. In such cse R is tken s n dditionl remise (ssumed remise). Rule CP is lso clled the deduction theorem. 9) Indirect Method of Derivtion: Whenever the ssumed remise is used in the derivtion, then the method of derivtion is clled indirect method of derivtion. 10) Tble of Logicl Imlictions: Nme of Lw Priml form Simlifiction Addition Disjunctive Syllogism q q q q q q ( ) q q ( ) q q q q Modus Ponens ( ) Modus Tollens ( ) q q q q r r Hyotheticl Syllogism ( ) ( ) Prered by C.Gnesn, M.Sc., M.Phil., (Ph: ) Pge 3

4 q q Unit II (Combintorics) 1) Princile of Mthemticl Induction: Let P( n) be sttement or roosition involving for ll ositive integers n. Ste 1: P (1) is true. Ste2: Assume tht P( k ) is true. Ste3: We hve to rove P( k + 1) is true. 2) Princile of Strong induction. Let P( n ) be sttement or roosition involving for ll ositive integers n. Ste 1: P (1) is true. Ste2: Assume tht P( n ) is true for ll integers 1 n k. Ste3: We hve to rove P( k + 1) is true. 3) The Pigeonhole Princile: If n igeons re ssigned to m igeonholes nd m < n, thn t lest one igeonhole contins two or more igeons. 4) The Extended Pigeonhole Princile: If n igeons re ssigned to m igeonholes thn one igeonhole must contins t lest ( n 1) + 1igeons. m 5) Recurrence reltion: An eqution tht exresses n, the generl term of the sequence{ n } in terms of one or more of the revious terms of the sequence, nmely 0, 1,... n 1, for ll integers n is clled recurrence reltion for{ n } or difference eqution. 6) Working rule for solving homogeneous recurrence reltion: Ste 1: The given recurrence reltion of the form C ( n) + C ( n) C ( n) = 0 0 n 1 n 1 k n k Ste 2: Write the chrcteristic eqution of the recurrence reltion C0rn + k + C1r ( 1 ) Ckrn = 0 n + k + Ste 3: Find ll the roots of the chrcteristic eqution nmely r 1, r 2,... r k. Ste 4: n Cse (i): If ll the roots re distinct then the generl solution is = b r + b r + + b r n n n n k k Cse (ii): If ll the roots re equl then the generl solution is 2 ( ) = b + nb + n b + r n Prered by C.Gnesn, M.Sc., M.Phil., (Ph: ) Pge 4

5 Unit III (Grh Theory) 1) Grh: A grh G=(V,E) consists of two sets V { v1, v2,... v υ } = {,,... }, clled the set of edges of G. E e e e 1 2 =, clled the set of vertices nd 2) Simle grh: A grh is sid to be simle grh if it hs no loos nd rllel edges. Otherwise it is multi grh. 3) Regulr grh: If every vertex of simle grh hs the sme degree, then the grh is clled regulr grh. If every vertex in regulr grh hs degree n, then the grh is clled n-regulr. 4) Comlete grh: A simle grh in which ech ir of distinct vertices is joined by n edge is clled comlete grh. The comlete grh on n vertices is denoted by K n. 5) Pendent vertex nd Pendent edge: A vertex with degree one is clled endent vertex nd the only edge which is incident with endent vertex is clled the endent edge. 6) Mtrix reresenttion of grh: There re two wys of reresenting grh by mtrix nmely djcent mtrix nd incidence mtrix s follows: Adjcency mtrices: Let G be grh with n vertices, then the djcency mtrix, AG ( Aij ) = defined 1, if ui, v j re djcent by Aij =. 0, otherwise Incidence mtrix: Let G be grh with n vertices, then the incidence mtrix of G is n n x e mtrix B G ( Bij ) = defined by B ij th th 1, if j edge is incident on the i vertex = 0, otherwise 7) Birtite grh: A grh G=(V,E) is clled birtite grh if its vertex set V cn be rtitioned into two subsets V1nd V2such tht ech edge of G connects nd vertex of V 1 to vertex of V 2. In other words, no edge joining two vertices, in V 1 or two vertices in V 2. 8) Isomorhism of grh: The simle grhs G = ( V, E ) nd G ( V, E ) = re isomorhic if there is one to one nd onto function f from V1to V 2 with the roerty tht nd b re djcent in G1if nd only if f ( ) nd f ( b ) re djcent in G 2, for ll nd b in V 1. Prered by C.Gnesn, M.Sc., M.Phil., (Ph: ) Pge 5

6 9) Comlementry nd Self comlementry grh: Let G be grh. The comlement G of G is defined by ny two vertices re djcent in G if nd only if they re not djcent ing. G is sid to be self comlementry grh if G is isomorhic tog. 10) Connected grh: A grh G is sid to be connected if there is t lest one th between every ir of vertices in G. Otherwise G is disconnected. A disconnected grh consists of two or more connected sub grhs nd ech of them is clled comonent. It is denoted by ω ( G). 11) Cut edge: A cut edge of grh G is n edge e such tht ω ( G e) > ω ( G).(i.e) If G is connected nd e is cut edge of G, then G eis disconnected. 12) Cut vertex: A cut vertex of grh G is vertex v such ω ( G v) > ω ( G).(i.e) If G is connected nd v is cut vertex of G, then G vis disconnected. 13) Define vertex connectivity. The connectivity κ ( G) of G is the minimum k for which G hs k-vertex cut. If G is either trivil or disconnected then κ ( G) = 0. 14) Define edge connectivity. The edge connectivity κ ( G) of G is the minimum k for which G hs k-edge cut. If G is either trivil or disconnected then κ ( G) = 0 15) Define Eulerin grh. A th of grh G is clled n Eulerin th, if it includes ech edge of G exctly once. A circuit of grh G is clled n Eulerin circuit, if it includes ech edge of G exctly one. A grh contining n Eulerin circuit is clled n Eulerin grh. 16) Define Hmiltonin grh. A simle th in grh G tht sses through every vertex exctly once is clled Hmilton th. A circuit in grh G tht sses through every vertex exctly once is clled Hmilton circuit. A grh contining Hmiltonin circuit. Unit IV (Algebric Structures) 1) Semi grou: If G is non-emty set nd * be binry oertion on G, then the lgebric system ( G,*) is clled semi grou, if G is closed under * nd * is ssocitive. Exmle: If Z is the set of ositive even numbers, then ( Z, + ) nd (, ) grous. Z re semi Prered by C.Gnesn, M.Sc., M.Phil., (Ph: ) Pge 6

7 2) Monoid: If semi grou ( G,*) hs n identity element with resect to the oertion *, then ( G,*) is clled monoid. It is denoted by ( G,*, e ). Exmle: If N is the set of nturl numbers, then ( N, + ) nd (, ) the identity elements 0 nd 1 resectively. ( Z, + ) nd (, ) out monoids, where Z is the set of ll ositive even numbers 3) Sub semi grous: If ( G,*) is semi grou nd H G clled sub semi grou of ( G,*). N re monoids with Z re semi grous with is clled under the oertion *, then ( H,*) Exmle: If the set Eof ll even non-negtive integers, the ( E, + ) is sub semi grou of the semi grou ( N, + ), where N is the set of nturl numbers. 4) Semi grou homomorhism: If ( G,* ) nd (, ) G re two semi grous, then ming f : G G is clled semi grou homomorhism, if for ny, b G, f ( * b) = f ( ) f ( b). A homomorhism f is clled isomorhism if f is 1-1 nd onto. 5) Grou: If G is non-emty set nd * is binry oertion of G, then the lgebric system ( G,*) is clled grou if the following conditions re stisfied. (i) (ii) (iii) (iv) Exmle: (, ) 6) Abelin grou: Closure roerty Associtive roerty Existence of identity element Existence of inverse element Z + is grou nd (, ) Zi is not grou. A grou ( G,*), in which the binry oertion * is commuttive, is clled commuttive grou or belin grou. Exmle: The set of rtionl numbers excluding zero is n belin grou under the multiliction. 7) Coset: If H is subgrou of grou G under the oertion *, then the set H, where G, define by H = { * h / h H} = is clled the left coset of H in G generted by the element G. Similrly the set H is clled the right coset of H in G generted by the element G. is Prered by C.Gnesn, M.Sc., M.Phil., (Ph: ) Pge 7

8 Exmle: G = { 1, 1, i, i} be grou under multiliction nd H = { 1, 1} is subgrou of G. The right cosets re 1H = { 1, 1}, 1H = { 1,1}, ih = { i, i} { i, i} ih =. 8) Lgrnge s theorem: The order of ech subgrous of finite grou is divisor of order of grou. 9) Cyclic grou: = nd A grou ( G,*) is sid to be cyclic, if nd element G such tht every element of 2 n G generted by. (i.e) G =< >= { 1,,,... = e} Exmle: G = { 1, 1, i, i} =< >= =. = is cyclic grou under the multiliction. The genertor is i, becuse i = 1, i = 1, i, i = i. 10) Norml subgrou: A subgrou H of the grou G is sid to be norml subgrou under the oertion *, if for ny G, H = H. 11) Kernel of homomorhism: If f is grou homomorhism from ( G,*) nd (, ) G, then the set of element of G, which re med into e, the identity element of G, is clled the kernel of the homomorhism f nd denoted by ker ( f ). 12) Fundmentl theorem of homomorhism: If f is homomorhism of G on to G with kernel K, then G / K is isomorhic to G. 13) Cyley s theorem: Every finite grou of order n is isomorhic to ermuttion grou of degree n. 14) Ring: An lgebric system ( S, +i, ) is clled ring if the binry oertions +nd i on S stisfy the following roerties. (i) ( S, + ) is n belin grou (ii) ( Si, ) is semi grou (iii) The oertion i is distributive over +. Exmle: The set of ll integers Z, nd the set of ll rtionl numbers R re rings under the usul ddition nd usul multiliction. 15) Integrl domin: A commuttive ring without zero divisor is clled Integrl domin. Exmle: (i) ( R, +i, ) is n integrl domin, since, 0, b 0then b 0. (ii) ( Z, +, ) b R such tht + is not n integrl domin, becuse 2, 3 Z10 nd = 0. Therefore 2 nd 5 re zero divisors. Prered by C.Gnesn, M.Sc., M.Phil., (Ph: ) Pge 8

9 16) Field: A commuttive reing ( S, +i, ) which hs more thn one element such tht every nonzero element of S hs multilictive inverse in S is clled field. Exmle: The ring of rtionl numbers ( Q, +i, ) is field since it is commuttive ring nd ech non-zero element is inversible. Unit V (Lttices nd Boolen lgebr) 1) Prtilly ordered set (Poset): A reltion R on set A is clled rtil order reltion, if R is reflexive, ntisymmetric nd trnsitive. The set A together with rtil order reltion R is clled rtilly ordered set or oset. Exmle: The greter thn or equl to ( ) reltion is rtil ordering on the set of integers Z. 2) Lttice: A lttice is rtilly ordered set ( L, ) in which every ir of elements, glb nd lub. 3) Generl formul: glb, b = * b = b i) { } ii) l b {, } iii) iv) 4) Proerties: u b = b = b * b & * b b b * b = If b = b & b b b Nme of Lw Priml form Dul form Idemotent lw * = = b Lhs Commuttive lw * b = b* b = b Associtive lw ( * b) * c = *( b* c) ( b) c = ( b c) Distributive lw * ( q r ) ( * q) ( * r ) ( q * r ) ( q) *( r ) Absortion lw *( b) = ( * ) b = Comlement * = 0 = 1 Prered by C.Gnesn, M.Sc., M.Phil., (Ph: ) Pge 9

10 Demorgn s lw ( * ) b = b b = b = ( ) = * Double Negtion lw 5) Comlemented Lttices: A Lttice ( L,*, ) is sid to be comlemented if for ny L, there exist L, such tht * = 0nd = 1. 6) Demorgn s lws: Let ( L,*, ) be the comlemented lttice, then ( * ) b = b. ( ) = * 7) Comlete Lttice: A lttice ( L,*, ) lub. 8) Lttice Homomorhism: Let (,*, ) b = b nd is comlete if for ll non-emty subsets of L, there exists glb nd L nd ( S,, ) be two lttices. A ming g : L Sis clled lttices homomorhism if g( * b) = g( ) g( b) nd g( b) = g( ) g( b). 9) Modulr Lttice: b c L A lttice ( L,*, ) is sid to be modulr if for ny,, i) c ( b* c) = ( b) * c ii) c *( b c) = ( * b) c 10) Chin in Lttice: Let ( L, ) be Chin if i) b or c nd ii) b nd c 11) Condition for the lgebric lttice: A lttice ( L,*, ) is sid to be lgebric if it stisfies Commuttive Lw, Associtive Lw, Absortion Lw nd Existence of Idemotent element. 12) Isotone roerty: Let ( L,*, ) roerty if be lttice. The binry oertions *nd re sid to ossess isotone b c * b * c b c. Prered by C.Gnesn, M.Sc., M.Phil., (Ph: ) Pge 10

11 13) Boolen Algebr: A Boolen lgebr is lttice which is both comlemented nd distributive. It is denoted by( B,*, ) All the Best ---- Prered by C.Gnesn, M.Sc., M.Phil., (Ph: ) Pge 11

Boolean Algebra. Boolean Algebras

Boolean Algebra. Boolean Algebras Boolen Algebr Boolen Algebrs A Boolen lgebr is set B of vlues together with: - two binry opertions, commonly denoted by + nd, - unry opertion, usully denoted by or ~ or, - two elements usully clled zero

More information

MathCity.org Merging man and maths

MathCity.org Merging man and maths MthCity.org Merging mn nd mths Exercise.8 (s) Pge 46 Textbook of Algebr nd Trigonometry for Clss XI Avilble online @ http://, Version: 3.0 Question # Opertion performed on the two-member set G = {0, is

More information

Intuitionistic Fuzzy Lattices and Intuitionistic Fuzzy Boolean Algebras

Intuitionistic Fuzzy Lattices and Intuitionistic Fuzzy Boolean Algebras Intuitionistic Fuzzy Lttices nd Intuitionistic Fuzzy oolen Algebrs.K. Tripthy #1, M.K. Stpthy *2 nd P.K.Choudhury ##3 # School of Computing Science nd Engineering VIT University Vellore-632014, TN, Indi

More information

Boolean Algebra. Boolean Algebra

Boolean Algebra. Boolean Algebra Boolen Alger Boolen Alger A Boolen lger is set B of vlues together with: - two inry opertions, commonly denoted y + nd, - unry opertion, usully denoted y ˉ or ~ or, - two elements usully clled zero nd

More information

Control with binary code. William Sandqvist

Control with binary code. William Sandqvist Control with binry code Dec Bin He Oct 218 10 11011010 2 DA 16 332 8 E 1.1c Deciml to Binäry binry weights: 1024 512 256 128 64 32 16 8 4 2 1 71 10? 2 E 1.1c Deciml to Binäry binry weights: 1024 512 256

More information

Discrete Mathematics (Classroom Practice Booklet Solutions)

Discrete Mathematics (Classroom Practice Booklet Solutions) Discrete Mthemtics (Clssroom Prctice Booklet Solutions). Logic Propositionl Logic. Ans: () Sol: ( (P Q) (P Q) P) ( P Q) ( P Q) P (By Demorgn s lw) (( P Q) ( P Q)) P (By Associtive lw) ( P ( Q Q)) P (By

More information

Introduction to Group Theory

Introduction to Group Theory Introduction to Group Theory Let G be n rbitrry set of elements, typiclly denoted s, b, c,, tht is, let G = {, b, c, }. A binry opertion in G is rule tht ssocites with ech ordered pir (,b) of elements

More information

Quadratic Residues. Chapter Quadratic residues

Quadratic Residues. Chapter Quadratic residues Chter 8 Qudrtic Residues 8. Qudrtic residues Let n>be given ositive integer, nd gcd, n. We sy tht Z n is qudrtic residue mod n if the congruence x mod n is solvble. Otherwise, is clled qudrtic nonresidue

More information

k and v = v 1 j + u 3 i + v 2

k and v = v 1 j + u 3 i + v 2 ORTHOGONAL FUNCTIONS AND FOURIER SERIES Orthogonl functions A function cn e considered to e generliztion of vector. Thus the vector concets like the inner roduct nd orthogonlity of vectors cn e extended

More information

QUADRATIC RESIDUES MATH 372. FALL INSTRUCTOR: PROFESSOR AITKEN

QUADRATIC RESIDUES MATH 372. FALL INSTRUCTOR: PROFESSOR AITKEN QUADRATIC RESIDUES MATH 37 FALL 005 INSTRUCTOR: PROFESSOR AITKEN When is n integer sure modulo? When does udrtic eution hve roots modulo? These re the uestions tht will concern us in this hndout 1 The

More information

Algebraic systems Semi groups and monoids Groups. Subgroups and homomorphisms Cosets Lagrange s theorem. Ring & Fields (Definitions and examples)

Algebraic systems Semi groups and monoids Groups. Subgroups and homomorphisms Cosets Lagrange s theorem. Ring & Fields (Definitions and examples) Prepred y Dr. A.R.VIJAYALAKSHMI Algeric systems Semi groups nd monoids Groups Sugroups nd homomorphms Cosets Lgrnge s theorem Ring & Fields (Definitions nd exmples Stndrd Nottions. N :Set of ll nturl numers.

More information

Quadratic reciprocity

Quadratic reciprocity Qudrtic recirocity Frncisc Bozgn Los Angeles Mth Circle Octoer 8, 01 1 Qudrtic Recirocity nd Legendre Symol In the eginning of this lecture, we recll some sic knowledge out modulr rithmetic: Definition

More information

CS 330 Formal Methods and Models

CS 330 Formal Methods and Models CS 330 Forml Methods nd Models Dn Richrds, George Mson University, Spring 2017 Quiz Solutions Quiz 1, Propositionl Logic Dte: Ferury 2 1. Prove ((( p q) q) p) is tutology () (3pts) y truth tle. p q p q

More information

CS 330 Formal Methods and Models

CS 330 Formal Methods and Models CS 330 Forml Methods nd Models Dn Richrds, section 003, George Mson University, Fll 2017 Quiz Solutions Quiz 1, Propositionl Logic Dte: Septemer 7 1. Prove (p q) (p q), () (5pts) using truth tles. p q

More information

MATH 101A: ALGEBRA I PART B: RINGS AND MODULES 35

MATH 101A: ALGEBRA I PART B: RINGS AND MODULES 35 MATH 101A: ALGEBRA I PART B: RINGS AND MODULES 35 9. Modules over PID This week we re proving the fundmentl theorem for finitely generted modules over PID, nmely tht they re ll direct sums of cyclic modules.

More information

The Algebra (al-jabr) of Matrices

The Algebra (al-jabr) of Matrices Section : Mtri lgebr nd Clculus Wshkewicz College of Engineering he lgebr (l-jbr) of Mtrices lgebr s brnch of mthemtics is much broder thn elementry lgebr ll of us studied in our high school dys. In sense

More information

Vidyalankar S.E. Sem. III [CMPN] Discrete Structures Prelim Question Paper Solution

Vidyalankar S.E. Sem. III [CMPN] Discrete Structures Prelim Question Paper Solution S.E. Sem. III [CMPN] Discrete Structures Prelim Question Pper Solution 1. () (i) Disjoint set wo sets re si to be isjoint if they hve no elements in common. Exmple : A = {0, 4, 7, 9} n B = {3, 17, 15}

More information

Theoretical foundations of Gaussian quadrature

Theoretical foundations of Gaussian quadrature Theoreticl foundtions of Gussin qudrture 1 Inner product vector spce Definition 1. A vector spce (or liner spce) is set V = {u, v, w,...} in which the following two opertions re defined: (A) Addition of

More information

Pavel Rytí. November 22, 2011 Discrete Math Seminar - Simon Fraser University

Pavel Rytí. November 22, 2011 Discrete Math Seminar - Simon Fraser University Geometric representtions of liner codes Pvel Rytí Deprtment of Applied Mthemtics Chrles University in Prgue Advisor: Mrtin Loebl November, 011 Discrete Mth Seminr - Simon Frser University Bckground Liner

More information

Boolean algebra.

Boolean algebra. http://en.wikipedi.org/wiki/elementry_boolen_lger Boolen lger www.tudorgir.com Computer science is not out computers, it is out computtion nd informtion. computtion informtion computer informtion Turing

More information

Lumpability and Absorbing Markov Chains

Lumpability and Absorbing Markov Chains umbility nd Absorbing rov Chins By Ahmed A.El-Sheih Dertment of Alied Sttistics & Econometrics Institute of Sttisticl Studies & Reserch (I.S.S.R Ciro University Abstrct We consider n bsorbing rov Chin

More information

PRIMES AND QUADRATIC RECIPROCITY

PRIMES AND QUADRATIC RECIPROCITY PRIMES AND QUADRATIC RECIPROCITY ANGELICA WONG Abstrct We discuss number theory with the ultimte gol of understnding udrtic recirocity We begin by discussing Fermt s Little Theorem, the Chinese Reminder

More information

Results on Planar Near Rings

Results on Planar Near Rings Interntionl Mthemticl Forum, Vol. 9, 2014, no. 23, 1139-1147 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/10.12988/imf.2014.4593 Results on Plnr Ner Rings Edurd Domi Deprtment of Mthemtics, University

More information

Chapter 1: Fundamentals

Chapter 1: Fundamentals Chpter 1: Fundmentls 1.1 Rel Numbers Types of Rel Numbers: Nturl Numbers: {1, 2, 3,...}; These re the counting numbers. Integers: {... 3, 2, 1, 0, 1, 2, 3,...}; These re ll the nturl numbers, their negtives,

More information

CS 330 Formal Methods and Models Dana Richards, George Mason University, Spring 2016 Quiz Solutions

CS 330 Formal Methods and Models Dana Richards, George Mason University, Spring 2016 Quiz Solutions CS 330 Forml Methods nd Models Dn Richrds, George Mson University, Spring 2016 Quiz Solutions Quiz 1, Propositionl Logic Dte: Ferury 9 1. (4pts) ((p q) (q r)) (p r), prove tutology using truth tles. p

More information

Reasoning and programming. Lecture 5: Invariants and Logic. Boolean expressions. Reasoning. Examples

Reasoning and programming. Lecture 5: Invariants and Logic. Boolean expressions. Reasoning. Examples Chir of Softwre Engineering Resoning nd progrmming Einführung in die Progrmmierung Introduction to Progrmming Prof. Dr. Bertrnd Meyer Octoer 2006 Ferury 2007 Lecture 5: Invrints nd Logic Logic is the sis

More information

Math 4310 Solutions to homework 1 Due 9/1/16

Math 4310 Solutions to homework 1 Due 9/1/16 Mth 4310 Solutions to homework 1 Due 9/1/16 1. Use the Eucliden lgorithm to find the following gretest common divisors. () gcd(252, 180) = 36 (b) gcd(513, 187) = 1 (c) gcd(7684, 4148) = 68 252 = 180 1

More information

Theory of the Integral

Theory of the Integral Spring 2012 Theory of the Integrl Author: Todd Gugler Professor: Dr. Drgomir Sric My 10, 2012 2 Contents 1 Introduction 5 1.0.1 Office Hours nd Contct Informtion..................... 5 1.1 Set Theory:

More information

ad = cb (1) cf = ed (2) adf = cbf (3) cf b = edb (4)

ad = cb (1) cf = ed (2) adf = cbf (3) cf b = edb (4) 10 Most proofs re left s reding exercises. Definition 10.1. Z = Z {0}. Definition 10.2. Let be the binry reltion defined on Z Z by, b c, d iff d = cb. Theorem 10.3. is n equivlence reltion on Z Z. Proof.

More information

Name: ID# (last 4 digits): PIN: CSE Discrete Structures

Name: ID# (last 4 digits): PIN: CSE Discrete Structures CSE - Discrete Structures Exm : Comprehensive Nme: ID# (lst digits): PIN: CSE - Discrete Structures Finl Exm - Fll 00 Closed book, closed notes Dte: Dec. 9 00, :00 pm - :0 pm. Indicte if the following

More information

Natural examples of rings are the ring of integers, a ring of polynomials in one variable, the ring

Natural examples of rings are the ring of integers, a ring of polynomials in one variable, the ring More generlly, we define ring to be non-empty set R hving two binry opertions (we ll think of these s ddition nd multipliction) which is n Abelin group under + (we ll denote the dditive identity by 0),

More information

LECTURE 10: JACOBI SYMBOL

LECTURE 10: JACOBI SYMBOL LECTURE 0: JACOBI SYMBOL The Jcobi symbol We wish to generlise the Legendre symbol to ccomodte comosite moduli Definition Let be n odd ositive integer, nd suose tht s, where the i re rime numbers not necessrily

More information

Supplement 4 Permutations, Legendre symbol and quadratic reciprocity

Supplement 4 Permutations, Legendre symbol and quadratic reciprocity Sulement 4 Permuttions, Legendre symbol nd qudrtic recirocity 1. Permuttions. If S is nite set contining n elements then ermuttion of S is one to one ming of S onto S. Usully S is the set f1; ; :::; ng

More information

(e) if x = y + z and a divides any two of the integers x, y, or z, then a divides the remaining integer

(e) if x = y + z and a divides any two of the integers x, y, or z, then a divides the remaining integer Divisibility In this note we introduce the notion of divisibility for two integers nd b then we discuss the division lgorithm. First we give forml definition nd note some properties of the division opertion.

More information

IST 4 Information and Logic

IST 4 Information and Logic IST 4 Informtion nd Logic T = tody x= hw#x out x= hw#x due mon tue wed thr fri 31 M1 1 7 oh M1 14 oh 1 oh 2M2 21 oh oh 2 oh Mx= MQx out Mx= MQx due 28 oh M2 oh oh = office hours 5 3 12 oh 3 T 4 oh oh 19

More information

Introduction To Matrices MCV 4UI Assignment #1

Introduction To Matrices MCV 4UI Assignment #1 Introduction To Mtrices MCV UI Assignment # INTRODUCTION: A mtrix plurl: mtrices) is rectngulr rry of numbers rrnged in rows nd columns Exmples: ) b) c) [ ] d) Ech number ppering in the rry is sid to be

More information

REVIEW Chapter 1 The Real Number System

REVIEW Chapter 1 The Real Number System Mth 7 REVIEW Chpter The Rel Number System In clss work: Solve ll exercises. (Sections. &. Definition A set is collection of objects (elements. The Set of Nturl Numbers N N = {,,,, 5, } The Set of Whole

More information

On the free product of ordered groups

On the free product of ordered groups rxiv:703.0578v [mth.gr] 6 Mr 207 On the free product of ordered groups A. A. Vinogrdov One of the fundmentl questions of the theory of ordered groups is wht bstrct groups re orderble. E. P. Shimbirev [2]

More information

Dually quasi-de Morgan Stone semi-heyting algebras II. Regularity

Dually quasi-de Morgan Stone semi-heyting algebras II. Regularity Volume 2, Number, July 204, 65-82 ISSN Print: 2345-5853 Online: 2345-586 Dully qusi-de Morgn Stone semi-heyting lgebrs II. Regulrity Hnmntgoud P. Snkppnvr Abstrct. This pper is the second of two prt series.

More information

ABSTRACT: This paper is a study on algebraic structure of Pre A* - algebra and defines the relation R on an. and prove that the relations

ABSTRACT: This paper is a study on algebraic structure of Pre A* - algebra and defines the relation R on an. and prove that the relations Interntionl Journl of Engineering Science nd Innovtive Technology (IJESIT) PRE A*-ALGEBRA AND CONGRUENCE RELATION DrYPRAROOPA 1 KMoses 2 AShou Reddy 3 1DrMrsYPRAROOPA, Associte Professor, Deprtment of

More information

ARITHMETIC OPERATIONS. The real numbers have the following properties: a b c ab ac

ARITHMETIC OPERATIONS. The real numbers have the following properties: a b c ab ac REVIEW OF ALGEBRA Here we review the bsic rules nd procedures of lgebr tht you need to know in order to be successful in clculus. ARITHMETIC OPERATIONS The rel numbers hve the following properties: b b

More information

Geometric Sequences. Geometric Sequence a sequence whose consecutive terms have a common ratio.

Geometric Sequences. Geometric Sequence a sequence whose consecutive terms have a common ratio. Geometric Sequences Geometric Sequence sequence whose consecutive terms hve common rtio. Geometric Sequence A sequence is geometric if the rtios of consecutive terms re the sme. 2 3 4... 2 3 The number

More information

Handout: Natural deduction for first order logic

Handout: Natural deduction for first order logic MATH 457 Introduction to Mthemticl Logic Spring 2016 Dr Json Rute Hndout: Nturl deduction for first order logic We will extend our nturl deduction rules for sententil logic to first order logic These notes

More information

USA Mathematical Talent Search Round 1 Solutions Year 25 Academic Year

USA Mathematical Talent Search Round 1 Solutions Year 25 Academic Year 1/1/5. Alex is trying to oen lock whose code is sequence tht is three letters long, with ech of the letters being one of A, B or C, ossibly reeted. The lock hs three buttons, lbeled A, B nd C. When the

More information

KNOWLEDGE-BASED AGENTS INFERENCE

KNOWLEDGE-BASED AGENTS INFERENCE AGENTS THAT REASON LOGICALLY KNOWLEDGE-BASED AGENTS Two components: knowledge bse, nd n inference engine. Declrtive pproch to building n gent. We tell it wht it needs to know, nd It cn sk itself wht to

More information

Completeness of an Euler Diagrammatic System with Constant and Existential Points

Completeness of an Euler Diagrammatic System with Constant and Existential Points omleteness of n uler igrmmtic System with onstnt nd xistentil Points Ryo Tkemur Nihon University, Jn. tkemur.ryo@nihon-u.c.j strct We extend uler digrmmtic system of Minshim, Okd, & Tkemur (2012) y distinguishing

More information

Kronecker-Jacobi symbol and Quadratic Reciprocity. Q b /Q p

Kronecker-Jacobi symbol and Quadratic Reciprocity. Q b /Q p Kronecker-Jcoi symol nd Qudrtic Recirocity Let Q e the field of rtionl numers, nd let Q, 0. For ositive rime integer, the Artin symol Q /Q hs the vlue 1 if Q is the slitting field of in Q, 0 if is rmified

More information

The Regulated and Riemann Integrals

The Regulated and Riemann Integrals Chpter 1 The Regulted nd Riemnn Integrls 1.1 Introduction We will consider severl different pproches to defining the definite integrl f(x) dx of function f(x). These definitions will ll ssign the sme vlue

More information

Duke Math Meet

Duke Math Meet Duke Mth Meet 01-14 Power Round Qudrtic Residues nd Prime Numers For integers nd, we write to indicte tht evenly divides, nd to indicte tht does not divide For exmle, 4 nd 4 Let e rime numer An integer

More information

Families of Solutions to Bernoulli ODEs

Families of Solutions to Bernoulli ODEs In the fmily of solutions to the differentil eqution y ry dx + = it is shown tht vrition of the initil condition y( 0 = cuses horizontl shift in the solution curve y = f ( x, rther thn the verticl shift

More information

Good Review book ( ) ( ) ( )

Good Review book ( ) ( ) ( ) 7/31/2011 34 Boolen (Switching) Algebr Review Good Review book BeBop to the Boolen Boogie: An Unconventionl Guide to Electronics, 2 nd ed. by Clive Mxwell Hightext Publictions Inc. from Amzon.com for pprox.

More information

ECON 331 Lecture Notes: Ch 4 and Ch 5

ECON 331 Lecture Notes: Ch 4 and Ch 5 Mtrix Algebr ECON 33 Lecture Notes: Ch 4 nd Ch 5. Gives us shorthnd wy of writing lrge system of equtions.. Allows us to test for the existnce of solutions to simultneous systems. 3. Allows us to solve

More information

Chapter 3. Vector Spaces

Chapter 3. Vector Spaces 3.4 Liner Trnsformtions 1 Chpter 3. Vector Spces 3.4 Liner Trnsformtions Note. We hve lredy studied liner trnsformtions from R n into R m. Now we look t liner trnsformtions from one generl vector spce

More information

NWI: Mathematics. Various books in the library with the title Linear Algebra I, or Analysis I. (And also Linear Algebra II, or Analysis II.

NWI: Mathematics. Various books in the library with the title Linear Algebra I, or Analysis I. (And also Linear Algebra II, or Analysis II. NWI: Mthemtics Literture These lecture notes! Vrious books in the librry with the title Liner Algebr I, or Anlysis I (And lso Liner Algebr II, or Anlysis II) The lecture notes of some of the people who

More information

Multidimensional. MOD Planes. W. B. Vasantha Kandasamy Ilanthenral K Florentin Smarandache

Multidimensional. MOD Planes. W. B. Vasantha Kandasamy Ilanthenral K Florentin Smarandache Multidimensionl MOD Plnes W. B. Vsnth Kndsmy Ilnthenrl K Florentin Smrndche 2015 This book cn be ordered from: EuropNov ASBL Clos du Prnsse, 3E 1000, Bruxelles Belgium E-mil: info@europnov.be URL: http://www.europnov.be/

More information

THE DISCRIMINANT & ITS APPLICATIONS

THE DISCRIMINANT & ITS APPLICATIONS THE DISCRIMINANT & ITS APPLICATIONS The discriminnt ( Δ ) is the epression tht is locted under the squre root sign in the qudrtic formul i.e. Δ b c. For emple: Given +, Δ () ( )() The discriminnt is used

More information

Mrgolius 2 In the rticulr cse of Ploue's constnt, we tke = 2= 5+i= 5, nd = ;1, then ; C = tn;1 1 2 = ln(2= 5+i= 5) ln(;1) More generlly, we would hve

Mrgolius 2 In the rticulr cse of Ploue's constnt, we tke = 2= 5+i= 5, nd = ;1, then ; C = tn;1 1 2 = ln(2= 5+i= 5) ln(;1) More generlly, we would hve Ploue's Constnt is Trnscendentl Brr H. Mrgolius Clevelnd Stte University Clevelnd, Ohio 44115.mrgolius@csuohio.edu Astrct Ploue's constnt tn;1 ( 1 2) is trnscendentl. We rove this nd more generl result

More information

set is not closed under matrix [ multiplication, ] and does not form a group.

set is not closed under matrix [ multiplication, ] and does not form a group. Prolem 2.3: Which of the following collections of 2 2 mtrices with rel entries form groups under [ mtrix ] multipliction? i) Those of the form for which c d 2 Answer: The set of such mtrices is not closed

More information

ON THE NILPOTENCY INDEX OF THE RADICAL OF A GROUP ALGEBRA. XI

ON THE NILPOTENCY INDEX OF THE RADICAL OF A GROUP ALGEBRA. XI Mth. J. Okym Univ. 44(2002), 51 56 ON THE NILPOTENCY INDEX OF THE RADICAL OF A GROUP ALGEBRA. XI Koru MOTOSE Let t(g) be the nilpotency index of the rdicl J(KG) of group lgebr KG of finite p-solvble group

More information

Coalgebra, Lecture 15: Equations for Deterministic Automata

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

MATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1

MATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1 MATH34032: Green s Functions, Integrl Equtions nd the Clculus of Vritions 1 Section 1 Function spces nd opertors Here we gives some brief detils nd definitions, prticulrly relting to opertors. For further

More information

df dt f () b f () a dt

df dt f () b f () a dt Vector lculus 16.7 tokes Theorem Nme: toke's Theorem is higher dimensionl nlogue to Green's Theorem nd the Fundmentl Theorem of clculus. Why, you sk? Well, let us revisit these theorems. Fundmentl Theorem

More information

IN GAUSSIAN INTEGERS X 3 + Y 3 = Z 3 HAS ONLY TRIVIAL SOLUTIONS A NEW APPROACH

IN GAUSSIAN INTEGERS X 3 + Y 3 = Z 3 HAS ONLY TRIVIAL SOLUTIONS A NEW APPROACH INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 (2008), #A2 IN GAUSSIAN INTEGERS X + Y = Z HAS ONLY TRIVIAL SOLUTIONS A NEW APPROACH Elis Lmpkis Lmpropoulou (Term), Kiprissi, T.K: 24500,

More information

arxiv: v1 [math.ra] 1 Nov 2014

arxiv: v1 [math.ra] 1 Nov 2014 CLASSIFICATION OF COMPLEX CYCLIC LEIBNIZ ALGEBRAS DANIEL SCOFIELD AND S MCKAY SULLIVAN rxiv:14110170v1 [mthra] 1 Nov 2014 Abstrct Since Leibniz lgebrs were introduced by Lody s generliztion of Lie lgebrs,

More information

Sturm-Liouville Eigenvalue problem: Let p(x) > 0, q(x) 0, r(x) 0 in I = (a, b). Here we assume b > a. Let X C 2 1

Sturm-Liouville Eigenvalue problem: Let p(x) > 0, q(x) 0, r(x) 0 in I = (a, b). Here we assume b > a. Let X C 2 1 Ch.4. INTEGRAL EQUATIONS AND GREEN S FUNCTIONS Ronld B Guenther nd John W Lee, Prtil Differentil Equtions of Mthemticl Physics nd Integrl Equtions. Hildebrnd, Methods of Applied Mthemtics, second edition

More information

McGill University Math 354: Honors Analysis 3 Fall 2012 Solutions to selected Exercises. g(x) 2 dx 1 2 a

McGill University Math 354: Honors Analysis 3 Fall 2012 Solutions to selected Exercises. g(x) 2 dx 1 2 a McGill University Mth 354: Honors Anlysis 3 Fll 2012 Assignment 1 Solutions to selected Exercises Exercise 1. (i) Verify the identity for ny two sets of comlex numers { 1,..., n } nd { 1,..., n } ( n )

More information

CS 330 Formal Methods and Models

CS 330 Formal Methods and Models CS 0 Forml Methods nd Models Dn Richrds, George Mson University, Fll 2016 Quiz Solutions Quiz 1, Propositionl Logic Dte: Septemer 8 1. Prove q (q p) p q p () (4pts) with truth tle. p q p q p (q p) p q

More information

AN ALTERNATE PROOF OF THE DE MOIVRE'S THEOREM

AN ALTERNATE PROOF OF THE DE MOIVRE'S THEOREM AN ALTERNATE PROOF OF THE DE MOIVRE'S THEOREM K.V. Vidysgr Deprtment of Mthemtics, Government Degree College, Nrsiptnm-536, Viskhptnm * Author for Correspondence ABSTRACT Trnsformtion is method for solving

More information

Math 520 Final Exam Topic Outline Sections 1 3 (Xiao/Dumas/Liaw) Spring 2008

Math 520 Final Exam Topic Outline Sections 1 3 (Xiao/Dumas/Liaw) Spring 2008 Mth 520 Finl Exm Topic Outline Sections 1 3 (Xio/Dums/Liw) Spring 2008 The finl exm will be held on Tuesdy, My 13, 2-5pm in 117 McMilln Wht will be covered The finl exm will cover the mteril from ll of

More information

Quadratic Forms. Quadratic Forms

Quadratic Forms. Quadratic Forms Qudrtic Forms Recll the Simon & Blume excerpt from n erlier lecture which sid tht the min tsk of clculus is to pproximte nonliner functions with liner functions. It s ctully more ccurte to sy tht we pproximte

More information

1.9 C 2 inner variations

1.9 C 2 inner variations 46 CHAPTER 1. INDIRECT METHODS 1.9 C 2 inner vritions So fr, we hve restricted ttention to liner vritions. These re vritions of the form vx; ǫ = ux + ǫφx where φ is in some liner perturbtion clss P, for

More information

In words: Let be the relation on Z given by a b if a b. (Note that we use language like in definitions, where if actually means if and only if.

In words: Let be the relation on Z given by a b if a b. (Note that we use language like in definitions, where if actually means if and only if. Reltions A binry reltion on set A is subset R Ñ A ˆ A, where elements p, bq re written s b. Exmple: A Z nd R t b bu. In words: Let be the reltion on Z given by b if b. (Note tht we use lnguge like in definitions,

More information

Consequently, the temperature must be the same at each point in the cross section at x. Let:

Consequently, the temperature must be the same at each point in the cross section at x. Let: HW 2 Comments: L1-3. Derive the het eqution for n inhomogeneous rod where the therml coefficients used in the derivtion of the het eqution for homogeneous rod now become functions of position x in the

More information

I. Theory of Automata II. Theory of Formal Languages III. Theory of Turing Machines

I. Theory of Automata II. Theory of Formal Languages III. Theory of Turing Machines CI 3104 /Winter 2011: Introduction to Forml Lnguges Chter 13: Grmmticl Formt Chter 13: Grmmticl Formt I. Theory of Automt II. Theory of Forml Lnguges III. Theory of Turing Mchines Dr. Neji Zgui CI3104-W11

More information

Improper Integrals, and Differential Equations

Improper Integrals, and Differential Equations Improper Integrls, nd Differentil Equtions October 22, 204 5.3 Improper Integrls Previously, we discussed how integrls correspond to res. More specificlly, we sid tht for function f(x), the region creted

More information

Matrices and Determinants

Matrices and Determinants Nme Chpter 8 Mtrices nd Determinnts Section 8.1 Mtrices nd Systems of Equtions Objective: In this lesson you lerned how to use mtrices, Gussin elimintion, nd Guss-Jordn elimintion to solve systems of liner

More information

Finite Automata Theory and Formal Languages TMV027/DIT321 LP4 2018

Finite Automata Theory and Formal Languages TMV027/DIT321 LP4 2018 Finite Automt Theory nd Forml Lnguges TMV027/DIT321 LP4 2018 Lecture 10 An Bove April 23rd 2018 Recp: Regulr Lnguges We cn convert between FA nd RE; Hence both FA nd RE ccept/generte regulr lnguges; More

More information

INTRODUCTION TO LINEAR ALGEBRA

INTRODUCTION TO LINEAR ALGEBRA ME Applied Mthemtics for Mechnicl Engineers INTRODUCTION TO INEAR AGEBRA Mtrices nd Vectors Prof. Dr. Bülent E. Pltin Spring Sections & / ME Applied Mthemtics for Mechnicl Engineers INTRODUCTION TO INEAR

More information

Example Sheet 6. Infinite and Improper Integrals

Example Sheet 6. Infinite and Improper Integrals Sivkumr Exmple Sheet 6 Infinite nd Improper Integrls MATH 5H Mteril presented here is extrcted from Stewrt s text s well s from R. G. Brtle s The elements of rel nlysis. Infinite Integrls: These integrls

More information

On the degree of regularity of generalized van der Waerden triples

On the degree of regularity of generalized van der Waerden triples On the degree of regulrity of generlized vn der Werden triples Jcob Fox Msschusetts Institute of Technology, Cmbridge, MA 02139, USA Rdoš Rdoičić Deprtment of Mthemtics, Rutgers, The Stte University of

More information

Mathematics for economists

Mathematics for economists Mthemtics for economists Peter Jochumzen September 26, 2016 Contents 1 Logic 3 2 Set theory 4 3 Rel number system: Axioms 4 4 Rel number system: Definitions 5 5 Rel numbers: Results 5 6 Rel numbers: Powers

More information

Matrix Algebra. Matrix Addition, Scalar Multiplication and Transposition. Linear Algebra I 24

Matrix Algebra. Matrix Addition, Scalar Multiplication and Transposition. Linear Algebra I 24 Mtrix lger Mtrix ddition, Sclr Multipliction nd rnsposition Mtrix lger Section.. Mtrix ddition, Sclr Multipliction nd rnsposition rectngulr rry of numers is clled mtrix ( the plurl is mtrices ) nd the

More information

PARTIAL FRACTION DECOMPOSITION

PARTIAL FRACTION DECOMPOSITION PARTIAL FRACTION DECOMPOSITION LARRY SUSANKA 1. Fcts bout Polynomils nd Nottion We must ssemble some tools nd nottion to prove the existence of the stndrd prtil frction decomposition, used s n integrtion

More information

42 RICHARD M. LOW AND SIN-MIN LEE grphs nd Z k mgic grphs were investigted in [4,7,8,1]. The construction of mgic grphs ws studied by Sun nd Lee [18].

42 RICHARD M. LOW AND SIN-MIN LEE grphs nd Z k mgic grphs were investigted in [4,7,8,1]. The construction of mgic grphs ws studied by Sun nd Lee [18]. AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 34 (26), Pges 41 48 On the products of group-mgic grphs Richrd M. Low Λ Deprtment of Mthemtics Sn Jose Stte University Sn Jose, CA 95192 U.S.A. low@mth.sjsu.edu

More information

Semigroup of generalized inverses of matrices

Semigroup of generalized inverses of matrices Semigroup of generlized inverses of mtrices Hnif Zekroui nd Sid Guedjib Abstrct. The pper is divided into two principl prts. In the first one, we give the set of generlized inverses of mtrix A structure

More information

Frobenius numbers of generalized Fibonacci semigroups

Frobenius numbers of generalized Fibonacci semigroups Frobenius numbers of generlized Fiboncci semigroups Gretchen L. Mtthews 1 Deprtment of Mthemticl Sciences, Clemson University, Clemson, SC 29634-0975, USA gmtthe@clemson.edu Received:, Accepted:, Published:

More information

Orthogonal Polynomials

Orthogonal Polynomials Mth 4401 Gussin Qudrture Pge 1 Orthogonl Polynomils Orthogonl polynomils rise from series solutions to differentil equtions, lthough they cn be rrived t in vriety of different mnners. Orthogonl polynomils

More information

CS 275 Automata and Formal Language Theory

CS 275 Automata and Formal Language Theory CS 275 Automt nd Forml Lnguge Theory Course Notes Prt II: The Recognition Problem (II) Chpter II.5.: Properties of Context Free Grmmrs (14) Anton Setzer (Bsed on book drft by J. V. Tucker nd K. Stephenson)

More information

Let S be a numerical semigroup generated by a generalized arithmetic sequence,

Let S be a numerical semigroup generated by a generalized arithmetic sequence, Abstrct We give closed form for the ctenry degree of ny element in numericl monoid generted by generlized rithmetic sequence in embedding dimension three. While it is known in generl tht the lrgest nd

More information

The solutions of the single electron Hamiltonian were shown to be Bloch wave of the form: ( ) ( ) ikr

The solutions of the single electron Hamiltonian were shown to be Bloch wave of the form: ( ) ( ) ikr Lecture #1 Progrm 1. Bloch solutions. Reciprocl spce 3. Alternte derivtion of Bloch s theorem 4. Trnsforming the serch for egenfunctions nd eigenvlues from solving PDE to finding the e-vectors nd e-vlues

More information

Elements of Matrix Algebra

Elements of Matrix Algebra Elements of Mtrix Algebr Klus Neusser Kurt Schmidheiny September 30, 2015 Contents 1 Definitions 2 2 Mtrix opertions 3 3 Rnk of Mtrix 5 4 Specil Functions of Qudrtic Mtrices 6 4.1 Trce of Mtrix.........................

More information

SUMMER KNOWHOW STUDY AND LEARNING CENTRE

SUMMER KNOWHOW STUDY AND LEARNING CENTRE SUMMER KNOWHOW STUDY AND LEARNING CENTRE Indices & Logrithms 2 Contents Indices.2 Frctionl Indices.4 Logrithms 6 Exponentil equtions. Simplifying Surds 13 Opertions on Surds..16 Scientific Nottion..18

More information

USA Mathematical Talent Search Round 1 Solutions Year 21 Academic Year

USA Mathematical Talent Search Round 1 Solutions Year 21 Academic Year 1/1/21. Fill in the circles in the picture t right with the digits 1-8, one digit in ech circle with no digit repeted, so tht no two circles tht re connected by line segment contin consecutive digits.

More information

State space systems analysis (continued) Stability. A. Definitions A system is said to be Asymptotically Stable (AS) when it satisfies

State space systems analysis (continued) Stability. A. Definitions A system is said to be Asymptotically Stable (AS) when it satisfies Stte spce systems nlysis (continued) Stbility A. Definitions A system is sid to be Asymptoticlly Stble (AS) when it stisfies ut () = 0, t > 0 lim xt () 0. t A system is AS if nd only if the impulse response

More information

RELATIONAL MODEL.

RELATIONAL MODEL. RELATIONAL MODEL Structure of Reltionl Dtbses Reltionl Algebr Tuple Reltionl Clculus Domin Reltionl Clculus Extended Reltionl-Algebr- Opertions Modifiction of the Dtbse Views EXAMPLE OF A RELATION BASIC

More information

MORE FUNCTION GRAPHING; OPTIMIZATION. (Last edited October 28, 2013 at 11:09pm.)

MORE FUNCTION GRAPHING; OPTIMIZATION. (Last edited October 28, 2013 at 11:09pm.) MORE FUNCTION GRAPHING; OPTIMIZATION FRI, OCT 25, 203 (Lst edited October 28, 203 t :09pm.) Exercise. Let n be n rbitrry positive integer. Give n exmple of function with exctly n verticl symptotes. Give

More information

Generalized Fano and non-fano networks

Generalized Fano and non-fano networks Generlized Fno nd non-fno networks Nildri Ds nd Brijesh Kumr Ri Deprtment of Electronics nd Electricl Engineering Indin Institute of Technology Guwhti, Guwhti, Assm, Indi Emil: {d.nildri, bkri}@iitg.ernet.in

More information

Convex Sets and Functions

Convex Sets and Functions B Convex Sets nd Functions Definition B1 Let L, +, ) be rel liner spce nd let C be subset of L The set C is convex if, for ll x,y C nd ll [, 1], we hve 1 )x+y C In other words, every point on the line

More information

M A T H F A L L CORRECTION. Algebra I 2 1 / 0 9 / U N I V E R S I T Y O F T O R O N T O

M A T H F A L L CORRECTION. Algebra I 2 1 / 0 9 / U N I V E R S I T Y O F T O R O N T O M A T H 2 4 0 F A L L 2 0 1 4 HOMEWORK ASSIGNMENT #1 CORRECTION Alger I 2 1 / 0 9 / 2 0 1 4 U N I V E R S I T Y O F T O R O N T O 1. Suppose nd re nonzero elements of field F. Using only the field xioms,

More information

Finite state automata

Finite state automata Finite stte utomt Lecture 2 Model-Checking Finite-Stte Systems (untimed systems) Finite grhs with lels on edges/nodes set of nodes (sttes) set of edges (trnsitions) set of lels (lhet) Finite Automt, CTL,

More information