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