Logik
aus GlossarWiki, der Glossar-Datenbank der Fachhochschule Augsburg
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) |
Dieser Artikel wird derzeit von einem Autor gründlich bearbeitet. Die Inhalte sind daher evtl. noch inkonsistent.
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
