Abstract

This book serves as an introduction to mathematical logic for STEM (Science, Technology, Engineering, and Mathematics) students, written for undergraduates (in particular, 1st and 2nd year undergraduates). A focus on this book is on logical thinking, not simply rote memorization, with a focus on examples and analogies relevant to students aimed at becoming technical leaders and problem solvers. This book includes propositional logic, set theory, functions and relations, and more, with coding examples provided in the Python programming language.