List of academic fields and Logic in computer science

Shortcuts: Differences, Similarities, Jaccard Similarity Coefficient, References.

Difference between List of academic fields and Logic in computer science

List of academic fields vs. Logic in computer science

The following outline is provided as an overview of an topical guide to academic disciplines: An academic discipline or field of study is known as a branch of knowledge. Logic in computer science covers the overlap between the field of logic and that of computer science.

Artificial intelligence

Artificial intelligence (AI, also machine intelligence, MI) is intelligence demonstrated by machines, in contrast to the natural intelligence (NI) displayed by humans and other animals.

Artificial intelligence and List of academic fields · Artificial intelligence and Logic in computer science · See more »

Automated reasoning

Automated reasoning is an area of computer science and mathematical logic dedicated to understanding different aspects of reasoning.

Automated reasoning and List of academic fields · Automated reasoning and Logic in computer science · See more »

Category theory

Category theory formalizes mathematical structure and its concepts in terms of a labeled directed graph called a category, whose nodes are called objects, and whose labelled directed edges are called arrows (or morphisms).

Category theory and List of academic fields · Category theory and Logic in computer science · See more »

Computability theory

Computability theory, also known as recursion theory, is a branch of mathematical logic, of computer science, and of the theory of computation that originated in the 1930s with the study of computable functions and Turing degrees.

Computability theory and List of academic fields · Computability theory and Logic in computer science · See more »

Computer science

Computer science deals with the theoretical foundations of information and computation, together with practical techniques for the implementation and application of these foundations.

Computer science and List of academic fields · Computer science and Logic in computer science · See more »

Concurrent computing

Concurrent computing is a form of computing in which several computations are executed during overlapping time periods—concurrently—instead of sequentially (one completing before the next starts).

Concurrent computing and List of academic fields · Concurrent computing and Logic in computer science · See more »

Expert system

In artificial intelligence, an expert system is a computer system that emulates the decision-making ability of a human expert.

Expert system and List of academic fields · Expert system and Logic in computer science · See more »

Graph theory

In mathematics, graph theory is the study of graphs, which are mathematical structures used to model pairwise relations between objects.

Graph theory and List of academic fields · Graph theory and Logic in computer science · See more »

Logic

Logic (from the logikḗ), originally meaning "the word" or "what is spoken", but coming to mean "thought" or "reason", is a subject concerned with the most general laws of truth, and is now generally held to consist of the systematic study of the form of valid inference.

List of academic fields and Logic · Logic and Logic in computer science · See more »

Logic programming

Logic programming is a type of programming paradigm which is largely based on formal logic.

List of academic fields and Logic programming · Logic in computer science and Logic programming · See more »

Modal logic

Modal logic is a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators expressing modality.

List of academic fields and Modal logic · Logic in computer science and Modal logic · See more »

Theory of computation

In theoretical computer science and mathematics, the theory of computation is the branch that deals with how efficiently problems can be solved on a model of computation, using an algorithm.

List of academic fields and Theory of computation · Logic in computer science and Theory of computation · See more »

Very-large-scale integration

Very-large-scale integration (VLSI) is the process of creating an integrated circuit (IC) by combining hundreds of thousands of transistors or devices into a single chip.

List of academic fields and Very-large-scale integration · Logic in computer science and Very-large-scale integration · See more »