In meteorology, an inversion is a deviation from the normal decrease of air temperature with altitude. It traps air pollution close to the ground and can suppress convection, leading to freezing rain in cold climates. In some cases, it can also lead to violent thunderstorms.

This undergraduate course introduces students to constructive logics such as intuitionistic and linear logic, focusing on their use in computer science. The goal is to understand the distinction between classical and constructive logic, define logical connectives, implement theorem provers, and explore computational interpretations of logics. Concepts covered include natural deduction, sequent calculus, logic programming, linear logic, and many more.