Explores the theoretical aspects of UX audit, expert evaluation, and benchmarking, emphasizing the importance of detecting design issues impacting usability and user experience.
Explores equations of vertical movement under gravity and their integration, as well as horizontal movement with stress conditions and the Foucault pendulum heuristic.
Explores the Boolean Satisfiability Problem and the Davis-Putnam-Logemann-Loveland algorithm, along with modern SAT solvers and efficient solving techniques.