Meeting on Saturday Feb. 8

Hi All,

Both the recreational and advanced sessions meet this Saturday.  As usual, see below for the information.

All the best,
Laurent

——————–

Advanced Series

Time & Date: 2pm-3pm, Saturday Feb. 8

Location: Princeton Public Library, teen room (3rd floor)

Speaker: Adam Millar

Title: Introduction to Mathematical Logic

Abstract: Our goal today is to examine the logical system known as Classical Propositional Logic (CPL), and the Natural Deduction (ND) method of constructing proofs. We will review the formal syntax of CPL and the inference rules of ND. We will also examine the formal semantics of CPL; the method of truth tables. Finally we will mention Predicate Logic, an extension of Propositional Logic, and allude to a few metatheorems of CPL.

Difficulty: 3.5 chili peppers (out of 4)  [but don’t let this scare you:)]

Notes from the talk: Click here

No need to RSVP!
——–

Recreational Series

Location: Princeton Public Library, teen room (3rd floor)

Time & Date: 3:14pm-4:14pm, Saturday Feb. 8

Description: We’re leaving things open this week. There will be board games for those who want to play, and some interesting math problems to work on as well.

No need to RSVP!

Advertisements