Headlines
- Orientation
- Course Website
- Piazza
- First Homework
- Lab Protocol
- Disorienting
- Thank you for your forbearance
- Thank you as we all get used to the constant of change.
About Your Instructor:
- Jason Hemann
- Doctorate in Computer Science, Indiana University
- Concentration in Logic
- Philosophy undergraduate
- Dance and run and talk software and how it helps people
What is this class about, and why?
- Computation: Writing Programs
- Logic: Writing Properties about programs, and proving them.
Computer Science is about many things
- Many practitioners don’t know or think about them.
- c.f. Socratic dialogues, art, honor, justice
- Philosophy of Science is not a science.
Goal in a nutshell: In Fundies 1 you learned how to program. In 2800 you will learn how to reason about your programs
Website
Course differences wrt prev. offerings