• Home
  • Random
  • Recent changes
  • Special pages
  • Community portal
  • Preferences
  • About Wikipedia
  • Disclaimers
Incubator escapee wiki
  • Talk
  • Dark mode
  • Contributions
  • Create account
  • Log in

Category:Theoretical computer science

Category Discussion
  • Language
  • Watch
  • History
  • Edit
    • Page information
    • Permanent link
    • What links here

Template:Cat main Template:Category diffuse Template:CatAutoTOC Template:Commonscat

Subcategories

This category has the following 6 subcategories, out of 6 total.

A

  • Algorithms

F

  • Formal languages

G

  • Graph theory

I

  • Information theory

L

  • Logic in computer science

Q

  • Quantum information science

Template:AnchorPages in category "Theoretical computer science"

The following 36 pages are in this category, out of 36 total.

 

  • Theoretical computer science

A

  • Algorithm

B

  • Bio-inspired computing
  • Bisimulation

C

  • Calculating Space
  • Categorical logic
  • Combinatorial optimization
  • Complexity class
  • Computation
  • Computational irreducibility
  • Corecursion
  • Correctness (computer science)

E

  • Extractor (mathematics)

F

  • Formal language
  • Formal methods
  • Formal verification
  • French Institute for Research in Computer Science and Automation

G

  • Gödel Prize
  • Granular computing

I

  • Idempotence
  • Indirect self-reference
  • Interactive computation

L

  • Lambda calculus
  • Language of Temporal Ordering Specification

M

  • Monge array

P

  • Π-calculus
  • Pseudorandomness

Q

  • Quantum algorithm
  • Quantum computing
  • Quasi-empiricism in mathematics

R

  • Recursive definition

S

  • Semigroup action
  • Simulation (computer science)
  • Spintronics

T

  • Tree automaton
  • Turing machine
Retrieved from "https://zalansite.site/mediawiki/index.php?title=Category:Theoretical_computer_science&oldid=585223"
Last edited on 23 August 2024, at 13:54
Incubator escapee wiki
  • This page was last edited on 23 August 2024, at 13:54.
  • Privacy policy
  • About Wikipedia
  • Disclaimers