This course explores the interplay between mathematical logic and computing, delving into theoretical foundations that form the basis of programming, algorithm design, and problem-solving. Participants will progress through an in-depth journey across logic systems, model theory, computability, and their application in modern computational systems.