Theory of Computation

  1. Advanced Topics in Computation
    1. Alternative Models of Computation
      1. Lambda Calculus
        1. Syntax and Semantics
          1. Beta Reduction
            1. Church Numerals
              1. Expressiveness
              2. Recursive Function Theory
                1. Primitive Recursive Functions
                  1. μ-Recursive Functions
                    1. Ackermann Function
                    2. Cellular Automata
                      1. One-dimensional CA
                        1. Conway's Game of Life
                          1. Computational Universality
                          2. DNA Computing
                            1. Molecular Operations
                              1. Adleman's Experiment
                                1. Computational Potential
                              2. Information and Communication Complexity
                                1. Kolmogorov Complexity
                                  1. Algorithmic Information Theory
                                    1. Incompressibility
                                      1. Random Strings
                                      2. Communication Complexity
                                        1. Two-party Protocols
                                          1. Lower Bound Techniques
                                        2. Quantum Computation
                                          1. Quantum Mechanics Basics
                                            1. Qubits
                                              1. Superposition
                                                1. Entanglement
                                                  1. Measurement
                                                  2. Quantum Circuits
                                                    1. Quantum Gates
                                                      1. Reversible Computation
                                                        1. Circuit Families
                                                        2. Quantum Algorithms
                                                          1. Deutsch-Jozsa Algorithm
                                                            1. Shor's Factoring Algorithm
                                                              1. Grover's Search Algorithm
                                                                1. Quantum Fourier Transform
                                                                2. Quantum Complexity Classes
                                                                  1. BQP (Bounded-error Quantum Polynomial)
                                                                    1. QMA (Quantum Merlin-Arthur)
                                                                      1. Quantum vs Classical Relationships
                                                                    2. Cryptographic Complexity
                                                                      1. One-way Functions
                                                                        1. Pseudorandom Generators
                                                                          1. Cryptographic Protocols
                                                                            1. Complexity-Based Security

                                                                          Previous

                                                                          6. Computational Complexity Theory

                                                                          Go to top

                                                                          Back to Start

                                                                          1. Introduction to Theory of Computation