INTRODUCTION TO THEORY OF COMPUTING

Name: INTRODUCTION TO THEORY OF COMPUTING
Availability: OutOfStock
Rating: 3.7 (866 reviews)

COMPSCI 520

과목 설명

Basics about the notion, capabilities, and limitations of computation: elements of finite automata and regular languages, computability theory, and computational complexity theory. Additional topics include context-free grammars and languages, and complexity-theoretic cryptography.

선수과목

(COMPSCI/MATH 240 or COMPSCI/MATH/STAT 475 ) and (COMP SCI 367 or COMPSCI 400 ), or graduate/professional standing, or declared in the Capstone Certificate in Computer Sciences for Professionals

충족 요건

This course does not satisfy any prerequisites.

학점

미보고

개설 시기

미보고

평점

2.74

-7.75% 과거 데이터 대비

수료율

93.1%

-0.58% 과거 데이터 대비

A 비율

20.69%

-13.86% 과거 데이터 대비

학급 규모

47.34% 과거 데이터 대비

Cumulative Grade Distribution

강사 (2026 Summr)

다음 사이트의 평점순으로 정렬 Rate My Professors

유사 과목

COMPUTATIONAL COMPLEXITY

COMPSCI 710

Study of the capabilities and limitations of efficient computation. Relationships between models representing capabilities such as parallelism, randomness, quantum effects, and non-uniformity; and models based on the notions of nondeterminism, alternation, and counting, which capture the complexity of important problems. Knowledge of the theory of computation is strongly encouraged, such asCOMP SCI 520.

COMPUTABILITY THEORY

MATH 773

Turing degree and jump, strong reducibilities, arithmetic hierarchy, index sets, simple and (hyper)hypersimple sets, easy forcing arguments in computability theory, finite and infinite injury, Friedberg-Muchnik and Sacks Splitting Theorem, Sacks Jump and Sacks Density Theorems, computable ordinals. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.

INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES

COMPSCI 538

Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.

TOPICS IN THEORETICAL COMPUTER SCIENCE

COMPSCI 880

Advanced topics in algorithms, complexity, and cryptography. The exact topic varies.

PRINCIPLES OF PROGRAMMING LANGUAGES

COMPSCI 704

Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.