Global ETD Search

1	Algorithmen zur Beantwortung von Fragestellungen der klassischen Logik Beckhoff, Ruppert 18 October 2024 (has links) Die Arbeit umfasst eine Explikation des Algorithmus Begriffes, die Angabe einiger Algorithmen zur Beantwortung von Fragestellungen im Bereich der Aussagenlogik sowie Beweise für das Genügen angegebener Algorithmen bezüglich der gegebenen Explikation des Algorithmus Begriffes und für die Korrektheit der Algorithmen hinsichtlich der Beantwortung der entsprechenden Fragestellungen im Bereich der Aussagenlogik. / The thesis contains an explication of the concept of algorithm, specification of a few algorithms regarding answering questions in the field of propositional logic as well as proofs for the satisfaction of the given algorithms concerning given explication of the concept of algorithm and for the correctnes of the given algorithms respective answering the corresponding questions in the field of propositional logic. Algorithmus Aussagenlogik Spezifikation Korrektheit algorithm propositional logic specification correctnes 510 Mathematik 004 Informatik 410 Linguistik CC 2600 ddc:100 ddc:510 ddc:004 ddc:410