Algorithm |
“Algorithm” is strongly related to:
Algorithm characterizations Church–Turing thesis Alan Turing Emil Leon Post J. Barkley Rosser Turing machine Stephen Cole Kleene Alonzo Church Algorithm examples Entscheidungsproblem Pseudocode Muhammad ibn Mūsā al-Khwārizmī Heuristic Kurt Gödel Post–Turing machine Algorism Analysis of algorithms Recursion (computer science) Randomized algorithm Partial function Search algorithm Simulated annealing Punched card Dynamic programming Logic programming Ada Lovelace George Boole Data structure Gottlob Frege Functional programming Recursion Graph (mathematics) Computational complexity theory Charles Babbage Arithmetic David Hilbert Data compression Graph theory Gottfried Leibniz Persian people
External Searches: |
Page Categories
Mathematical logic
- Algorithm
- Gödel's incompleteness theorems
- Recursion
- Halting problem
- Mathematical induction
- Mathematical proof
- Set theory
- Contradiction
- Model theory
- Curry's paradox
- Surreal number
- Principia Mathematica
- Vacuous truth
- Intuitionistic logic
- Foundations of mathematics
- Proof theory
- Gödel number
- Laws of Form
- All horses are the same color (paradox)
- Entscheidungsproblem
- Natural deduction
- Tautology (logic)
- Gödel's completeness theorem
- Indicator function
- New Foundations
- Universe (mathematics)
- Metamathematics
- Recursion theory
- Formal system
- Rewriting
- Kripke semantics
- Reverse mathematics
- Hilbert's program
- Method of analytic tableaux
- Operation (mathematics)
- Proof of impossibility
- Peirce's law
- Game semantics
- Galileo's paradox
- Heyting algebra
- Diagonal lemma
- Tarski's indefinability theorem
- Contraposition
- Relation algebra
- Open sentence
- Charles Sanders Peirce bibliography
- Finitary
- Löb's theorem
- Stratification (mathematics)
- Interior algebra
- Domain of discourse
- Impredicativity
- MV-algebra
- Boolean-valued function
- Craig interpolation
- Herbrand's theorem (proof theory)
- Brouwer-Heyting-Kolmogorov interpretation
- Logical graph
- Ludics
- Logic of relatives
- Turing's proof
- Metalogic
- Lindenbaum–Tarski algebra
- Recursive definition
- Proof sketch for Gödel's first incompleteness theorem
- Dummy variable
- Herbrand universe
- T-schema
- Object theory
- Extensionality
- Herbrand base
- Turnstile (symbol)
- Generalization (logic)
- On Formally Undecidable Propositions of Principia Mathematica and Related Systems
- Association for Symbolic Logic
- Inverse relation
- Residuated lattice
- Signature (mathematical logic)
- Ground expression
- Conservativity theorem
- Hypostatic abstraction
- Coherent space
- Herbrand theory
- Equiconsistency
- Continuous predicate
- Lindenbaum's lemma
- Complete theory
- Erasure (logic)
- Derivative algebra (abstract algebra)
- Classical mathematics
- Institution (computer science)
- Superposition calculus
- Entitative graph
- Logic of Relatives (1870)
- Kaina Stoicheia
- Consequence operator
- Gödel numbering for sequences
- De Bruijn index
- Beth definability
- Maximal consistent set
Discrete mathematics
- Algorithm
- Graph theory
- Information theory
- Number theory
- Combinatorics
- First-order logic
- Probability theory
- Graph (mathematics)
- Levenshtein distance
- Decision theory
- Hamming distance
- Indicator function
- Finite set
- Abstract machine
- Nondeterministic algorithm
- McCarthy 91 function
- Digital geometry
- Dual graph
- Damerau-Levenshtein distance
- Finite geometry
- Faulhaber's formula
- Discrete Laplace operator
- Abacus logic
- Calculus of voting
- Plane partition
- Additive number theory
- Partial equivalence relation
- Characteristic sequence
- Desarguesian plane
- DIMACS
- Kendall tau distance
- Appell sequence
- Levenshtein automaton
Theoretical computer science
- Algorithm
- Moore's Law
- Turing machine
- Lambda calculus
- Closure (computer science)
- DNA computing
- Computation
- Formal verification
- Pi-calculus
- Referential transparency
- Digital physics
- Biologically-inspired computing
- Scientific community metaphor
- Expander graph
- Josephus problem
- Rough set
- Institut national de recherche en informatique et en automatique
- Markov network
- Exact cover
- Formal semantics of programming languages
- Bisimulation
- Object-based
- Indirect self-reference
- Algorithmically random sequence
- Motion planning
- Programming language theory
- Extractor
- Interactive computation
- Granular computing
- Automated reasoning
- Conditional random field
- Monge array
- Turing machine examples
- Axiomatic semantics
- Categorical logic
- Corecursion
- Runtime verification
- Algorithm characterizations
- Lowest common ancestor
- Simulation preorder
- Recursive definition
- Word problem (mathematics)
- Ugly duckling theorem
- Neighbour-sensing model
- Introduction to Automata Theory, Languages, and Computation
- Algorithm examples
- Proofs and Refutations
- EATCS
- Notation for theoretic scheduling problems
- Morphological computation
- P system
- Computational overhead
- Predicate transformer semantics
- Kripke structure
- Out-of-core algorithm
- Pursuit-evasion
- Expander mixing lemma
- Graphical system design
- Algorithm engineering
- Theoretical Computer Science (journal)
- Rent's Rule
- Dynamic Data Driven Application System
- Turing machine gallery
- Institution (computer science)
- Cheeger constant
- Covering problem
- ACM SIGACT
- Institutional model theory
- Supnick matrix
- Redshift (theory)
- Abstract family of languages
- Stuttering equivalence
- Wang B-machine
- Discrete tomography
- Weakest precondition
- Isomorphism (computer science)
- Digital probabilistic physics
- Probabilistic bisimulation
- List-decoding
- Turing switch
- Algebraic semantics
- Configurable modularity
- Peptide computing
- British Colloquium for Theoretical Computer Science
- Weakest liberal precondition
- Epsilon-Biased Sample Spaces
Algorithms
- Algorithm
- Recursion
- Flowchart
- Monte Carlo method
- Pseudocode
- Fourier analysis
- Rsync
- Genetic programming
- Heuristic (computer science)
- XOR swap algorithm
- Doomsday rule
- Divide and conquer algorithm
- Greedy algorithm
- Viterbi algorithm
- CORDIC
- Rete algorithm
- Selection algorithm
- Template method pattern
- Peterson's algorithm
- Randomized algorithm
- Linear search
- Merge algorithm
- Lock-free and wait-free algorithms
- Dancing Links
- Disjoint-set data structure
- Scale-invariant feature transform
- Dekker's algorithm
- Polynomial long division
- Token bucket
- Best, worst and average case
- Circular reference
- Belief propagation
- Felicific calculus
- Backpropagation
- Timeline of algorithms
- Leaky bucket
- Strassen algorithm
- Cache algorithms
- Analysis of algorithms
- Trabb Pardo-Knuth algorithm
- Zeller's congruence
- Maze generation algorithm
- Baum-Welch algorithm
- Hungarian algorithm
- Flood fill
- RANSAC
- Non-blocking synchronization
- Trim (programming)
- De Boor's algorithm
- Strongly connected component
- Nagle's algorithm
- Nonlinear dimensionality reduction
- Las Vegas algorithm
- Lamport's bakery algorithm
- Lanczos algorithm
- Online algorithm
- C4.5 algorithm
- Algorithmic efficiency
- In-place algorithm
- Tomasulo algorithm
- Medical algorithm
- Lenstra–Lenstra–Lovász lattice basis reduction algorithm
- Differential evolution
- HITS algorithm
- Coppersmith–Winograd algorithm
- DPLL algorithm
- Parallel algorithm
- Risch algorithm
- God's algorithm
- Elevator algorithm
- Amortized analysis
- Adam7 algorithm
- Pohlig-Hellman algorithm
- Mental poker
- Schwartz-Zippel lemma and testing polynomial identities
- Nearest neighbor search
- Null-move heuristic
- Knuth-Bendix completion algorithm
- Canonicalization
- Semidefinite embedding
- Sort-merge join
- AC-3 algorithm
- Davis-Putnam algorithm
- Graphplan
- Vector clocks
- Exponential backoff
- Hash join
- Truncated binary exponential backoff
- Snapshot algorithm
- VEGAS algorithm
- Marzullo's algorithm
- Astronomical algorithm
- Kernel methods
- Scoreboarding
- Todd-Coxeter algorithm
- Sethi-Ullman algorithm
- ROAM
- Ostrich algorithm
- Prosthaphaeresis
- Random self-reducibility
Arabic words and phrases
- Coffee
- Jihad
- Alchemy
- Hookah
- Alcohol
- Lemon
- Gibraltar
- Cotton
- Sharia
- Sahara
- Assassination
- Algebra
- Mummy
- Hashish
- Algorithm
- Genie
- Monsoon
- Amber
- Caliph
- Gerbil
- Magazine
- Saffron
- Mujahideen
- Bedouin
- Baklava
- Mattress
- Apricot
- Shahadah
- Betelgeuse
- Sayyid
- Ghoul
- Takbir
- Fatwā
- Tabby cat
- Imam
- Madrasah
- Ifrit
- Sultan
- Ayatollah
- Tariff
- Arabic name
- Alkali
- Qiyamah
- Adobe
- Caliphate
- Admiral
- Tamarind
- Bahamut
- Aldebaran
- Alfalfa
- Intifada
- Gazelle
- Ahl al-Bayt
- Sawm
- Caliber
- Sherbet
- Amalgam
- Marzipan
- Minaret
- Sheikh
- Safari
- Rigel
- Zenith
- Qibla
- Altair
- Houri
- Moussaka
- Cork (material)
- Syrup
- Azimuth
- Almanac
- Aniline
- Ulema
- Ajam
- Deneb
- Casbah
- As-Salamu Alaykum
- Carob tree
- Arabic influence on the Spanish language
- Algol
- Mufti
- Carmine
- Peace be upon him (Islam)
- Crocus
- Ma malakat aymanukum
- Calabash
- Almagest
- Sumac
- Hijra (Islam)
- Kismet
- Zina (Arabic)
- Fomalhaut
- Basmala
- Mohair
- Haraam
- Sharif
- Albacore
- Sirocco
- Fakir
- Rafida
Recommended Articles!
Helpful Links
In other languages
VisWiki in different languages >> English | 日本語 | Deutsch | Français | Polski | Italiano | Nederlands | Português | Español | Русский | Svenska | 中文 | Norsk (Bokmål) | Suomi | Català
The main article content on this page (titled: "Algorithm") was retrieved on the fly from Wikipedia (i.e., your page access date equals the data retrieval date).
All article text on this website (VisWiki.com) derived
from Wikipedia, is licenced under the terms
of the GNU Free Documentation
License. Article images, with the exception of video thumbnails, are
entirely from Wikipedia, and their copyrights should follow accordingly. All
videos and video thumbnails shown on this site are
from YouTube. Other visual/semantic
contents are mine.
Note to former VisualWikipedia users:
The domain name VisualWikipedia.com has recently been renamed to VisWiki.com.
I'll add more useful featrures here, so please update your bookmark accordingly :)
VisWiki.com © 2008, 2009 T. Hoshi