Computational Logic
CS 7480 Fall 2010

College of Computer and Information Science
Northeastern University

Fri, Nov 12 2010

Homework 4 has been posted.


Sat, Oct 30 2010

By November 4th, send me a 2 paragraph project proposal with a timeline. You can work in teams of 1-3 on projects. Communicate with me before selecting projects.


Sat, Oct 30 2010

Exam 1 will distributed right after class on Nov 5 and will be due on Nov 6 by 4 PM (slide your exam under my door).


Sat, Oct 30 2010

Homework 3 has been posted.


Mon, Oct 4 2010

Homework 2 has been posted.


Fri, Sep 24 2010

Homework 1 has been posted.


Thu, Sep 2 2010

Welcome to the class.