Learning logic is like learning a foreign language, only easier, more useful, and more fun. You'll discover that on Day 1 when you realize that you've been trying to think clearly about lots of things over the years and didn't have the training to do it well. The classes taught in the CS Logic Institute will provide that training.
It's hard to describe the actual content of our classes without scaring you with concepts and terminology that may make your mind spin. So instead, we're going to give you a taste of what you'll learn knowing that after a few days of camp, you'll be able to read this webpage again and, like Hermione Granger in "Harry Potter and the Sorcerer's Stone", announce "This isn't magic - it's logic!" and smile.
We'll be working with a few key tools or concepts: propositional logic, relational logic, deduction, and proofs. (Deduction and proofs should certainly sound familiar to any fan of Sherlock Holmes.)
We'll start using sentences written in English. We'll then talk about why we want to use a different, formal language for expressing information logically and about the rules for manipulating information sentences written in "logic". Your classes will involve learning to translate the world around you into this easy-to-master language and rules.
Not through lectures alone. (And anyway, the lectures we present are engaging, interactive, and small group, since enrollment is limited.) Six hours a day for the 10 weekdays of our camp, we will also challenge you with team and individual exercises, projects, puzzles, and games, along with special events and guests.
You'll learn a way of thinking so powerful that you'll solve all kinds of problems - including these - with ease.