Exam 2: week 7 - present ----------------------------------------------------------------------- GENERAL TOPICS: Formal systems - know what they are - MIU.py (week 7) Turing Machines - know what they are - be able to trace through a simple TM program by hand - be able to design a (very) simple TM program to do something - know what "busy beaver" TMs are - know what the Halting Problem is and why it is important - understand the basic outline of the Halting Problem argument - know what Universal Turing Machines are and why they are important - UTM.py (week 8) - readings: * Proof or Consequences (Casti) Symbolic models - know what they are - physical symbol system hypothesis - readings: * From Micro-Worlds to Knowledge Representation (Dreyfus) * Computer Science as Empirical Inquiry (Newell & Simon) Chinese Room thought experiment - understand the basic outline of the argument - readings: * Minds, Brains, and Programs (Searle) * A Conversation With Einstein's Brain (Hofstadter) Connectionist models - know what they are - Jets and Sharks memory model - readings: * The Appeal of PDP (McClelland, Rumelhart, Hinton) ----------------------------------------------------------------------- PROGRAMMING TOPICS: Object-oriented programming - using objects - defining classes - defining methods Manipulating lists - referencing values in lists - storing values in lists - appending values to lists - example: UTM.py File processing - opening and closing files - using readlines - example: UTM.py