computer-science - Concepts

Explore concepts tagged with "computer-science"

Total concepts: 25

Concepts

Artificial Intelligence - The field of computer science focused on creating systems that can perform tasks requiring human-like intelligence, learning, and reasoning.
Data Structures - Specialized formats for organizing, storing, and managing data in computers to enable efficient access and modification.
Computability Theory - The branch of mathematical logic and computer science studying which problems can be solved algorithmically and which are fundamentally unsolvable.
Turing Machine - A theoretical mathematical model of computation that defines an abstract machine manipulating symbols on a tape according to rules, forming the foundation of computer science.
Distributed Systems - Computing systems composed of multiple independent components located on different networked computers that coordinate to achieve a common goal.
Halting Problem - The proven impossibility of creating a general algorithm that can determine whether any given program will eventually halt or run forever.
Pattern Matching - The cognitive and computational ability to recognize regularities, structures, and recurring forms in data, experiences, or information.
Petri Net - A mathematical modeling language for distributed systems that uses places, transitions, and tokens to represent concurrent processes and resource flow.
Artificial Neural Network - A computing system inspired by biological neural networks that learns to perform tasks by processing examples through layers of interconnected nodes.
Church-Turing Thesis - The hypothesis that any function computable by an effective procedure can be computed by a Turing machine, defining the fundamental limits of computation.
Byzantine Generals Problem - A fundamental problem in distributed computing about achieving consensus among distributed components when some may be faulty or malicious, named after a metaphor involving generals coordinating an attack.
Recursion - A problem-solving approach where a function calls itself to break complex problems into smaller, self-similar subproblems.
Pushdown Automaton - A type of automaton that augments a finite state machine with a stack, enabling it to recognize context-free languages.
Formal Methods - Mathematically rigorous techniques for specifying, developing, and verifying software and hardware systems to ensure correctness with respect to a precise specification.
Statechart - An extension of finite state machines that adds hierarchy, concurrency, and history, designed by David Harel for modeling complex reactive systems.
Symbolic AI - An approach to artificial intelligence based on manipulating human-readable symbols and explicit rules to represent knowledge and solve problems.
Huffman Coding - A lossless compression algorithm that assigns shorter binary codes to more frequent symbols, achieving optimal prefix-free encoding for known symbol probabilities.
Hierarchical State Machine - A state machine extension where states can contain nested substates, enabling shared transitions, behavior inheritance, and compact representation of complex behavior.
Undecidability - The property of a decision problem for which no algorithm can exist that always gives a correct answer for every possible input.
Bloom Filter - A space-efficient probabilistic data structure that tests whether an element is a member of a set, allowing false positives but never false negatives.
Hash Function - A function that maps data of arbitrary size to fixed-size values, used for fast data retrieval, integrity verification, and cryptography.
Computational Thinking - A problem-solving approach that uses computer science principles like decomposition, pattern recognition, abstraction, and algorithmic design to tackle complex challenges.
Cellular Automaton - A discrete computational model consisting of a grid of cells, each in one of a finite number of states, evolving in time according to fixed local rules.
Process Calculus - A family of formal approaches to modeling concurrent systems through algebraic operations on processes that communicate via message passing.
State Machine - A computational model where a system can be in exactly one of a finite number of states at any given time, transitioning between states in response to inputs.

← Back to all concepts