Mathematics

This book covers elementary discrete mathematics for computer science and engineering. It emphasizes mathematical definitions and proofs as well as applicable methods. It explores the topics of basic combinatorics, number and graph theory, logic and

This gentle introduction to discrete mathematics is written for first and second year math majors, especially those who intend to teach. The text began as a set of lecture notes for the discrete mathematics course at the University of Northern Colora

In this book, you will find algebra exercises and problems, grouped by chapters, intended for higher grades in high schools or middle schools of general education. Its purpose is to facilitate training in mathematics for students in all high school c

Combinatorics on words has arisen independently within several branches of mathematics, for instance, number theory, group theory and probability, and appears frequently in problems related to theoretical computer science. The first unified treatment

In most major universities one of the three or four basic first-year graduate mathematics courses is algebraic topology. This introductory text is suitable for use in a course on the subject or for self-study, featuring broad coverage and a readable

The purpose of this book is to present a complete course on global analysis topics and establish some orbital applications of the integration on topological groups and their algebras to harmonic analysis and induced representations in representation

Model theory is a branch of mathematical logic that has found applications in several areas of algebra and geometry. It provides a unifying framework for the understanding of old results and more recently has led to significant new results, such as a

This unique text presents the new domain of consistent non-linear counterparts for all basic objects and tools of linear algebra, and develops an adequate calculus for solving non-linear algebraic and differential equations. It reveals the non-linear

Super Linear Algebras are built using super matrices. These new structures can be applied to all fields in which linear algebras are used. Super characteristic values exist only when the related super matrices are super square diagonal super matrices

Popular computer algebra systems such as Maple, Macsyma, Mathematica, and REDUCE are now basic tools on most computers. Efficient algorithms for various algebraic operations underlie all these systems. Computer algebra, or algorithmic algebra, studie