PDX CS 581

• Universities
• PDX
• CS
• 581

Course Description

Raw: Computability theory: study of models of computation (Turing, Church, Kleene), recursive function th

Stemmed: comput theori studi model comput ture church kleen recurs function theori properti recurs recurs inn

Inferred Topics

• 23   (0.543317) comput, automata, languag, complex, machin, theori, ture, regular, finit, complet

  (0.934) KSU CIS 770 Formal Language Theory

  (0.826) RPI CSCI 4050 Computability and Complexity

  (0.794) PDX CS 583 Automata & Formal Languages

  (0.723) RPI CSCI 6050 Computability and Complexity

  (0.708) PDX CS 311 Computational Structures

  (0.686) UTK COSC 482 Theory of Computation

  (0.670) PDX CS 582 Theory of Computation: Advanced Topics

  (0.645) SC CSCE 551 Theory of Computation

  (0.618) LSU CSC 4890 Introduction to Theory of Computation

  (0.609) UTK COSC 312 Algorithm Analysis and Automata

  (0.584) SC CSCE 355 Foundations of Computation

  (0.580) GMU CS 600 Theory of Computation

  (0.574) KSU CIS 570 Introduction to Formal Language Theory

  (0.543) PDX CS 581 Theory of Computation

  (0.510) Utah CS 5100 Foundations of Computer Science

  (0.476) Stanford CS 254 Computational Complexity

  (0.461) RPI CSCI 2200 Foundations of Computer Science

  (0.350) LSU CSC 7150 Program Analysis and Model Checking

  (0.287) Stanford CS 103 Mathematical Foundations of Computing

  (0.201) ACM EC 0 Introduction to Compilers

  (0.199) Utah CS 3100 Models of Computation

  (0.166) ACM EC 0 Mathematical Foundations of Computer Science

  (0.164) KSU CIS 301 Logical Foundations of Programming

• 21   (0.217828) function, recurs, sequenc, higher, tree, order, gener, languag, definit, basic

  (0.731) PDX CS 457 Functional Languages

  (0.670) PDX CS 557 Functional Languages

  (0.340) PDX CS 322 Languages and Compiler Design II

  (0.290) ACM EC 0 Accelerated Introduction to Computer Science

  (0.278) PDX CS 321 Languages and Compiler Design I

  (0.245) ACM EC 0 Discrete Structures II

  (0.233) ACM EC 0 Introduction to Program Design

  (0.223) ACM EC 0 Languages and Compilers

  (0.218) PDX CS 581 Theory of Computation

  (0.203) KSU CIS 450 Computer Architecture and Operations

  (0.197) RPI CSCI 6800 Computational Linear Algebra

  (0.195) SC CSCE 611 Advanced Digital Design

  (0.187) ACM EC 0 Introduction to Programming Languages

  (0.176) PDX CS 250 Discrete Structures I

  (0.170) PDX CS 510 Top: Advanced Cryptography

  (0.168) PDX CS 510 Top: Mastery in Programming

  (0.161) PDX CS 510 Top: Functional Logic Programming

  (0.159) RPI CSCI 1200 Data Structures

  (0.157) PDX CS 410 Top: Mastery in Programming

  (0.155) Utah CS 6510 Functional Programming

  (0.154) ACM EC 0 Programming Languages

No prerequisites registered.