diff --git a/metadata/topics b/metadata/topics --- a/metadata/topics +++ b/metadata/topics @@ -1,65 +1,66 @@ Computer science Artificial intelligence Automata and formal languages Algorithms Graph Distributed Concurrent Online Geometry Approximation Mathematical Optimization Quantum computing Concurrency Process calculi Data structures Functional programming Hardware Machine learning Networks Programming languages Language definitions Lambda calculi Type systems Logics Compiling Static analysis Transformations Misc Security Cryptography Semantics System description languages Logic Philosophical aspects General logic Classical propositional logic Classical first-order logic Decidability of theories Mechanization of proofs Lambda calculus Logics of knowledge and belief Temporal logic Modal logic Paraconsistent logics Computability Set theory Proof theory Rewriting Mathematics Order Algebra Analysis + Measure theory Probability theory Number theory Games and economics Geometry Topology Graph theory Combinatorics Category theory Physics Quantum information Misc Tools