CSci 8980, Fall 2012
Specifying and Reasoning
About Computational Systems

(back to course home page)


Date Last Updated Topic
Nov 13, 2012 Reasoning about Specifications
Nov 4, 2012 Higher-Order Unification
Nov 4, 2012 Examples of Specifications in Lambda Prolog
Oct 23, 2012 The Lambda Prolog Language
Oct 9, 2012 Higher-Order Logic Programming
Oct 9, 2012 The Lambda Calculus
Sept 10, 2012 A Logical Foundation for Logic Programming
Sept 10, 2012 Introduction to Logic Programming
Sept 6, 2012 Course Introduction
Sept 6, 2012 Administrative Issues


Last modified: Oct 23, 2012 by gopalan atsign cs dot umn dot edu