summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
c595c61)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Student sessions will be held on Tuesdays from 11-12 and Wednesdays from 3-4. (You only need attend one session.) You should see these sessions as opportunities to clear up lingering issues from material we've discussed, and help get a better footing for what we'll be doing the next week. It would be smart to make a serious start on that week's homework, for instance, before the session.
Student sessions will be held on Tuesdays from 11-12 and Wednesdays from 3-4. (You only need attend one session.) You should see these sessions as opportunities to clear up lingering issues from material we've discussed, and help get a better footing for what we'll be doing the next week. It would be smart to make a serious start on that week's homework, for instance, before the session.
-Lots of lecture notes summarizing and expanding on last Monday's seminar now posted. (Click "Notes and Schedule".)
+Lots of lecture notes summarizing and expanding on last Monday's seminar now posted. Also, lecture notes for upcoming session have been posted. (Click "Notes and Schedule".)
## Assignments ##
[[Assignment1]]
## Assignments ##
[[Assignment1]]
##[[Notes and Schedule]]##
##[[Notes and Schedule]]##
[[Week1]] (13 Sept) Applications; Basics of Lambda Calculus; Comparing Different Languages
[[Week1]] (13 Sept) Applications; Basics of Lambda Calculus; Comparing Different Languages
-Week2 (20 Sept) Reduction and Convertibility; Combinators; Evaluation Strategies and Normalization; Decidability; Lists and Numbers
+[[Week2]] (20 Sept) Reduction and Convertibility; Combinators; Evaluation Strategies and Normalization; Decidability; Lists and Numbers
Week3 (27 Sept) Recursion with Fixed Point Combinators
Week3 (27 Sept) Recursion with Fixed Point Combinators