6. 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.deExercise 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.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.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.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.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.deForschung
Deduktive Datenbanken, explorative Datenanalyse, eLearning für Datenbanken, Erkennung semantische Fehler in SQL
Forschung in Datenbanken und Informationssysteme
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.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.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.deIn [ 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.chIn [ 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.chläß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.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.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.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.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.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.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.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.deMöchtest du ein Wort, eine Phrase oder eine Übersetzung hinzufügen?
Sende uns gern einen neuen Eintrag.