2022-2023 Bulletin

Catalog Search

Search Options

Contents

Programs of Study
Academic Calendar
Welcome to Portland State University
Admissions Requirements
Academic Records, Credit, and Appeals
Enrollment
Tuition and fees
Financial Aid and Scholarships
Undergraduate Studies
Graduate School
A to Z List of Student Services
Student Policies and Guidelines
Office of International Affairs
University Library
University Studies
College of the Arts
The School of Business
College of Education
Maseeh College of Engineering and Computer Science
Graduate School Programs
University Honors College
College of Liberal Arts and Sciences
OHSU-PSU School of Public Health
School of Social Work
College of Urban and Public Affairs
Directories
Courses
- Actg - Accounting
- Age - Aging/Gerontology
- Anth - Anthropology
- Ar - Arabic
- Arch - Architecture
- ArH - Art History
- Art - Art
- ASc - Arts & Sciences
- ASL - American Sign Language
- BA - Business Administration
- BBE - Bilingual Bicultural Ed
- Bi - Biology
- BSt - Black Studies
- BSTA - Biostatistics
- BTA - Business Technology & Analytics
- CCJ - Criminology & Criminal Justice
- CE - Civil & Environmental Engineering
- CFS - Child & Family Studies
- Ch - Chemistry
- ChLa - Chicano-Latino
- Chn - Chinese
- CI - Curriculum & Instruction
- Comm - Communication
- COTA - College of the Arts
- Coun - Counseling
- CPH - Community & Public Health
- CR - Conflict Resolution
- CS - Computer Science
  - 100
  - 200
  - 300
  - 400
  - 500
  - 600
- D - Dance
- Des - Design
- EAS - Engineering & Applied Science
- Ec - Economics
- ECE - Elect and Computer Engineering
- ECED - Early Childhood Education & Development
- Ed - Education
- EE-Electrical Engineering
- ELP - Educational Ldrshp & Policy
- EMCR - Emergency Management
- Eng - English
- EnvE - Environmental Engineering
- EPI - Epidemiology
- ESHH - Environmental Systems and Human Health
- ESM - Environmental Sci & Mgmt
- ESR - Environmental Sciences & Res
- ETM - Engineering Management
- FILM - Film
- Fin - Finance
- Finn - Finnish
- FPA - Fine and Performing Arts
- Fr - French
- G - Geology
- Geog - Geography
- Ger - Germanic Languages
- Grk - Greek
- GRN-Gender Race and Nations
- GSCM - Global Supply Chain Management
- Heb - Hebrew
- Hon - University Honors Program
- HSMP - Health Systems Management and Policy
- Hst - History
- Hum - Humanities
- IELP - Intensive English Language Program
- Intl - International Studies
- ISQA - Infor Systems & Quant Analysis
- ISt - Interdisciplin St
- It - Italian
- ITP - Initial Teacher Preparation
- Jpn - Japanese
- JSt - Judaic Studies
- Kor - Korean
- Lat - Latin
- Lib - Library
- Ling - Applied Linguistics
- ME - Mechanical Engineering
- Mgmt - Management
- MIM - Master of Intl Mgt
- Mktg - Marketing
- MSE - Materials Science Engineering
- MS - Military Science
- MTax - Taxation
- Mth - Mathematical Sciences
- MuEd - Music Education
- Mup - Applied Music
- Mus - Music
- NAS - Indigenous Nations Studies
- Norw - Norwegian
- OMSE - Software Engineering
- OSEA - Overseas Programs
- PA - Public Administration
- PAH - Public Administration: Health
- PAP-Public-Affairs-Policy
- PE - Physical Education
- Per - Persian
- Ph - Physics
- PHE - Public Health Education
- Phl - Philosophy
- PHP - Public Health Practice
- PIAA - Pacific Islander and Asian American Studies
- Port - Portuguese
- PS - Political Science
- Psy - Psychology
- READ - READOregon
- RE - Real Estate
- Rus - Russian
- Sci - Science Ed: Center for
- Sc - Science: General
- Soc - Sociology
- Span - Spanish
- SpEd - Special Education
- SpHr - Speech & Hearing Sci
- SSc - Social Science: General
- Stat - Statistics
- Swah - Swahili
- Swed - Swedish
- SW - Social Work
- SySc - Systems Science
- SysE - Systems Engineering
- TA - Theater Arts
- Tur - Turkish
- ULib - Library Research
- UnSt - University Studies
- UPA-Urban and Public Affairs
- USP - Urban Studies & Planning
- Viet-Vietnamese
- WLL - World Languages & Literature
- Wr - Writing
- WS - Women's Studies

Catalog Links

Share

Print this page

CS 581 Theory of Computation

Computability theory: study of models of computation (Turing, Church, Kleene), recursive function theory, properties of recursive, and recursively innumerable sets.

Credits

3

Prerequisite