+353-1-416-8900REST OF WORLD
+44-20-3973-8888REST OF WORLD
1-917-300-0470EAST COAST U.S
1-800-526-8630U.S. (TOLL FREE)

Discrete Mathematics With Logic

  • Book

  • July 2023
  • Elsevier Science and Technology
  • ID: 5755741

Discrete Mathematics provides key concepts and a solid, rigorous foundation in mathematical reasoning. Appropriate for undergraduate as well as a starting point for more advanced class, the resource offers a logical progression through key topics without assuming any background in algebra or computational skills and without duplicating what they will learn in higher level courses. The book is designed as an accessible introduction for students in mathematics or computer science as it explores questions that test the understanding of proof strategies, such as mathematical induction.

For students interested to dive into this subject, the text offers a rigorous introduction to mathematical thought through useful examples and exercises.

Please Note: This is an On Demand product, delivery may take up to 11 working days after payment has been received.

Table of Contents

1: Discreteness
2: Basic set theory
3: Working with finite sets
4: Formal logic
5: Induction
6: Set structures
7: Elementary number theory
8: Codes and cyphers
9: Graphs and trees

Authors

Martin Milanic University of Primorska, Koper, Slovenia. Martin Milanic received his Ph.D. from Rutgers University in 2007. After a postdoctoral stay at Bielefeld University, he joined the University of Primorska in Slovenia, where he designed a higher-level course on graph algorithms and has been teaching various courses related to discrete mathematics. His main areas of research are structural and algorithmic graph theory. He has written over 80 papers (with over 100 coauthors). In 2017 he was awarded with Zois Recognition, the Slovenian national award for important achievements in science. Brigitte Servatius Professor, Worcester, Massachusetts, US. Both Herman and Brigitte Servatius obtained Ph.D. degrees from Syracuse University. Despite the fact that they entered their fifth decade of marriage, they have kept a bit of their individual mathematical identity. Herman's interests are in geometry, algebra, and computer science, and Brigitte's interests are in combinatorics and matroids. Their common interest is combinatorial group theory. Brigitte designed a discrete mathematics course at WPI (Worcester Polytechnic Institute, USA) for advanced mathematics students as an alternative to calculus back in 1987. It has grown into a popular course and is now cross-listed in mathematics and computer science. Discrete Mathematics developed over the many years of teaching the course at WPI to our (mostly) engineering students. Our next-generation coauthor ensures freshness. Herman Servatius Professor, Worcester, Massachusetts, US. Both Herman and Brigitte Servatius obtained Ph.D. degrees from Syracuse University. Despite the fact that they entered their fifth decade of marriage, they have kept a bit of their individual mathematical identity. Herman's interests are in geometry, algebra, and computer science, and Brigitte's interests are in combinatorics and matroids. Their common interest is combinatorial group theory. Brigitte designed a discrete mathematics course at WPI (Worcester Polytechnic Institute, USA) for advanced mathematics students as an alternative to calculus back in 1987. It has grown into a popular course and is now cross-listed in mathematics and computer science. Discrete Mathematics developed over the many years of teaching the course at WPI to our (mostly) engineering students. Our next-generation coauthor ensures freshness.