36463585-ba94-4ef6-9c42-58263d79ba48

Accepted: Mathematical Logic Program

Rensselaer Polytechnic Institute - Outreach Programs - Rensselaer Polytechnic Institute

Monday, August 11, 2014 - Friday, August 22, 2014
Rensselaer Polytechnic Institute 110 8th Street TroyNY  12180
Monday, August 11, 2014 - Friday, August 22, 2014
Rensselaer Polytechnic Institute 110 8th Street TroyNY  12180

This camp has passed

What's Included

This two week day enrichment program on the campus of Rensselaer Polytechnic Institute in Troy, New York will engage middle school and high school students in a workshop exploring logic. Logic is the science that studies arguments and inferences, and serves as the theoretical foundation of computer science. In this course, we develop mathematical languages used to model arguments and prove (or disprove) their validity. We will also use these languages to represent logic puzzles and solve them efficiently with mathematical rigor, as well as construct our own puzzles. We also briefly explore some of the most important results of the 19th and 20th century mathematics, regarding infinity and provability. Learning outcomes are an increased ability to think logically about arguments and claims, mastering central concepts used in mathematics, computer science, and philosophy, as well as cultivating problem-solving skills that apply both within mathematics and beyond.

About This Organizer

Summer@Rensselaer is all about continued growth and new program offerings. We welcome undergraduate and graduate students, prospective and visiting undergraduate and graduate students, alumni and their families, adults and working professionals, elementary, middle, and high school students, and external organizations.

Organizer Info

  • Rensselaer Polytechnic Institute - Outreach Programs

Map & Direction

Rensselaer Polytechnic Institute 110 8th Street TroyNY  12180
Get Directions

Discuss This Activity