CSC 301 - Lecture Notes
Intro & Language Classes
Formal Language Specification
Grammars in Action
Grammars and Semantics
Language Systems
Compilers
Intro ML
ML Tuples & Lists
ML Functions
Data Types
Patterns
Polymorphism
Higher Order Programming
ML Built-in Functions
Scoping
Memory Locations for Variable
Exceptions
Memory Management
Parameters
First Order Logic and Basic Prolog
Rules, Lists & Pattern Matching
Arithmetic and I/O
Final Remarks on Prolog
Formal Semantics using Prolog
Semantics of Language TWO: variables
Semester Review