Coordinates

Tuesday/Thursday 1:45-3:15pm
Moore 216

Staff

Instructor
Michael Hicks
mwh@cis.upenn.edu
Office hours: 4-5pm Mondays
Location: Amy Guttman Hall 608B
Teaching Assistants
Roger Burtonpatel
Office hours: 4-5pm Wednesdays
Location: Amy Guttman Hall, hallway outside rooms 633/635
Francis Rinaldi
Office hours: 3-4pm Mondays
Location: Amy Guttman Hall, hallway outside rooms 633/635
Daniel Sainati
Office hours: 4-5pm Tuesdays
Location: Amy Guttman Hall, hallway outside rooms 633/635
Cheng Zhang
Office hours: 3-4pm Fridays
Location: Amy Guttman Hall, hallway outside rooms 633/635

Course Infrastructure

On-line Text (zip)
The Logical Foundations textbook is available as an interactive on-line book, with executable Lean code embedded directly in the text.
Ed Discussion
We will use Ed for both announcements and discussions. Please register yourself there to make sure you keep up with what's happening.
Poll Everywhere
To make lectures more interactive, we will be using Poll Everywhere platform. There is no charge to students for using this platform.
Gradescope
We use Gradescope for homework submissions.
Canvas
The course Canvas site is active, but we will use it only to track enrollment, host links to the resources above, and organize the lecture recordings.

NOTE: If you are taking the course but cannot access the above resources after the first day of class, please contact a course staff member.

Class Schedule

NOTE: The following links provide HTML and Lean .lean files for the lecture material in the course. These materials will be updated throughout the semester, so please be sure that you use the most recent version of the files when starting to work on a given homework assignment. The schedule is tentative.

Full Code Source You can download the whole Lean development in one go using this link: Logical Foundations: sf-lf-lean.zip This is a good way to create the initial folder for your CIS 5000 projects, but, as mentioned above, please be sure to get the latest .lean files for each assignment.