CSc 8910, Models of Computation (Fall 2018)

Course Materials

Lambda Calculus

Lambda Calculus
Some Notes from PLC Class

Recursive Function Theory

Recursive Function Theory
Turing Machines I
Turing Machines II
Smith Textbook
Davis, Sigal, Weyukar Textbook (few chapters)
ANTLR4
Python ply
RAM Interpreter
Self Replicating Program in Java
Pairing Function
Python implementation of Pairing Function
Prolog Implementation of TM Simulator
Python TM Simulator

Computing with Logic

Logic Programming
Notes 1
Notes 2
Answer Set Programming
ASP Tutorial

Homework for the Winter Holidays

https://potassco.org/
Watch the following two videos for the graph coloring problem solution in ASP:
https://www.youtube.com/watch?v=kdcd7Je2glc
https://www.youtube.com/watch?v=M2lhCvCTS9U
Implement the graph coloring problem on tinman server (the commands are gringo, clasp, and clingo).
Solve Datalog Querying using ASP.
clingo guide