CS 470 - Spring 2020.


[Home]

Welcome to CS 470!

Video of the Day

Hunt the Wumpus on Early Texas Instruments computer

Play Hunt the Wumpus!

Hunt the Wumpus: The Legend

Poll of the Day

Fred brings home 100 kg of potatoes, which (being purely mathematical potatoes) consist of 99% water. He then leaves them outside overnight so that they consist of 98% water. What is their new weight?

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

Lecture : Logic. 2/12/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]. hw3 has been posted. I do not plan on providing a staff solution or public tests.

    Lecture: Logic

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

  • logic.ipynb (logic.py)


    [Home]