Lukas' Notes
Search
Search
Dark mode
Light mode
Home
❯
tags
❯
Tag: computation
Tag: computation
133 items with this tag.
Dec 13, 2025
On Computable Numbers, with an Application to the Entscheidungsproblem
computation
Dec 13, 2025
n-Queens
games
computation
Dec 13, 2025
Word (Computing)
computation
Dec 13, 2025
Weighted Independent Set Problem
computation
Dec 13, 2025
Vertex Cover Problem
computation
Dec 13, 2025
Universal Turing Machine
computation
Dec 13, 2025
Unsatisfiability Problem
computation
Dec 13, 2025
Undecidable Decision Problem
computation
Dec 13, 2025
Undecidable Function Property
computation
Dec 13, 2025
Undecidable Language Property
computation
Dec 13, 2025
Turing Machine
computation
Dec 13, 2025
Turing Reduction
computation
Dec 13, 2025
Turing-Computable Arithmetic Function
computation
Dec 13, 2025
Turing-complete
computation
Dec 13, 2025
Tree-width
computation
Dec 13, 2025
Travelling Salesman Problem
computation
Dec 13, 2025
Tractable Problem
computation
Dec 13, 2025
Totally Recursive Function
computation
Dec 13, 2025
Tape (Turing Machine)
computation
Dec 13, 2025
Symmetric Travelling Salesman Problem
computation
Dec 13, 2025
Successor Function (Recursion)
computation
Dec 13, 2025
Stable Matching Problem
computation
Dec 13, 2025
Shortest Path Problem
computation
graph-theory
Dec 13, 2025
Set Cover Problem
computation
Dec 13, 2025
Semi-Decidable Decision Problem
computation
Dec 13, 2025
Segmented Least Squares Problem
computation
Dec 13, 2025
Search Problem
computation
Dec 13, 2025
Satisfiability Problem
computation
Dec 13, 2025
Ruliad
computation
philosophy
Dec 13, 2025
Rice's Theorem
computation
languages
Dec 13, 2025
Register Machine Program
computation
Dec 13, 2025
Register Machine
computation
Dec 13, 2025
Reduced Instruction Set Computing
computation
computer-architecture
Dec 13, 2025
Reduction
computation
Dec 13, 2025
Reachable Code Problem
computation
Dec 13, 2025
Pushdown Automaton
computation
todo
Dec 13, 2025
Program
computation
Dec 13, 2025
Projection Function (Recursion)
computation
Dec 13, 2025
Problem
computation
Dec 13, 2025
Procedure
computation
Dec 13, 2025
Problem Instance
computation
Dec 13, 2025
Primitive Recursion
computation
Dec 13, 2025
Primitive-Recursive Function
computation
Dec 13, 2025
Prim's Algorithm
computation
graph-theory
Dec 13, 2025
Optimisation Problem
computation
Dec 13, 2025
Oracle Turing Machine
computation
Dec 13, 2025
Normal Form (Turing Machine)
computation
Dec 13, 2025
Non-Trivial Function Property
computation
Dec 13, 2025
Nondeterministic Polynomial Problem
computation
Dec 13, 2025
Multitape Turing Machine
computation
Dec 13, 2025
NP-complete Problem
computation
Dec 13, 2025
NP-hard Problem
computation
Dec 13, 2025
Mu-Recursive Function
computation
Dec 13, 2025
MuBar Operator
computation
Dec 13, 2025
MuZero Operator
computation
Dec 13, 2025
Mu Recursion
computation
Dec 13, 2025
Model-Checking Problem
computation
Dec 13, 2025
Minimal Vertex Cover Problem
computation
Dec 13, 2025
Minimisation Problem
computation
Dec 13, 2025
Metric Travelling Salesman Problem
computation
Dec 13, 2025
Minimal Set Cover Problem
computation
Dec 13, 2025
Maximum Independent Set Problem
computation
Dec 13, 2025
Maximum Non-Blocker Problem
computation
Dec 13, 2025
Maximum Satisfiability Problem
computation
Dec 13, 2025
Maximisation Problem
computation
Dec 13, 2025
Many-One Reduction
computation
Dec 13, 2025
Longest Common Subsequence Problem
computation
Dec 13, 2025
Load Balancing Problem
computation
Dec 13, 2025
Linear Bounded Automaton
computation
Dec 13, 2025
Last In First Out
computation
Dec 13, 2025
Lambda Calculus
computation
lambda-calculus
Dec 13, 2025
Knapsack Problem
computation
Dec 13, 2025
Kolmogorov Machine
computation
Dec 13, 2025
Karp Reduction
computation
Dec 13, 2025
Iterative Improvement Algorithm
computation
Dec 13, 2025
Intractable Problem
computation
Dec 13, 2025
Interval Scheduling Problem
computation
Dec 13, 2025
Interaction Net
computation
Dec 13, 2025
Intensional Function Property
computation
Dec 13, 2025
Independent Set Problem
computation
Dec 13, 2025
In-Place Algorithm
computation
Dec 13, 2025
Hierholzer's Algorithm
computation
Dec 13, 2025
Halting Problem
computation
Dec 13, 2025
Graph-Reachability Problem
computation
Dec 13, 2025
Greedy Algorithm
computation
Dec 13, 2025
Gale–Shapley Algorithm
computation
Dec 13, 2025
Function Property
computation
Dec 13, 2025
Functional Problem
computation
Dec 13, 2025
Fibonacci Number
computation
Dec 13, 2025
Finite Automaton
computation
Dec 13, 2025
First In First Out
computation
Dec 13, 2025
Extensional Function Property
computation
Dec 13, 2025
Exact Cover Problem
computation
Dec 13, 2025
Encoding of a Turing Machine
computation
Dec 13, 2025
Dynamic Programming
computation
Dec 13, 2025
Dual Heuristic
computation
heuristics
Dec 13, 2025
Deterministic Turing Machine
computation
Dec 13, 2025
Decidable Decision Problem
computation
Dec 13, 2025
Decidable Function Property
computation
Dec 13, 2025
Decidable Language Property
computation
Dec 13, 2025
Decider
computation
Dec 13, 2025
Decision Problem
computation
Dec 13, 2025
Counting Problem
computation
Dec 13, 2025
Control Problem
computation
Dec 13, 2025
Cook Reduction
computation
Dec 13, 2025
Correctness Problem
computation
Dec 13, 2025
Context-Sensitive Language
computation
Dec 13, 2025
Constant Function (Recursion)
computation
Dec 13, 2025
Constrainted Longest Common Subsequence Problem
computation
Dec 13, 2025
Configuration (Turing Machine)
computation
Dec 13, 2025
Computable Function
computation
Dec 13, 2025
Computable Partial Function
computation
Dec 13, 2025
Computable Total Function
computation
Dec 13, 2025
Computational Irreducibility
philosophy
computation
Dec 13, 2025
Combinatoric Optimisation Problem
computation
Dec 13, 2025
Co Decision Problem
computation
Dec 13, 2025
Code Language of a Function Property
computation
Dec 13, 2025
Code Language of a Language Property
computation
Dec 13, 2025
Church-Turing Thesis
computation
Dec 13, 2025
Center Selection Problem
computation
Dec 13, 2025
Busy-Beaver Function
computation
Dec 13, 2025
Branch and Bound
computation
Dec 13, 2025
Brent's Hashing Algorithm
computation
Dec 13, 2025
Brute-force
computation
Dec 13, 2025
Bellman's Principle of Optimality
computation
Dec 13, 2025
Approximation Algorithm
computation
Dec 13, 2025
Amortised Time Complexity
computation
Dec 13, 2025
Algorithm
computation
Dec 13, 2025
Algorithmica
computation
Dec 13, 2025
3-Colouring Problem
computation
Dec 13, 2025
3-Satisfiability Problem
computation
Dec 13, 2025
ARM
computation
Dec 13, 2025
The Bitter Lesson
computation
artificial-intelligence