Formalisierung: Unterschied zwischen den Versionen
aus GlossarWiki, der Glossar-Datenbank der Fachhochschule Augsburg
Kowa (Diskussion | Beiträge) |
Kowa (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 2: | Zeile 2: | ||
|correctness = 3 | |correctness = 3 | ||
|extent = 1 | |extent = 1 | ||
|numberOfReferences = | |numberOfReferences = 3 | ||
|qualityOfReferences = 5 | |qualityOfReferences = 5 | ||
|conformance = 5 | |conformance = 5 | ||
}} | }} | ||
==Definition (Brockhasu<ref>{{Quelle|Brockhaus (1988 COT-DR)}}</ref>)== | ==Definition (Brockhasu<ref>{{Quelle|Brockhaus (1988 COT-DR)}}</ref>)== | ||
| Zeile 28: | Zeile 27: | ||
[[Kategorie:Glossar]] | [[Kategorie:Glossar]] | ||
[[Kategorie: | [[Kategorie:Mathematik]] | ||
[[en:GlossaryWiki:Formalization | [[Kategorie:Allgemeinwissenschaften]] | ||
[[en:GlossaryWiki:Formalization]] | |||
Version vom 26. Juli 2014, 09:50 Uhr
Dieser Artikel erfüllt die GlossarWiki-Qualitätsanforderungen nur teilweise:
| Korrektheit: 3 (zu größeren Teilen überprüft) |
Umfang: 1 (zu gering) |
Quellenangaben: 3 (wichtige Quellen vorhanden) |
Quellenarten: 5 (ausgezeichnet) |
Konformität: 5 (ausgezeichnet) |
Definition (Brockhasu[1])
Wissenschaftstheorie:'
i.e.S.{{#info|im engeren Sinn}} Aufgbau einer formalisierten Sprache – meiest unter Verwendung von Mathematik und Logik – durch Überführung von Aussagen oder Theorien eines bestimmten Wissensgebiet in einen Formalismus.
Bekannte Beispele sind die Aussagenlogik mit der Semantik der Wahrheitstafeln, aber auch Fachsprachen, z.B die Programmiersprachen für Computer.
Quellen
- ↑ Brockhaus (1988, COT-DR): Brockhaus-Enzyklopädie: Band 5, COT-DR; Auflage: 19; Verlag: F.A. Brockhaus GmbH; Adresse: Mannheim; ISBN: 3-7653-1105-7, 3-7653-1205-3; 1988; Quellengüte: 5 (Buch)
