- topological logic
- мат. топологическая логика
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… … History of philosophy
Topological quantum computer — A topological quantum computer is a theoretical quantum computer that employs two dimensional quasiparticles called anyons, whose world lines cross over one another to form braids in a three dimensional spacetime (i.e., one temporal plus two… … Wikipedia
Topological game — A topological game is an infinite positional game of perfect information played between two players on a topological space. Players choose objects with topological properties such as points, open sets, closed sets and open coverings. Time is… … Wikipedia
Topological sorting — Dependency resolution redirects here. For other uses, see Dependency (disambiguation). In computer science, a topological sort or topological ordering of a directed graph is a linear ordering of its vertices such that, for every edge uv, u comes… … Wikipedia
Topological Boolean algebra — * In abstract algebra and mathematical logic, topological Boolean algebra is one of the many names that have been used for an interior algebra in the literature.* In topological algebra the study of topological spaces with algebraic structure, a… … Wikipedia
applied logic — Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… … Universalium
Modal logic — is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals words that express modalities qualify a statement. For example, the statement John is happy might be qualified by… … Wikipedia
Category:Logic in computer science — Logic in computer science is that branch of mathematical logic which is approximately the intersection between mathematical logic and computer science. It contains: Those investigations into logic that are guided by applications in computer… … Wikipedia
Interpretation (logic) — An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until … Wikipedia
Fuzzy Logic — Fuzzylogik (engl. fuzzy ‚verschwommen‘, fuzzy logic, fuzzy theory ‚verschwommene Logik‘ bzw. ‚verschwommene Theorie‘) ist eine Theorie, welche vor allem für die Modellierung von Unsicherheiten und Unschärfen von umgangssprachlichen Beschreibungen … Deutsch Wikipedia
Fuzzy logic — Fuzzylogik (engl. fuzzy ‚verschwommen‘, fuzzy logic, fuzzy theory ‚verschwommene Logik‘ bzw. ‚verschwommene Theorie‘) ist eine Theorie, welche vor allem für die Modellierung von Unsicherheiten und Unschärfen von umgangssprachlichen Beschreibungen … Deutsch Wikipedia