Werbung
 Übersetzung für 'theorem-proving' von Englisch nach Deutsch
comp.math.
theorem proving
Theorembeweisen {n}
comp.math.
mechanical theorem-proving
automatisches Beweisen {n}
2 Übersetzungen
Neue Wörterbuch-Abfrage: Einfach jetzt tippen!

Übersetzung für 'theorem-proving' von Englisch nach Deutsch

Werbung
theorem proving
Theorembeweisen {n}comp.math.

mechanical theorem-proving
automatisches Beweisen {n}comp.math.
Anwendungsbeispiele Englisch
  • Christoph Benzmüller and Bruno Woltzenlogel-Paleo formalized Gödel's proof to a level that is suitable for automated theorem proving or at least computer verification via proof assistants.
  • Well-known applications include automatic theorem proving and modeling the elaboration of linguistic structure.
  • For sequential software, examples of formal methods include the B-Method, the specification languages used in automated theorem proving, RAISE, and the Z notation.
  • Although the logical consequence relation is only semidecidable, much progress has been made in automated theorem proving in first-order logic.
  • Formal verification of statements in logic has been necessary for software development of safety-critical systems, and advances in automated theorem proving have been driven by this need.

  • Standard ML is a modern dialect of ML, the language used in the Logic for Computable Functions (LCF) theorem-proving project.
  • As a normal form, it is useful in automated theorem proving.
  • The precise statement of the P=NP problem was introduced in 1971 by Stephen Cook in his seminal paper "The complexity of theorem proving procedures" and is considered by many to be the most important open problem in the field.
  • The precise statement of the P versus NP problem was introduced in 1971 by Stephen Cook in his seminal paper "The complexity of theorem proving procedures" (and independently by Leonid Levin in 1973).
  • formalist mathematicians have proposed that all of our "formal" mathematical knowledge should be systematically encoded in computer-readable formats, so as to facilitate automated proof checking of mathematical proofs and the use of interactive theorem proving in the development of mathematical theories and computer software.

  • In artificial intelligence and computer science, scientists study and use automated reasoning for diverse applications including automated theorem proving the formal semantics of programming languages, and formal specification in software engineering.
  • His mathematical specialties were noncommutative ring theory and computational algebra and its applications, including automated theorem proving in geometry.
  • Employing the similarity of Boolean rings and Boolean algebras, both algorithms have applications in automated theorem proving.
  • Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs.
Werbung
© dict.cc English-German dictionary 2024
Enthält Übersetzungen von der TU Chemnitz sowie aus Mr Honey's Business Dictionary (nur Englisch/Deutsch).
Links auf das Wörterbuch oder auch auf einzelne Übersetzungen sind immer herzlich willkommen!