The workshop introduces students to topics in computability theory and complexity theory, structural properties of DNA molecules, and various design techniques for creating DNA-based components.

The theory of computation has had a profound influence on philosophical thinking. But computational complexity theory is about to have an even bigger effect, argues one computer scientist.

We study the computable structure theory of linear orders of size ℵ₁ within the framework of admissible computability theory. In particular, we characterize which of these linear orders are computably ...

He will contribute two other invited works on Turing and computability to volumes that also will be published this year, as will his latest book, Computability Theory and Applications: The Art of ...

Algorithmic randomness and computability theory inhabit a crossroads between mathematics and computer science, providing a rigorous framework for understanding randomness in infinite sequences and ...

CHARLESTON -- A two-part lecture series titled “Reflections on the Theory of Computability” will be offered Sept. 29-30 at Eastern Illinois University. Both talks will take place from 4 to 4: ...

This course fulfills the Theory Breadth requirement. NOTE: This course will replace Math 374 (Theory of Computability and Turing Machines) which is listed as a recommended way to fulfill the ...

We introduce a new hierarchy of computably enumerable degrees.This hierarchy is based on computable ordinal notations measuring complexity of approximation of Δ 2 0 functions. The hierarchy unifies ...

This theory class explores discrete math, computability theory and complexity theory and is part of the CS core.