Ad blocker interference detected!
Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers
Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.
General Information Edit
Like CS 4110, but on steroids. Much more mathematical in nature.
Topics Covered Edit
- Inductive proof
- Operational semantics
- Language features and translation
- Axiomatic semantics
- Denotational semantics
- Type systems
(Spring 2011) Not too bad. Six homeworks, a prelim (with in-class and take-home portions), and a final. Homework can be done in groups.
General Advice Edit
I took CS 3110 and CS 6110. I feel like this course was "too much information," and I would have been happy with just CS 4110 instead, since some of the proofs were tedious and some of the topics went a bit over my head.
This class was easy but boring.
Past Offerings Edit
|Semester||Time||Professor||Median Grade||Course Page|
|Spring 2011||Nate Foster||http://www.cs.cornell.edu/Courses/cs6110/2011sp/syllabus.php|