▼Spring 2017:
Special Topics in Formal Semantics and Notional Machines
On this page:
Spring 2017:
Special Topics in Formal Semantics and Notional Machines
Monday, April 24th, 2017 10:11:31am
    ← prev  up  next → 

Spring 2017:
Special Topics in Formal Semantics and Notional Machines

Shriram Krishnamurthi

Welcome to the Spring 2017 CSCI 2951-Y!

This course officially runs from 9:00 to 9:50am MWF.

Important Preparation: You must have a copy of the Guzdial book before the semester begins.

    1 Topic Background

    2 Required Preparation

    3 Focus

    4 Class Format

    5 Learning Goals, Assessments, and Time Allocation

    6 Reading List

      6.1 Reading Order

      6.2 Planned Future Reading

      6.3 Additional References

        6.3.1 General Reading

        6.3.2 Visualization

        6.3.3 State

        6.3.4 Tools

        6.3.5 Assessment

        6.3.6 Notional Machines and Misconceptions

    ← prev  up  next →