CS 470 - Spring 2020.


[Home]

Welcome to CS 470!

Video of the Day

Beyond the Fringe: Bertrand Russell and G.E. Moore

Philosophy Football

Poll of the Day

G.E. Moore was a great philosopher, but I do not believe that Moore was a great philosopher. Discuss.

https://pollev.com/cs470 You may also download the app to your phone. Use the "cs470" poll id.

Lecture : First Order Logic. 2/14/2020

Administrivia

  • I have office hours Wednesdays from 4-6 pm, Room 014 AKW. Also, I invite students to join me for lunch in a residential college after class on Wednesdays. This week: 11:45am at Franklin.

  • ULA office hours. See the [Contact Info and Schedule] as well as piazza.

  • [Assignments]. hw4 has been posted. However, it will not be graded and you do not submit it. It is meant to prepare you for questions on the midterm exam. I will post the answers to hw4.

    Lecture: Logic

  • Readings: chapters 7-9
  • 2019 Scassellati Slides:
  • Stuart Russell, Berkeley Slides:

  • logic.ipynb (logic.py) hw4test.ipynb


    [Home]