> CS1120: Classes
cs1120  Fall 2012

cs1120: Introduction to Computing: Explorations in Language, Logic, and Machines

Instructor
Westley Weimer

Email Address
cs1120-staff@cs.virginia.edu

Class Meetings
Tuesdays and Thursdays, 3:30-4:45pm in Olsson 011
Office & Lab Hours
Mo 15:00-17:00 Stacks (J, L)
Mo 17:00-19:00 Olsson 001 (C, M)
Tu 13:00-15:00 Stacks (D, M)
We Noon-13:00 Rice 423 (Weimer)
We 13:00-14:00 Olsson 001 (C, J, M)
We 14:00-16:00 Olsson 001 (C, J, L)
We 16:00-17:00 Olsson 001 (C)
Fr 13:30-15:30 Olsson 001 (C, M, J)
Su 13:00-15:00 Olsson 001 (C, L)
Su 15:00-17:00 Olsson 001 (C, D)
Su 17:00-19:00 Olsson 001 (D, J)

Located in Thornton Stacks
or Olsson 001
or Rice 423 (We Noon-13:00)
href="../slides/class12-2x3.pdf">Class 12. Banburismus, Tree Sorting & Story So Far
Exam 1 out.
Thu Oct 11 Due Before Class: Read Neil DeGrasse Tyson's Science's Endless Golden Age
Optional: Watch Neil DeGrasse Tyson explain the history of the universe on The Daily Show (if the first segment does not load, don't worry about it)
Due Before Class: Optional: Read Course Book Chapter 9 (Mutation)
Exam 1 due (at start of class). (Don't forget PS5!)
Class 13. Programming With State & Golden Ages Tue Oct 16 Class 14. Java and Object-Oriented Programming Thu Oct 18 Problem Set 5 (Economics) due.
Due Before Class: Optional: Read Course Book Chapter 10 (Objects)
Class 15. Sex, Religion, Politics and Java Tue Oct 23 Class 16. Inheritance & Godel Thu Oct 25 Due Before Class: Optional: Read Course Book Chapter 11 (Interpreters)
Class 17. Godel's Proof Tue Oct 30 Due Before Class: Optional: Read Course Book Chapter 12 (Computability)
Due Before Class: Read Steve Lohr's New York Times obituary of John W. Backus
Problem Set 6 (Narrative) original due date.
Class canceled. Thu Nov 01 Due Before Class: Re-Optional: Read Course Book Chapter 11 (Interpreters)
Problem Set 6 (Narrative) final due date.
Class 18. Uncomputability, Viruses, OOP Tue Nov 06 Class 19. Viruses & OOP & Java (Guest Lecture: Claire Le Goues) Thu Nov 08 Due Before Class: Re-Optional: Read Course Book Chapter 11.4 (Laziness)
Class 20. Implementing Interpreters & Charme (Guest Lecture: Adam Brady) Tue Nov 13 Problem Set 7 (Interpreter) due.
Class 21. Lazy Evaluation & Types (Guest Lecture: Adam Brady) Thu Nov 15 Class 22. Static Type Checking & StaticCharme & The Internet (Guest Lecture: Adam Brady) Tue Nov 20 Problem Set 8 (Communities) due.
Problem Set 9 (Final Project) Team Requests due (email by noon).
Class 23. Networking & Security
Problem Set 9 (Final Project) Design Review signup (hang around after class).
Problem Set 9 (Final Project) Description due (Midnight). Tue Nov 27 Exam 2 out.
Class 24. Semi-Secure Websites & Modeling Computation Thu Nov 29 Exam 2 due.
Class 25. Universal Machines & Lambda Calculus Tue Dec 04 Class 26. Lambda Calculus: A Universal Language
class26.py — Python code demonstrating the power of the Lambda Calculus
Problem Set 9 (Final Project) Presentation requests due. Thu Dec 06 Problem Set 9 (Final Project) Presentation Materials due (Noon).
Optional Class. Game Theory
Problem Set 9 (Final Project) Presentations due.
(PS9 peer evaluations are due at the same time if you're doing a presentation)

Presentations Start at 5pm in OLS 009 (extra credit for attending)
Reading day. Tue Dec 11 Problem Set 9 (Final Project) Reports due (Noon: Email PDF).
(PS9 peer evaluations are due at the same time if you're doing a report)
To avoid confusion, I'll make this even more explicit: All course materials for CS 1120 (including any oral exams) are due by noon!

CS1120: Classes

cs1120  Fall 2012

cs1120: Introduction to Computing: Explorations in Language, Logic, and Machines

Instructor
Westley Weimer

Email Address
cs1120-staff@cs.virginia.edu

Class Meetings
Tuesdays and Thursdays, 3:30-4:45pm in Olsson 011
Office & Lab Hours
Mo 15:00-17:00 Stacks (J, L)
Mo 17:00-19:00 Olsson 001 (C, M)
Tu 13:00-15:00 Stacks (D, M)
We Noon-13:00 Rice 423 (Weimer)
We 13:00-14:00 Olsson 001 (C, J, M)
We 14:00-16:00 Olsson 001 (C, J, L)
We 16:00-17:00 Olsson 001 (C)
Fr 13:30-15:30 Olsson 001 (C, M, J)
Su 13:00-15:00 Olsson 001 (C, L)
Su 15:00-17:00 Olsson 001 (C, D)
Su 17:00-19:00 Olsson 001 (D, J)

Located in Thornton Stacks
or Olsson 001
or Rice 423 (We Noon-13:00)

cs1120: Computer Science
University of Virginia
weimer@virginia.edu
Using these Materials