Logik: Unterschied zwischen den Versionen
aus GlossarWiki, der Glossar-Datenbank der Fachhochschule Augsburg
Kowa (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Qualität |correctness = 5 |extent = 1 |numberOfReferences = 5 |qualityOfReferences = 4 |conformance = 5 }} {{In Bearbeitung}} …“) |
Kowa (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
Zeile 6: | Zeile 6: | ||
|conformance = 5 | |conformance = 5 | ||
}} | }} | ||
=Definition (Güntzer, Schmidt, Kempf, Möller)<ref>{{Quelle|Güntzer, U.; Schmidt, G.; Kempf, M.; Möller, B. (1989): Mathematische Logik}}, Seite 1-2</ref>= | =Definition (Güntzer, Schmidt, Kempf, Möller)<ref>{{Quelle|Güntzer, U.; Schmidt, G.; Kempf, M.; Möller, B. (1989): Mathematische Logik}}, Seite 1-2</ref>= | ||
Zeile 19: | Zeile 19: | ||
* [[Metasprache|Metasprache/Objektsprache]] | * [[Metasprache|Metasprache/Objektsprache]] | ||
* [[Aussagenlogik]] | * [[Aussagenlogik]] | ||
* [[Prädikatenlogik | * [[Prädikatenlogik 1. Stufe]] | ||
* [[Prädikatenlogik | * [[Prädikatenlogik 2. Stufe]] | ||
* [[Kalkül]] | * [[Kalkül]] | ||
[[Kategorie:Logik]] | [[Kategorie:Logik]] |
Version vom 16. August 2012, 13:58 Uhr
Dieser Artikel erfüllt die GlossarWiki-Qualitätsanforderungen nur teilweise:
Korrektheit: 5 (vollständig überprüft) |
Umfang: 1 (zu gering) |
Quellenangaben: 5 (vollständig vorhanden) |
Quellenarten: 4 (sehr gut) |
Konformität: 5 (ausgezeichnet) |
Definition (Güntzer, Schmidt, Kempf, Möller)[1]
Ziel der mathematischen Logik ist es [...], das natürliche, umgangssprachliche Hantieren mit Aussagen und Folgerungen in einem mathematischn Formalisms, einem Kalkül, zu präsisieren, um zu einer rein mechanischen Ausführung von Beweisen zu gelangen.
Quellen
- ↑ Güntzer, Schmidt, Kempf, Möller (1989): Ulrich Güntzer, Gunther Schmidt, Michael Kempf und Bernhard Möller; Mathematische Logik; Band: TUM-I-8900; Hochschule: Technische Universität München; 1989; Quellengüte: 4 (Skript), Seite 1-2