-
- |
- Service / Hilfe
- |
- Kontakt
- |
- B2B
- Mein PONS
Übersetzungen für „deductive“ im Englisch » Deutsch-Wörterbuch (Springe zu Deutsch » Englisch)
de·duc·tive [dɪˈdʌktɪv] ADJ
deductive statistical ADJ CTRL
FachwortschatzBeispiele aus dem PONS Wörterbuch (redaktionell geprüft)
- deductive logic
Beispiele aus dem Internet (nicht von der PONS Redaktion geprüft)
Exercise 6 :
[ Additional Operators in F0, 8P ] To cope with formulas from the whole set F in the deductive system F0 we can introduce further axioms.
1.
www-madlener.informatik.uni-kl.de6. Aufgabe :
[ Zusätzliche Operatoren in F0, 8P ] Um Formeln aus ganz F im deduktiven System F0 betrachten zu können, kann man weitere Axiome einführen.
1.
www-madlener.informatik.uni-kl.deProve :
If F = ( Ax, R ) is a deductive system with sound axioms ( i.e. the axioms are tautologies ) and sound rules, then F is sound.
2.
www-madlener.informatik.uni-kl.deZeigen Sie :
Ist F = ( Ax, R ) ein deduktives System mit korrekten Axiomen ( d.h. Tautologien als Axiome ) und korrekten Regeln, so ist F korrekt.
2.
www-madlener.informatik.uni-kl.deWe expect an improved runtime performance of query evaluation compared to other methods of prepocessing like the Magic Sets method.
This could make the use of deductive databases more attractive for processing large amounts of data.
Publications
www.informatik.uni-halle.deWir erwarten eine Verbesserung der Laufzeit der Anfrageauswertung im Vergleich zu anderen Vorverarbeitungsmethoden wie der Magic-Sets-Methode.
Dies könnte die Verwendung deduktiver Datenbanken zur Verarbeitung großer Datenmengen attraktiver machen.
Publikationen
www.informatik.uni-halle.deResearch
Deductive databases, explorative data analysis, elearning for databases, semantic error in SQL
Research in databases and information systems
www.informatik.uni-halle.deForschung
Deduktive Datenbanken, explorative Datenanalyse, eLearning für Datenbanken, Erkennung semantische Fehler in SQL
Forschung in Datenbanken und Informationssysteme
www.informatik.uni-halle.deallowed anthropology to become a fundamental discipline in the late Enlightenment, a period which dedicated itself to the empirical study of man.
Deductive reasoning, based on the universally applicable truths of reason (for example Christian Wolff's rationalistic philosophy which was so central to the early Enlightenment in Germany), was replaced by inductive thinking in which the relationship between "body" and "soul" was examined through self observation and the collection of case studies.
www.uni-saarland.deläßt die Anthropologie in der Spätaufklärung, die sich ganz der empirischen Erforschung des Menschen verschrieben hat, zur Fundamentaldisziplin werden :
Nicht mehr deduktiv, von universell gültigen Vernunftwahrheiten ausgehend (wie es die für die deutsche Frühaufklärung so ungemein prägende rationalistische Philosophie Christian Wolffs zu tun pflegte), sondern induktiv, auf der Basis von Selbstbeobachtung und gesammelten Fallgeschichten, soll nun untersucht werden, wie "Geist" und "Körper" miteinander zusammenhängen.
www.uni-saarland.deIn [ 3 ], a model of the human cardiovascular system was developed on the basis of a Fortran program that comprises the hemodynamics and the central nervous control.
The hemodynamics were captured by means of a deductive differential equation model, whereas the central nervous control functions were modeled inductively using five separate NARMAX models.
In [ 4,5 ], the hemodynamic submodel was reprogrammed in the simulation language ACSL to improve the readability and maintainability of the code.
www.inf.ethz.chIn [ 3 ] wurde ein Modell des menschlichen kardiovaskulären Systems unter Einschluss der Hämodynamik sowie der nervösen Ansteuerung auf Fortranbasis programmiert.
Dabei wurde die Hämodynamik deduktiv durch Differentialgleichungen abgebildet, während die nervöse Ansteuerung induktiv durch fünf separate NARMAX Modelle nachgebildet wurde.
In [ 4,5 ] wurde das hämodynamische Untermodell auf die Simulationssprache ACSL übertragen, um dessen Lesbarkeit zu verbessern.
www.inf.ethz.challowed anthropology to become a fundamental discipline in the late Enlightenment, a period which dedicated itself to the empirical study of man.
Deductive reasoning, based on the universally applicable truths of reason (for example Christian Wolff s rationalistic philosophy which was so central to the early Enlightenment in Germany) , was replaced by inductive thinking in which the relationship between " body " and " soul " was examined through self observation and the collection of case studies.
www.uni-saarland.deläßt die Anthropologie in der Spätaufklärung, die sich ganz der empirischen Erforschung des Menschen verschrieben hat, zur Fundamentaldisziplin werden :
Nicht mehr deduktiv, von universell gültigen Vernunftwahrheiten ausgehend (wie es die für die deutsche Frühaufklärung so ungemein prägende rationalistische Philosophie Christian Wolffs zu tun pflegte) , sondern induktiv, auf der Basis von Selbstbeobachtung und gesammelten Fallgeschichten, soll nun untersucht werden, wie " Geist " und " Körper " miteinander zusammenhängen.
www.uni-saarland.deOn the theoretical side, the work is focused on the development, analysis, and combination of logical calculi.
Practically, the group is concerned with the implementation of powerful automated theorem provers and other deductive systems and their application to computer-aided verification of hardware and software.
www.mpi-inf.mpg.deIm theoretischen Bereich erforscht die Gruppe die Entwicklung, Analyse, und Kombination logischer Kalküle.
Die praktische Forschung beschäftigt sich mit der Implementierung leistungsstarker Beweiser und anderen deduktiven Systemen und ihrer Anwendung in computergestützten Beweisverfahren von Hard- und Software.
www.mpi-inf.mpg.deapplication of theoretical models in practice ;
abductive, inductive, and deductive conclusions (accidentally true, probably true, and necessarily true conclusions);
verification and falsification;
www.hfg-gmuend.deApplikation theoretischer Modelle in der Praxis ;
Abduktive, Induktive und Deduktive Schlussformen (zufällig wahre, wahrscheinlich wahre und notwendig wahre Schlussfolgerungen);
Verifikation und Falsifikation;
www.hfg-gmuend.deEfficient Query / Program Execution in Deductive Databases
Deductive databases use the logic programming language Datalog for database queries and application programming.
The goal of this project is to improve the efficiency of query/program execution.
www.informatik.uni-halle.deEffiziente Anfrageauswertung in Deduktiven Datenbanken
Deduktive Datenbanken verwenden die logische Programmiersprache Datalog sowohl für Datenbank-Abfragen als auch für die Anwendungsprogrammierung.
Ziel dieses Projektes ist es, die Anfrage- und Programmauswertung in deduktiven Datenbanken zu beschleunigen.
www.informatik.uni-halle.deMöchtest du ein Wort, eine Phrase oder eine Übersetzung hinzufügen?
Sende uns gern einen neuen Eintrag.