Begrepsinformasjon
Anbefalt term
Symbolic logic
Type
-
Topic
Overordnede begreper
Underordnede begreper
- Automatons
- Automorphism
- Axioms
- Boolean algebra
- Chomsky hierarchy
- Combinatorial logic
- Completeness problems
- Complex systems
- Computability theory
- Concurrency (Symbolic logic)
- Constructive mathematics
- Decidability
- Denotational semantics
- First order logic
- Formal methods
- Formal models
- Formal specification
- Fuzzy logic
- Horn logic
- Infinity
- Knuth-Bendix algorithm
- Linear logic
- Logic algebra
- L-systems
- Markov algorithms
- Metamathematics
- Model theory
- Multi value logic
- Nonmonotonic logics
- Operational semantics
- Predicate logic
- Proof theory
- Rewriting
- Second order logic
- Set theory
- Software semantics
- Specification languages
- Specifications
- Type theory (Logic)
Henvisningsterm
- Formal logic
- Mathematical logic
Identifikator
- HUME00719
På andre språk
-
norsk bokmål
-
Formal logikk
-
Formallogikk
-
Logikk-kalkyle
-
Logistikk (Logikk)
-
Matematisk logikk
-
Symbolsk logikk
URI
http://data.ub.uio.no/humord/c00719
{{label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}