Nichttheoreme: Eine logische Untersuchung unter Verwendung von Tableauerzeugungen und Reduktionsklassen (Europäische Hochschulschriften - Reihe XX)
5 Angebote vergleichen

Lieferung aus: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, Agrios-Buch [57449362], Bergisch Gladbach, Germany.
Neuware - Die effektive Erkennung von Nichttheoremen ist das zentrale Problem der Entscheidbarkeit von Theorien. Seit der Arbeit von Church 1936 gilt die (Hypo-)These, daß diese Erkennbarkeit nicht in allen Fällen möglich ist. Als eine mögliche Forschungsaufgabe bleibt dann die Frage, ob es irgendwelche effektive entscheidbare Kriterien gibt, mittels deren man möglichst große Teilklassen von Formeln als zur Klasse der Theoreme oder als zur Klasse der Nichttheoreme zugehörig erkennen kann. Insbesondere Kriterien für die Zugehörigkeit zur Klasse der Nichttheoreme wären für automatische Theorembeweiser von großem praktischen Interesse. In der vorliegenden Arbeit werden Kriterien für Nichttheoreme gefunden, die sich ausschließlich an syntaktischen Eigenschaften von Formeln orientieren. Nebenbei wird der Tableaukalkül in der Version von Smullyan erstmalig voll formalisiert. 241 pp. Deutsch.

Lieferung aus: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
Neuware - Die effektive Erkennung von Nichttheoremen ist das zentrale Problem der Entscheidbarkeit von Theorien. Seit der Arbeit von Church 1936 gilt die (Hypo-)These, daß diese Erkennbarkeit nicht in allen Fällen möglich ist. Als eine mögliche Forschungsaufgabe bleibt dann die Frage, ob es irgendwelche effektive entscheidbare Kriterien gibt, mittels deren man möglichst große Teilklassen von Formeln als zur Klasse der Theoreme oder als zur Klasse der Nichttheoreme zugehörig erkennen kann. Insbesondere Kriterien für die Zugehörigkeit zur Klasse der Nichttheoreme wären für automatische Theorembeweiser von großem praktischen Interesse. In der vorliegenden Arbeit werden Kriterien für Nichttheoreme gefunden, die sich ausschließlich an syntaktischen Eigenschaften von Formeln orientieren. Nebenbei wird der Tableaukalkül in der Version von Smullyan erstmalig voll formalisiert. 241 pp. Deutsch.

Von Händler/Antiquariat, Peter Lang Publishing Group [51840572], Bern, Switzerland.
Die effektive Erkennung von Nichttheoremen ist das zentrale Problem der Entscheidbarkeit von Theorien. Seit der Arbeit von Church 1936 gilt die (Hypo-)These, daß diese Erkennbarkeit nicht in allen Fällen möglich ist. Als eine mögliche Forschungsaufgabe bleibt dann die Frage, ob es irgendwelche effektive entscheidbare Kriterien gibt, mittels deren man möglichst große Teilklassen von Formeln als zur Klasse der Theoreme oder als zur Klasse der Nichttheoreme zugehörig erkennen kann. Insbesondere Kriterien für die Zugehörigkeit zur Klasse der Nichttheoreme wären für automatische Theorembeweiser von großem praktischen Interesse. In der vorliegenden Arbeit werden Kriterien für Nichttheoreme gefunden, die sich ausschließlich an syntaktischen Eigenschaften von Formeln orientieren. Nebenbei wird der Tableaukalkül in der Version von Smullyan erstmalig voll formalisiert.

Lieferung aus: Deutschland, zzgl. Versandkosten, Sofort lieferbar.
Eine logische Untersuchung unter Verwendung von Tableauerzeugungen und Reduktionsklassen, Die effektive Erkennung von Nichttheoremen ist das zentrale Problem der Entscheidbarkeit von Theorien. Seit der Arbeit von Church 1936 gilt die (Hypo-)These, daß diese Erkennbarkeit nicht in allen Fällen möglich ist. Als eine mögliche Forschungsaufgabe bleibt dann die Frage, ob es irgendwelche effektive entscheidbare Kriterien gibt, mittels deren man möglichst große Teilklassen von Formeln als zur Klasse der Theoreme oder als zur Klasse der Nichttheoreme zugehörig erkennen kann. Insbesondere Kriterien für die Zugehörigkeit zur Klasse der Nichttheoreme wären für automatische Theorembeweiser von großem praktischen Interesse. In der vorliegenden Arbeit werden Kriterien für Nichttheoreme gefunden, die sich ausschließlich an syntaktischen Eigenschaften von Formeln orientieren. Nebenbei wird der Tableaukalkül in der Version von Smullyan erstmalig voll formalisiert.

Lieferung aus: Schweiz, zzgl. Versandkosten, Versandfertig innert 3 - 5 Werktagen.
Eine logische Untersuchung unter Verwendung von Tableauerzeugungen und Reduktionsklassen, Die effektive Erkennung von Nichttheoremen ist das zentrale Problem der Entscheidbarkeit von Theorien. Seit der Arbeit von Church 1936 gilt die (Hypo-)These, dass diese Erkennbarkeit nicht in allen Fällen möglich ist. Als eine mögliche Forschungsaufgabe bleibt dann die Frage, ob es irgendwelche effektive entscheidbare Kriterien gibt, mittels deren man möglichst grosse Teilklassen von Formeln als zur Klasse der Theoreme oder als zur Klasse der Nichttheoreme zugehörig erkennen kann. Insbesondere Kriterien für die Zugehörigkeit zur Klasse der Nichttheoreme wären für automatische Theorembeweiser von grossem praktischen Interesse. In der vorliegenden Arbeit werden Kriterien für Nichttheoreme gefunden, die sich ausschliesslich an syntaktischen Eigenschaften von Formeln orientieren. Nebenbei wird der Tableaukalkül in der Version von Smullyan erstmalig voll formalisiert.