Announcements (view in a separate page) (Last modified: September 06, 2008)

• See the supplemental notes to Unit D3 on QBF and time-space tradeoff here. [4/13/05]
• A sample response to Ex D1 Part 1 (big-O notation via the graphing tool) is available here. [4/8/05]
• Link to an interview with Dean Kamen, the inventor of Segway, on NPR Fresh Air. He emphasized the importance of crossing between concrete and abstract ideas. [4/7/05]
• See the supplemental notes to Unit C6 on "problems" and "languages" here. [4/5/05]
• There are a few additional materials: [3/7/05]
  • Compilation of Ex B5 heuristics
  • Additional notes on Church-Turing thesis and Rice's theorem
  • Extra problems on computability (optional)
• My response to your summary questions in Unit B4 is available here. [2/25/05]
• An example of binary adder is added here. [2/7/05]
• Sample problems from Spring 2003 are availalbe here and also among the top bar selections. [1/28/05]
• A preliminary version of the references for the course is available here. This file will be updated in the future. [1/25/05]
• Welcome to CSC460 course web site! A preliminary version of the syllabus is up now. The final version and more components will be added as they become available. You are welcome to browse the web pages. You can at least see a little more details about the schedule, evaluation, etc. There are certain aspects of this course that are different from many other CS courses. Please find out whether you are willing to do this. By the way, there is nothing you need to do until the first day of class. Furthermore, you'd better wait to buy the textbook, because I will comment on how we will use it. [12/22/04]