We will start off this quarter by discussing some "logic puzzles." They introduce important principles in (mathematical) logic and even find applications in modern computers.