Formalisierung: Unterschied zwischen den Versionen
aus GlossarWiki, der Glossar-Datenbank der Fachhochschule Augsburg
Kowa (Diskussion | Beiträge) Die Seite wurde neu angelegt: „ {{Qualität |correctness = 3 |extent = 1 |numberOfReferences = 0 |qualityOfReferences = 5 |conformance = 5 }} {{In Bearbeitung}}…“ |
Kowa (Diskussion | Beiträge) |
||
| Zeile 8: | Zeile 8: | ||
{{In Bearbeitung}} | {{In Bearbeitung}} | ||
==Definition== | ==Definition (Brockhasu<ref>{{Quelle|Brockhaus (1988 COT-DR)}}</ref>)== | ||
''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 [[Wahrheitstafel]]n, | |||
aber auch Fachsprachen, z.B die [[Programmiersprache]]n für Computer. | |||
==Quellen== | ==Quellen== | ||
Version vom 26. Juli 2014, 09:48 Uhr
Dieser Artikel erfüllt die GlossarWiki-Qualitätsanforderungen nur teilweise:
| Korrektheit: 3 (zu größeren Teilen überprüft) |
Umfang: 1 (zu gering) |
Quellenangaben: 0 (fehlen vollkommen) |
Quellenarten: 5 (ausgezeichnet) |
Konformität: 5 (ausgezeichnet) |
Dieser Artikel wird derzeit von einem Autor gründlich bearbeitet. Die Inhalte sind daher evtl. noch inkonsistent.
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)
