Logik: Unterschied zwischen den Versionen
aus GlossarWiki, der Glossar-Datenbank der Fachhochschule Augsburg
Kowa (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Kowa (Diskussion | Beiträge) |
||
Zeile 9: | Zeile 9: | ||
==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>== | ||
Ziel der mathematischen Logik ist es [...], das natürliche, umgangssprachliche Hantieren mit [[Aussage]]n und [[Folgerung]]en in einem | Ziel der mathematischen Logik ist es [...], das natürliche, umgangssprachliche Hantieren mit [[Aussage]]n und [[Folgerung]]en in einem mathematischen Formalisms, einem [[Kalkül]], zu präsisieren, um zu einer rein mechanischen Ausführung von Beweisen zu gelangen. | ||
==Quellen== | ==Quellen== |
Aktuelle Version vom 23. Mai 2019, 18:03 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 mathematischen 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