Search | Directories | Reference Tools
UW Home > Discover UW > Student Guide > Course Catalog 

Instructor Class Description

Time Schedule:

Rajesh P.N. Rao
CSE 311
Seattle Campus

Foundations of Computing I

Examines fundamentals of logic, set theory, induction, and algebraic structures with applications to computing; finite state machines; and limits of computability. Prerequisite: CSE 143; either MATH 126 or MATH 136.

Class description

In this course, we will explore a smorgasbord of concepts that are fundamental to computing. We will delve into various facets of logic, set theory, induction, and algebraic structures, with an eye towards applications in computer science. We will study abstract models of computation and also briefly visit the dreaded world of uncomputable problems. The emphasis will be on developing a thorough mathematical understanding of these concepts and being able to think rigorously and analytically about computing problems.

Student learning goals

Logic & Set theory

Number theory


Graphs, Trees, & Circuits

Finite State Machines

Turing Machines and Computability

General method of instruction

White board lectures and slides

Recommended preparation

Class assignments and grading

The information above is intended to be helpful in choosing courses. Because the instructor may further develop his/her plans for this course, its characteristics are subject to change without notice. In most cases, the official course syllabus will be distributed on the first day of class.
Additional Information
Last Update by Rajesh P.N. Rao
Date: 01/01/2011