Name of the Student:
|
|
- Randolph Bailey
- 5 years ago
- Views:
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
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 informationMathCity.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 informationIntuitionistic 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 informationBoolean 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 informationControl 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 informationDiscrete 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 informationIntroduction 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 informationQuadratic 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 informationk 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 informationQUADRATIC 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 informationAlgebraic 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 informationQuadratic 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 informationCS 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 informationCS 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 informationMATH 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 informationThe 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 informationVidyalankar 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 informationTheoretical 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 informationPavel 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 informationBoolean 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 informationLumpability 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 informationPRIMES 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 informationResults 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 informationChapter 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 informationCS 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 informationReasoning 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 informationMath 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 informationTheory 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 informationad = 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 informationName: 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 informationNatural 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 informationLECTURE 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 informationSupplement 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
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 informationIST 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 informationIntroduction 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 informationREVIEW 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 informationOn 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 informationDually 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 informationABSTRACT: 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 informationARITHMETIC 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 informationGeometric 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 informationHandout: 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 informationUSA 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 informationKNOWLEDGE-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 informationCompleteness 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 informationKronecker-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 informationThe 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 informationDuke 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 informationFamilies 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 informationGood 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 informationECON 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 informationChapter 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 informationNWI: 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 informationMultidimensional. 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 informationTHE 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 informationMrgolius 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 informationset 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 informationON 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 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 informationMATH34032: 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 informationdf 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 informationIN 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 informationarxiv: 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 informationSturm-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 informationMcGill 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 informationCS 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 informationAN 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 informationMath 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 informationQuadratic 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 information1.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 informationIn 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 informationConsequently, 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 informationI. 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 informationImproper 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 informationMatrices 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 informationFinite 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 informationINTRODUCTION 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 informationExample 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 informationOn 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 informationMathematics 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 informationMatrix 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 informationPARTIAL 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 information42 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 informationSemigroup 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 informationFrobenius 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 informationOrthogonal 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 informationCS 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 informationLet 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 informationThe 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 informationElements 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 informationSUMMER 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 informationUSA 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 informationState 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 informationRELATIONAL 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 informationMORE 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 informationGeneralized 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 informationConvex 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 informationM 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 informationFinite 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