Fall 2008

• CSE 494/598 Logic Programming

• CSE 355 Introduction to Theoretical Computer Science

  ---

Past

• Spring 2008: CSE 459 Logic for Computer Scientists
• Fall 2007: CSE 591 Knowledge Representation and Reasoning

• Fall 2007: CSE 355 Introduction to Theoretical Computer Science

• Spring 2007: CSE 459/598 Logic for Computer Scientists.

• Fall 2006: CSE(ECE) 230 Computer Organization and Assembly Language Programming.

• Spring 2006: CSE 591 Answer Set Programming.

• Fall 2005: CSE 340 Principles of Programming Languages