Formalisierung: Unterschied zwischen den Versionen
aus GlossarWiki, der Glossar-Datenbank der Fachhochschule Augsburg
Kowa (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Kowa (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| (8 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
| Zeile 7: | Zeile 7: | ||
}} | }} | ||
==Definition ( | ==Definition (Brockhaus<ref>{{Quelle|Brockhaus (1988 COT-DR)}}</ref>)== | ||
''Wissenschaftstheorie:'' | ''Wissenschaftstheorie:'' | ||
i.e.S.{{#info:im engeren Sinn}} | i.e.S.{{#info:im engeren Sinn}} Aufbau einer formalisierten Sprache – meist unter Verwendung von Mathematik und Logik – durch Überführung von Aussagen oder Theorien eines bestimmten Wissensgebiet in einen [[Formalismus]]. | ||
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 [[Wahrheitstafel]]n, | Bekannte Beispele sind die [[Aussagenlogik]] mit der Semantik der [[Wahrheitstafel]]n, aber auch Fachsprachen, z.B die [[Programmiersprache]]n für Computer. | ||
aber auch Fachsprachen, z.B die [[Programmiersprache]]n für Computer. | |||
==Quellen== | ==Quellen== | ||
| Zeile 26: | Zeile 23: | ||
==Siehe auch== | ==Siehe auch== | ||
* [[Formalismus]] | |||
[[Kategorie:Glossar]] | [[Kategorie:Glossar]] | ||
[[Kategorie: | [[Kategorie:Logik]] | ||
[[en:GlossaryWiki:Formalization]] | [[en:GlossaryWiki:Formalization]] | ||
Aktuelle Version vom 14. September 2019, 16:00 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 (Brockhaus[1])
Wissenschaftstheorie:
i.e.S.im engeren Sinn Aufbau einer formalisierten Sprache – meist 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)
