Chapter 1Mathematical Background
This chapter reviews rudimentary concepts from logic (Section 1.1), set theory (Section 1.2), discrete mathematics (Section 1.3), and graph theory (Section 1.4). For readers familiar with these concepts, this chapter can be treated as a reference for notation and definitions.
1.1 Logic
Next, we review the basics of elementary logic. We pay special attention to the fundamental proof techniques used in this book.
In general, a formal mathematical system S consists of basic symbols, formation rules, axioms, and inference rules. Basic symbols, such as constants and operators, form components of statements, which are composed according to formation rules. Axioms are primitive statements, whose validity is accepted ...
Get Jumping Computation now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
