Discrete Mathematics With Logic

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. 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. 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.