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