Titlebook: Automatische Synthese rekursiver Programme als Beweisverfahren; Susanne Biundo Book 1992 Springer-Verlag Berlin Heidelberg 1992 Automated

Perennial长期的

诱导

猛击

Globalisation and its DiscontentsIn diesem Abschnitt werden als Ergänzung zur fest vorgegebenen Transformationsstrategie, die das Synthesesystem verfolgt, die Heuristiken beschrieben, die die Auswahl der Transformationsregeln und ihre Bewertung in den einzelnen Phasen des Syntheseprozesses steuern.

不吉祥的女人

Globalisation and its DiscontentsIn diesem Abschnitt soll noch einmal an einigen ausgewählten Beispielen die Leistungsfähigkeit des Verfahrens generell, sowie die seiner Realisierung als automatisches Synthesesystem gezeigt werden.

SOB

,Einführung,Eines der ältesten Teilgebiete der künstlichen Intelligenz beschäftigt sich mit der Mechanisierung einer menschlichen Tätigkeit, die ein hohes Maß an Intelligenz und Kreativität erfordert: dem automatischen Beweisen mathematischer Sätze.

nitroglycerin

,Übersicht,Die Arbeit gliedert sich in einen theoretischen und einen praxisbezogenen Teil. Im erstgenannten (er umfaßt die Kapitel 3, 4 und 5) wird der Synthesekalkül definiert; der zweite Teil (Kapitel 7 und 8) beschreibt die Strategien und Heuristiken, die notwendig sind, um auf dieser Basis eine automatisch arbeitende Systemkomponente zu entwickeln.

不透明

Formale Grundbegriffe,Dieser Abschnitt führt die zentralen logischen Grundbegriffe und Schreibweisen ein, die in den nachfolgenden Abschnitten Verwendung finden.

我不重要

Heuristiken,In diesem Abschnitt werden als Ergänzung zur fest vorgegebenen Transformationsstrategie, die das Synthesesystem verfolgt, die Heuristiken beschrieben, die die Auswahl der Transformationsregeln und ihre Bewertung in den einzelnen Phasen des Syntheseprozesses steuern.

迷住

Beispiele,In diesem Abschnitt soll noch einmal an einigen ausgewählten Beispielen die Leistungsfähigkeit des Verfahrens generell, sowie die seiner Realisierung als automatisches Synthesesystem gezeigt werden.

cardiac-arrest