Alemán | Inglés | |
---|---|---|
General | ||
General | Prädikatenlogik [f] | predicate logic |
Automation | ||
Automation | Prädikatenlogik [f] | predicate logic |
Informatics | ||
Informatics | Prädikatenlogik [f] | predicate logic (pl) |
Math | ||
Math | Prädikatenlogik [f] | predicate calculus |
Math | Prädikatenlogik [f] | first-order logic |
Alemán | Inglés | |
---|---|---|
Math | ||
Math | Prädikatenlogik zweiter Stufe [f] | second-order logic |
Math | Prädikatenlogik erster Stufe [f] | first-order logic |
Math | Prädikatenlogik erster Stufe | first-order logic |