Das jährlich stattfindende Deduktionstreffen ist die wichtigste Veranstaltung der GI-Fachgruppe Deduktionssysteme ( DedSys ).
Es ist ein familiäres Treffen, auf dem alle, die an der Deduktion interessiert sind, über ihre Arbeit in einem informellem Rahmen berichten können.
Das Deduktionstreffen findet am 17. und 18. März 2008 am Max-Planck-Institut für Informatik ( Geb. E1 4, Raum 024 ) in Saarbrücken statt.
www.mpi-inf.mpg.de( Deduction Meeting ) is the most important event of the GI-Fachgruppe Deduktionssysteme ( DedSys ).
It is an informal, friendly meeting at which all interested in deduction can report on their work.
The deduction meeting takes places on the 17th and 18th of March, 2008 at the Max-Planck Institute for Informatics ( Bld. E1 4, room 024 ) in Saarbrücken.
www.mpi-inf.mpg.deSie bietet vielseitige Methoden zu Analyse und Verständnis, Modellierung und Simulation, Vorhersage und Steuerung von Prozessen in Technik, Biowissenschaften, Medizin, Wirtschaft und Gesellschaft.
Dabei liegen ihre Stärken in struktureller und begrifflicher Klarheit und der durch Abstraktion und Deduktion gewonnenen Übersichtlichkeit sowie ihrer breiten Anwendbarkeit.
Nicht zufällig ist deswegen Mathematik eines der wichtigen Unterrichtsfächer in Schulen und in vielen auch nichtmathematischen Studiengängen.
www.uni-oldenburg.deIt offers versatile methods for analysis and understanding, modelling and simulation, forecasting and controlling processes in technology, biological sciences, medicine, economics, and society.
Its strengths lie therefore in structural and conceptual clarity, broad applicability, and a lucidity that is achieved through abstraction and deduction.
It is no coincidence that mathematics is one of the most important subjects taught in schools and in many non-mathematical fields.
www.uni-oldenburg.deVSE - Verification Support Environment
VSE unterstützt in umfassender Weise die formale Entwicklung durch eine nahtlose Integration von Spezifikation, Deduktion und Verwaltung von formalen Artefakten.
Es wurde in zwei Phasen für das Bundesamt für Sicherheit in der Informationstechnik ( BSI ) von einem Konsortium aus industriellen und akademischen Partnern entwickelt.
www.dfki.deVSE - Verification Support Environment
VSE supports formal development in a comprehensive way by closely integrating specification, deduction, and management of developments.
It was developed in two phases for the German Information Security Agency ( Bundesamt für Sicherheit in der Informationstechnik, BSI ) by a consortium from industry and academia.
www.dfki.deam MPI für Informatik und Honorarprofessor an der Universität des Saarlandes ; zuvor hatte er an der Universität Dortmund einen Lehrstuhl für Informatik inne.
Sein wissenschaftlicher Schwerpunkt ist die automatische Deduktion: die Entwicklung von Systemen, mit denen logische Aussagen auf Knopfdruck bewiesen werden können, und die als automatische Werkzeuge bei der Verifikation großer Hard- und Softwareprojekte einsetzbar sind.
Der Superpositionskalkül, den er gemeinsam mit Leo Bachmair entwickelte, ist heute das Standardverfahren zur effizienten Lösung von Gleichungsproblemen in automatischen Beweisern.
domino.mpi-inf.mpg.deHarald Ganzinger, born 1950, has been leader of the Programming Logics Group at MPI Saarbrücken and honorary professor at the University of the Saarland since 1991 ; before, he held a chair in computer science at the University of Dortmund.
His main field of research is automated deduction -- the development of push-button methods for proving and disproving logical statements that can be used as automatic tools within the verification of large hardware and software systems.
The superposition calculus, which he developed in collaboration with Leo Bachmair, is nowadays the standard method for the efficient treatment of equational problems in automatic provers.
domino.mpi-inf.mpg.de( PDF )
Psychologische Untersuchungen der menschlichen Deduktion haben sich bisher auf positive Ausdrücke konzentriert.
Ein nicht unerheblicher Teil menschlicher Kommunikation basiert aber darauf, zu erwähnen, was nicht gelten soll.
www.informatik.uni-freiburg.de( PDF )
In the past, psychological research on human deduction has mostly focused on positive expressions.
However, stating what is not true constitutes a significant part of human communication.
www.informatik.uni-freiburg.deSeinen zwei Tätigkeiten gemeinsam ist die Tatsache, dass das Ding zunächst gedacht, geplant wird, dass seine Herstellung sich dazwischen schiebt.
Das dabei involvierte Risiko wird durch Erfahrung minimiert, also mehr Deduktion als Induktion.
Um zum Essentiellen zu gelangen ist solcherart Lebensarbeit ein guter Weg.
www.annemarie-verna.chSomething common to both activities is the fact that the thing in question is first conceived, planned, that its fabrication shifts between the idea and the real object.
The associated risk becomes minimized through experience, more a matter of deduction than induction.
To get to the essential, such a manner of life s work is a sound path to take.
www.annemarie-verna.chDie Sprache ist mächtig genug, um die Implementierung von Spezifikationen durch primitivere Spezifikationen ausdrücken zu können.
Mit den Mitteln logischer Deduktion können daher formale Beziehungen zwischen den Komponenten einer Projektdokumentation hergestellt werden.
Ziel ist es, routinemäßige Komponenten automatisch zu generieren.
www4.informatik.tu-muenchen.deThe language is powerful enough to express the implementation of specifications through more primitive specifications.
With means of logical deduction it is possible to establish formal relationships between components of project documentation.
The aim is to generate certain components automatically.
www4.informatik.tu-muenchen.decomputerunterstützte Messwerterfassungs- und Auswertungssysteme im Praktikum selbstständig einsetzen ;
die Methoden der Deduktion und Induktion anwenden geeignete Größen bilanzieren.
www.dhps-windhoek.deindependently use computer-assisted data logging and assessment systems in practicals ;
apply the methods of deduction and induction and balance suitable quantities.
www.dhps-windhoek.deDer Superpositionskalkül, den er gemeinsam mit Leo Bachmair entwickelte, ist heute das Standardverfahren zur effizienten Lösung von Gleichungsproblemen in automatischen Beweisern.
Das Preisverleihungskomitee würdigt Ganzingers "grundlegende Arbeiten, auf denen heutige Theorembeweissysteme aufbauen, die Breite seiner Forschungstätigkeit in den verschiedensten Teilgebieten der Deduktion und die Bedeutung seiner Ergebnisse für jedes einzelne dieser Gebiete, sowie seinen Beitrag zur Entwicklung von Implementierungstechniken und praktischen Systemen."
domino.mpi-inf.mpg.deThe superposition calculus, which he developed in collaboration with Leo Bachmair, is nowadays the standard method for the efficient treatment of equational problems in automatic provers.
The award committee cited Ganzinger for his "seminal work on the theory underlying modern theorem proving systems; the breadth of his research covering nearly all major areas of deduction, and the depth of his results in each one of them; and his effective contributions to the development of systems and implementation techniques."
domino.mpi-inf.mpg.deWould you like to add some words, phrases or translations?
Submit a new entry.