Titelaufnahme

Titel
Simplification of Herbrand sequents / von Tsvetan Chavdarov Dunchev
VerfasserDunchev, Tsvetan Chavdarov
Begutachter / BegutachterinLeitsch, Alexander
Erschienen2009
Umfang46 Bl.
HochschulschriftWien, Techn. Univ., Mag.-Arb., 2009
Anmerkung
Zsfassung in dt. Sprache
SpracheEnglisch
DokumenttypMasterarbeit
Schlagwörter (DE)Herbrand, Sequent, Vereinfachung, Algorithmus, CERES-Methode, LK
Schlagwörter (EN)Herbrand, Sequent, Simplification, Algorithm, CERES-method, LK
URNurn:nbn:at:at-ubtuw:1-37482 Persistent Identifier (URN)
Zugriffsbeschränkung
 Das Werk ist frei verfügbar
Dateien
Simplification of Herbrand sequents [0.3 mb]
Links
Nachweis
Klassifikation
Zusammenfassung (Deutsch)

Eines der wichtigsten Resultate der mathematischen Logik ist der Satz von Herbrand, welcher besagt dass ein skolemisiertes Sequent S =A1,...,An