Rekursive algoritmar
Rekursive algoritmer
Recursiv algorithms
Rekursjonsteori
Computability theory
Kunstige språk
Artificial languages
Modellteori
Model theory
Formelle modellar
Formelle modeller
Formal models
Formell spesifikasjon
Formal specification
Lineær logikk
Linear logic
Førsteordens logikk
First order logic
Logisk algebra
Logic algebra
Markovalgoritmar
Markov algorithms
Markovalgoritmer
Kompletthetsproblem
Completeness problems
Kompletthetsproblemer
Formelle metodar
Formal methods
Formelle metoder
Mathemathics
Matematikk
Automater (Informatikk)
Automatons
Kombinatorisk logikk
Combinatorial logic
L-system
L-systemer
L-systems
Komplekse system
Complex systems
Komplekse systemer
Høgareordens logikk
Høyereordens logikk
Second order logic
Denotasjonell semantikk
Denotational semantics
Chomskyhierarkiet
Chomsky hierarchy
Fleirverdilogikk
Multi value logic
Flerverdilogikk
Spesifikasjon
Specifications
Spesifikasjoner
Operasjonell semantikk
Operational semantics
Concurrency (Symbolic logic)
Samtidigheit (Symbolsk logikk)
Samtidighet (Symbolsk logikk)
Formallogikk
Formal logic
Matematisk logikk
Mathematical logic
Logistikk (Logikk)
Formal logikk
Logikk-kalkyle
Logics
Logikk
Humord
Omskrivning (Symbolsk logikk)
Rewriting
Aksiom
Axioms
Aksiomer
Metamatematikk
Metamathematics
Konstruktiv matematikk
Constructive mathematics
Provsteori
Proof theory
Bevisteori
Type theory (Logic)
Typeteori
Fuzzy logikk
Fuzzy logic
Horn-logikk
Horn logic
Automorfiar
Automorfier
Automorphism
Knuth-Bendix-algoritmen
Knuth-Bendix algorithm
Predikatlogikk
Predicate logic
Programsemantikk
Software semantics
Mengdelære
Set theory
Boolsk algebra
Boolean algebra
Ævelengd
Infinity
Uendelighet
Spesifikasjonsspråk
Specification languages
Avgjerbarheit
Decidability
Avgjørbarhet
Nonmonotonic logics
Ikkje-monoton logikk
Ikke-monoton logikk
Symbolsk logikk
Symbolic logic
Innholdsbeskrivende emne
Topic