Fall 2009

• CSE 591 Knowledge Representation and Reasoning

• CSE/ECE 230 Computer Organization and Assembly Language

  ---

Spring 2009

• CSE 459/598 Logic for Computer Scientists

  ---

Past

• Fall 2008: CSE 494/598 Logic Programming

• Fall 2008: CSE 355 Introduction to Theoretical Computer Science

• 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