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.