000 a
999 _c31012
_d31012
008 220505b xxu||||| |||| 00| 0 eng d
020 _a9780367180614
082 _a 513.5
_bKAY
100 _aKay, Anthony
245 _aNumber systems : a path into rigorous mathematics
260 _bchapman and hall/crc,
_c2022
_aBoca Raton :
300 _axi,304 p. ;
_bill.,
_c25 cm
365 _b52.99
_cGBP
_d104.80
504 _aIncludes bibliographical references and index.
520 _aNumber Systems: A Path into Rigorous Mathematics aims to introduce number systems to an undergraduate audience in a way that emphasises the importance of rigour, and with a focus on providing detailed but accessible explanations of theorems and their proofs. The book continually seeks to build upon students' intuitive ideas of how numbers and arithmetic work, and to guide them towards the means to embed this natural understanding into a more structured framework of understanding. The author's motivation for writing this book is that most previous texts, which have complete coverage of the subject, have not provided the level of explanation needed for first-year students. On the other hand, those that do give good explanations tend to focus broadly on Foundations or Analysis and provide incomplete coverage of Number Systems. Features Approachable for students who have not yet studied mathematics beyond school Does not merely present definitions, theorems and proofs, but also motivates them in terms of intuitive knowledge and discusses methods of proof Draws attention to connections with other areas of mathematics Plenty of exercises for students, both straightforward problems and more in-depth investigations Introduces many concepts that are required in more advanced topics in mathematics.
650 _aNumber theory
650 _aNumeration
650 _aBijection
650 _aBinary operation
650 _aCardinality
650 _aCayley-Dickson construction
650 _aCoprime
650 _aDedekind cut
650 _aDivision theorem
650 _aExponentiation
650 _aFundamental theorem
650 _a Gelfond-Schneider Theorem
650 _aIsomorphism
650 _aOrdered pair
650 _a Prime factorisation
650 _aQuadratic equation
650 _aTrigonometric function
942 _2ddc
_cBK