Deutsche Begri e

Werbung
Deutsche Begrie
LVA Logik
Johannes Kepler Universität Linz
October 7, 2014
Englisch
Deutsch
abstract
abstract, abstrahieren
abstract syntax
abstrakte Syntax
abstraction
Abstraktion
algebraic data type
algebraischer Datentyp
algorithm
Algorithmus
application
Anwendung
argument
Argument
arity
Stelligkeit
assignment
Zuweisung, Belegung
assumption
Annahme
atomic formula
atomare Formel
automated reasoning automatisches Beweisen
axiom
Axiom
binary
binär
body
Rumpf
bottom-up
von unten nach oben
bound variable
gebundene Variable
calculus
Kalkül
clause
Klausel
circuit
Schaltkreis
child node
Kindknoten
complete
vollständig
completeness
Vollständigkeit
complete induction
vollständige Induktion
computational problem Berechnungsproblem
complexity
Komplexität
conclusion
Schlussfolgerung
concrete
konkret
concrete syntax
konkrete Syntax
1
condition
conditional
conjunction
conjunctive normal form
connective
consequence
constant
constructor
context
contradiction
counter-model
cube
data type
decide
decidable
decidability
dene
declarative
denition
disjunction
disjunctive normal form
domain
entail
equality
equivalence
equivalent
explicit
expression
expressiveness
false
falsum
rst order
rst order predicate logic
formula
free variable
function
function denition
function symbol
functional completeness
fuzzy
goal
graph
hypothesis
Bedingung
Bedingungsausdruck
Konjunktion, Und-Verknüpfung
konjunktive Normalform
Junktor, Verbinder
Folgerung, Folge
Konstante
Konstruktor
Kontext, Umgebung
Widerspruch
Gegenmodell
Cube, Kubus
Datentyp
entscheiden
entscheidbar
Entscheidbarkeit
denieren, bestimmen
deklarativ
Denition, Begrisbestimmung
Disjunktion, Oder-Verknüpfung
disjunktive Normalform
Bereich
zur Folge haben
Gleichheit
Äquivalenz, Gleichbedeutung
äquivalent, gleichbedeutend
explizit, ausdrücklich
Ausdruck
Ausdrucksstärke
falsch
falsch
erste Stufe
Prädikatenlogik erster Stufe
Formel, Aussage
freie Variable
Funktion, Abbildung
Funktionsdenition
Funktionssymbol
funktionale Vollständigkeit
unscharf
Ziel
Graph
Hypothese, Annahme
2
implement
implementation
implication
implicit
imply
incompleteness
induction
induction base
induction hypothesis
induction step
inference
inference rule
inx
input condition
input format
input variable
integer number
interpretation
invariant
leaf
literal
locally bound
logic
logical
logical connective
loop invariant
matchx
mathematical induction
meaning
model
multi-valued
natural number
node
normal form
negation
negation normal form
nested
notation
object
object constant
occur
occurrence
operator
operation
implementieren, umsetzen
Implementierung, Umsetzung
Implikation, Schlussfolgerung
implizit, stillschweigend
implizieren, bedingen
Unvollständigkeit
Induktion
Induktionsbasis
Induktionsannahme
Induktionsschritt
Herleitung
Herleitungsregel
inx, eingefügt
Eingabebedingung
Eingabeformat
Eingabevariable
ganze Zahl
Interpretation
Invariante
Blatt
Literal
lokal gebunden
Logik, logisch
logisch
Junktor, logischer Verbinder
Schleifeninvariante
matchx
mathematische Induktion
Bedeutung
Modell
mehrwertig
natürliche Zahl
Knoten
Normalform
Negation, Verneinung
Negationsnormalform
geschachtelt
Notation
Objekt, Gegenstand
Objektkonstante
vorkommen
Vorkommen
Operator
Operation
3
output condition
output variable
overload
overloading
parameter
paranthesis
pattern
pattern matching
parse
postcondition
postx
powerset
precedence
precondition
predicate
predicate denition
predicate logic
predicate symbol
prex
primitive recursion
problem
problem specication
proof
proof calculus
proof step
property
proposition
propositional logic
prove
proving
quantied
quantier
reason
reasoning
recursion
rene
renement
refutable
relation
result
result condition
result variable
rule
Ausgabebedingung
Ausgabebevariable
überladen
Überladung
Parameter
Klammer
Muster
Mustervergleich
parsen
Nachbedingung
postx, nachgestellt
Potenzmenge
Vorrang
Vorbedingung
Prädikat, Aussage
Prädikatendenition
Prädikatenlogik
Prädikatensymbol
präx, vorangestellt
primitive Rekursion
Problem
Problemspezikation
Beweis
Beweiskalkül
Beweisschritt
Eigenschaft
Aussage
Aussagenlogik
beweisen
Beweisen
quantiziert
Quantor
schlussfolgern, beweisen
Schlussfolgern, Beweisen
Rekursion
verfeinern
Verfeinerung
widerlegbar
Relation, Beziehung
Ergebnis
Ergebnisbedingung
Ergebnisvariable
Regel
4
satisable
satisability
satisability-equivalent
satisfy
semantics
semidecidable
semidecidability
sequence
set
set theory
signature
sort
solver
sound
soundness
specication
specify
structure
structural induction
subexpression
subformula
substitute
substitution
subterm
symbol
syntax
syntax analysis
syntax tree
tautology
term
theorem
theorem prover
theory
top-down
true
truth constant
truth table
truth value
tuple
type
type denition
type signature
unary
unique
erfüllbar
Erfüllbarkeit
erfüllbarkeits-äquivalent
erfüllen
Semantik, Bedeutung
semi-entscheidbar, halb-entscheidbar
Semi-Entscheidbarkeit, Halb-Entscheidbarkeit
Folge
Menge
Mengenlehre
Signatur
Sorte
Solver
korrekt
Korrektheit
Spezikation, Beschreibung
spezizieren, beschreiben
Struktur, Gebilde
strukturelle Induktion
Teilausdruck
Teilformel
ersetzen
Ersetzung
Teilterm
Symbol, Zeichen
Syntax, Form
Syntaxanalyse
Syntaxbaum
Tautologie
Term, Ausdruck
Theorem, Satz
Theorem-Beweiser
Theorie
von oben nach unten
wahr
Wahrheitskonstante
Wahrheitstabelle
Wahrheitswert
Tupel
Typ
Typdenition
Typsignatur
unär
eindeutig
5
unsatisable
valid
validity
value
value constant
variable
verication
verify
verum
well-formed
unerfüllbar
gültig
Gültigkeit
Wert
Wertekonstante
Variable, variabel
Verikation, Korrektheitsbeweis
verizieren, überprüfen
wahr
wohlgeformt
6
Herunterladen