03050cam a22003857i 4500 19240562 CSPC 20260926104722.0 260926s2025 sz a b 001 0 eng 2016427777 9783031734335 19240562 DLC eng rda DLC CSPC QA297.4 23 511.1 K663d Klappenecker, Andreas, author. Discrete structures / Andreas Klappenecker and Hyunyoung Lee. Custom edition for George Mason University. Cham, Switzerland : Springer, 2025. xv, 423 pages : illustrations ; 24 cm. text txt rdacontent unmediated n rdamedia volume nc rdacarrier Always learning Includes bibliographical references and index. I. Discrete structures -- Introduction -- Mathematical arguments -- Sets -- Proofs by induction -- Equivalence relations -- Partials orders and lattices -- Floor and ceiling functions -- Number theory -- II. Summation and Asymptotics -- Sums -- Asymptotic analysis -- III. Combinatorics -- Counting -- Generating functions -- Recurrence relations -- Graphs -- Probability theory. The aim of this text is to introduce discrete mathematics to beginning students of mathematics or computer science. It does this by bringing some coherency into the seemingly incongruent subjects that compose discrete math, such as logic, set theory, algebra, and combinatorics. It emphasizes their theoretical foundations and illustrates proofs along the way. The book prepares readers for the analysis of algorithms by discussing asymptotic analysis and a discrete calculus for sums. The book also deduces combinatorial methods from the foundations that are laid out. Unlike other texts on this subject, there is a greater emphasis on foundational material that leads to a better understanding. To further assist the reader in grasping and practicing concepts, roughly 690 exercises are provided at various levels of difficulty. Readers are encouraged to study the examples in the text and solve as many of the exercises as possible. The text is intended for freshman or sophomore undergraduate students in mathematics, computer science, or similar majors. The assumed background is precalculus. The chapter dependency chart included is designed to help students, independent readers, and instructors follow a systematic path for learning and teaching the material, with the option to explore material in later chapters. English. Logic Textbooks. Lee, Hyunyoung, author. 7 cbc orignew 4 ncip 20 y-gencatlg ddc 0 BK 23 511.1 K663d CIR 2025 0 0 ddc 0 0 CSPC CSPC CIR 2026-09-26 0 CIR 511.1 K663d 2025 032573 2026-09-26 10:47:42 1-1 2026-09-26 BK 33507 33507