Simboliskā un matemātiskā loģika
type: Concept
created: 2004-07-02
modified: 2022-05-13
alternative label: Mathematical logic @en
alternative label: Matemaattinen logiikka @fi
alternative label: Algebra, loģikas
alternative label: Loģika, simboliskā un matemātiskā
alternative label: Loģikas algebra
alternative label: Matemātiskā loģika
alternative label: Matemātiskā un simboliskā loģika
alternative label: Simboliskā loģika
broader: Matemātika
in scheme: subject
narrower: Algoritmu teorija
narrower: Rekursijas teorija
narrower: Neklasiskā matemātiskā loģika
narrower: Pierādījuma teorija
narrower: Pilnības teorēma
narrower: Modeļu teorija
narrower: Faziloģika
narrower: Datoru loģika
narrower: Lambda rēķini
narrower: Gēdela teorēma
narrower: Rekursīvās funkcijas
narrower: Automātu teorija
narrower: Kategorijas (matemātika)
narrower: Pārslēgšanas teorija
narrower: Zinātnes metodoloģija
narrower: Semantika (filozofija)
narrower: Pragmatika
narrower: Aksiomātiskā kopu teorija
note: Source: Latvijas padomju enciklopēdija, 1985:
preferred label: Logic, Symbolic and mathematical @en
related: Algebriskā loģika
related: Kopu teorija
related: Abstraktā algebra
related: Siloģisms

Matemātika
type: Concept
narrower: Simboliskā un matemātiskā loģika
preferred label: Mathematics @en

Algoritmu teorija
type: Concept
broader: Simboliskā un matemātiskā loģika
preferred label: Theory of algorithms @en

Rekursijas teorija
type: Concept
broader: Simboliskā un matemātiskā loģika
preferred label: Recursion theory @en

Neklasiskā matemātiskā loģika
type: Concept
broader: Simboliskā un matemātiskā loģika
preferred label: Nonclassical mathematical logic @en

Pierādījuma teorija
type: Concept
broader: Simboliskā un matemātiskā loģika
preferred label: Proof theory @en

Pilnības teorēma
type: Concept
broader: Simboliskā un matemātiskā loģika
preferred label: Completeness theorem @en

Modeļu teorija
type: Concept
broader: Simboliskā un matemātiskā loģika
preferred label: Model theory @en

Faziloģika
type: Concept
broader: Simboliskā un matemātiskā loģika
preferred label: Fuzzy logic @en

Datoru loģika
type: Concept
broader: Simboliskā un matemātiskā loģika
preferred label: Computer logic @en

Lambda rēķini
type: Concept
broader: Simboliskā un matemātiskā loģika
preferred label: Lambda calculus @en

Gēdela teorēma
type: Concept
broader: Simboliskā un matemātiskā loģika
preferred label: Gödel's incompleteness theorems @en

Rekursīvās funkcijas
type: Concept
broader: Simboliskā un matemātiskā loģika
preferred label: Recursive functions @en

Automātu teorija
type: Concept
broader: Simboliskā un matemātiskā loģika
preferred label: Automata theory @en

Kategorijas (matemātika)
type: Concept
broader: Simboliskā un matemātiskā loģika
preferred label: Categories (Mathematics) @en

Pārslēgšanas teorija
type: Concept
broader: Simboliskā un matemātiskā loģika
preferred label: Switching theory @en

Zinātnes metodoloģija
type: Concept
broader: Simboliskā un matemātiskā loģika
preferred label: Science--Methodology @en

Semantika (filozofija)
type: Concept
broader: Simboliskā un matemātiskā loģika
preferred label: Semantics (Philosophy) @en

Pragmatika
type: Concept
broader: Simboliskā un matemātiskā loģika
preferred label: Pragmatics @en

Aksiomātiskā kopu teorija
type: Concept
broader: Simboliskā un matemātiskā loģika
preferred label: Axiomatic set theory @en

Algebriskā loģika
type: Concept
preferred label: Algebraic logic @en
related: Simboliskā un matemātiskā loģika

Kopu teorija
type: Concept
preferred label: Set theory @en
related: Simboliskā un matemātiskā loģika

Abstraktā algebra
type: Concept
preferred label: Abstract algebra @en
related: Simboliskā un matemātiskā loģika

Siloģisms
type: Concept
preferred label: Syllogism @en
related: Simboliskā un matemātiskā loģika