Formalisierung

aus GlossarWiki, der Glossar-Datenbank der Fachhochschule Augsburg
Wechseln zu:Navigation, Suche
Dieser Artikel erfüllt die GlossarWiki-Qualitätsanforderungen nur eingeschränkt:
  ★★★☆☆ Korrektheit: zu größeren Teilen überprüft
  ★☆☆☆☆ Umfang: zu gering
  ★★★☆☆ Quellenangaben: wichtige Quellen sind vorhanden
  ★★★★★ Quellenqualität: ausgezeichnet
  ★★★★★ GlossarWiki-Konformität: ausgezeichnet

1 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 Theorieneines 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.

2 Quellen

  1. 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)

3 Siehe auch