The Art of Calculus: An Introduction to Calculus

This book gives an introduction to the very active field of combinatorics of affine Schubert calculus, explains the current state of the art, and states the current open problems. Affine Schubert calculus lies at the crossroads of combinatorics, geometry, and representation theory. Its modern development is motivated by two seemingly unrelated directions.

Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories.

This text provides a comprehensive and concise treatment of the topic of traffic flow theory and includes several topics relevant to today’s highway transportation system. It provides the fundamental principles of traffic flow theory as well as applications of those principles for evaluating specific types of facilities (freeways, intersections, etc.).