Computer science and Semantics (computer science)

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

Difference between Computer science and Semantics (computer science)

Computer science vs. Semantics (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. In programming language theory, semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages.

Algebra

Algebra (from Arabic "al-jabr", literally meaning "reunion of broken parts") is one of the broad parts of mathematics, together with number theory, geometry and analysis.

Algebra and Computer science · Algebra and Semantics (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 Computer science · Category theory and Semantics (computer science) · See more »

Compiler

A compiler is computer software that transforms computer code written in one programming language (the source language) into another programming language (the target language).

Compiler and Computer science · Compiler and Semantics (computer science) · See more »

Domain theory

Domain theory is a branch of mathematics that studies special kinds of partially ordered sets (posets) commonly called domains.

Computer science and Domain theory · Domain theory and Semantics (computer science) · See more »

Edsger W. Dijkstra

Edsger Wybe Dijkstra (11 May 1930 – 6 August 2002) was a Dutch systems scientist, programmer, software engineer, science essayist, and early pioneer in computing science.

Computer science and Edsger W. Dijkstra · Edsger W. Dijkstra and Semantics (computer science) · See more »

Formal verification

In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics.

Computer science and Formal verification · Formal verification and Semantics (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.

Computer science and Logic · Logic and Semantics (computer science) · See more »

Mathematical logic

Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics.

Computer science and Mathematical logic · Mathematical logic and Semantics (computer science) · See more »

Model of computation

In computer science, and more specifically in computability theory and computational complexity theory, a model of computation is a model which describes how a set of outputs are computed given a set of inputs.

Computer science and Model of computation · Model of computation and Semantics (computer science) · See more »

Process calculus

In computer science, the process calculi (or process algebras) are a diverse family of related approaches for formally modelling concurrent systems.

Computer science and Process calculus · Process calculus and Semantics (computer science) · See more »

Programming language

A programming language is a formal language that specifies a set of instructions that can be used to produce various kinds of output.

Computer science and Programming language · Programming language and Semantics (computer science) · See more »

Programming language theory

Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of programming languages and their individual features.

Computer science and Programming language theory · Programming language theory and Semantics (computer science) · See more »

Semantics (computer science)

In programming language theory, semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages.

Computer science and Semantics (computer science) · Semantics (computer science) and Semantics (computer science) · See more »

Simulation

Simulation is the imitation of the operation of a real-world process or system.

Computer science and Simulation · Semantics (computer science) and Simulation · See more »

Type theory

In mathematics, logic, and computer science, a type theory is any of a class of formal systems, some of which can serve as alternatives to set theory as a foundation for all mathematics.

Computer science and Type theory · Semantics (computer science) and Type theory · See more »