Eine freie Initiative von Menschen bei  anthrowiki.at,  anthro.world,  biodyn.wiki und  steiner.wikimit online Lesekreisen, Übungsgruppen, Vorträgen ... |
 Wie Sie die Entwicklung von AnthroWiki durch Ihre Spende unterstützen können, erfahren Sie hier.
|
|
|
Use Google Translate for a raw translation of our pages into more than 100 languages. Please note that some mistranslations can occur due to machine translation. |
Formales System: Unterschied zwischen den Versionen
Aus AnthroWiki
imported>Odyssee Keine Bearbeitungszusammenfassung |
imported>Odyssee Keine Bearbeitungszusammenfassung |
||
| (Eine dazwischenliegende Version desselben Benutzers wird nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
Ein '''formales System''' ist ein System von Symbolketten und Regeln. Die Regeln sind Vorschriften für die Umwandlung einer Symbolkette in eine andere, also [[Wikipedia:Produktion (Grammatik)|Produktionen]] einer [[Wikipedia:Formale Grammatik|formalen Grammatik]]. Die Anwendung der Regeln kann dabei ohne Kenntnis der Bedeutung der [[Symbol]]e, also rein [[Syntax|syntaktisch]] erfolgen. Formale Systeme werden in verschiedenen wissenschaftlichen Disziplinen wie der [[Logik]], [[Mathematik]], [[Informatik]] und [[Sprachwissenschaft|Linguistik]] verwendet, insbesondere um neue Aussagen aus bereits bekanntem Wissen herzuleiten. | Ein '''formales System''' ist ein System von Symbolketten und Regeln. Die Regeln sind Vorschriften für die Umwandlung einer Symbolkette in eine andere, also [[Wikipedia:Produktion (Grammatik)|Produktionen]] einer [[Wikipedia:Formale Grammatik|formalen Grammatik]]. Die Anwendung der Regeln kann dabei ''ohne Kenntnis der [[Bedeutung]]'' der [[Symbol]]e, also rein [[Syntax|syntaktisch]] durch konsequente Anwendung der Regeln erfolgen. Formale Systeme werden in verschiedenen wissenschaftlichen Disziplinen wie der [[Logik]], [[Mathematik]], [[Informatik]] und [[Sprachwissenschaft|Linguistik]] verwendet, insbesondere um neue Aussagen aus bereits bekanntem Wissen herzuleiten. | ||
[[Kalkül]] wird oft in derselben Bedeutung wie formales System verwendet; manchmal wird unter einem Kalkül jedoch ein formales System mit bestimmten Einschränkungen verstanden. | [[Kalkül]] wird oft in derselben Bedeutung wie formales System verwendet; manchmal wird unter einem Kalkül jedoch ein formales System mit bestimmten Einschränkungen verstanden. | ||
Aktuelle Version vom 27. September 2017, 09:45 Uhr
Ein formales System ist ein System von Symbolketten und Regeln. Die Regeln sind Vorschriften für die Umwandlung einer Symbolkette in eine andere, also Produktionen einer formalen Grammatik. Die Anwendung der Regeln kann dabei ohne Kenntnis der Bedeutung der Symbole, also rein syntaktisch durch konsequente Anwendung der Regeln erfolgen. Formale Systeme werden in verschiedenen wissenschaftlichen Disziplinen wie der Logik, Mathematik, Informatik und Linguistik verwendet, insbesondere um neue Aussagen aus bereits bekanntem Wissen herzuleiten.
Kalkül wird oft in derselben Bedeutung wie formales System verwendet; manchmal wird unter einem Kalkül jedoch ein formales System mit bestimmten Einschränkungen verstanden.
Siehe auch
- Formales System - Artikel in der deutschen Wikipedia
| Dieser Artikel basiert auf einer für AnthroWiki adaptierten Fassung des Artikels Formales System aus der freien Enzyklopädie de.wikipedia.org und steht unter der Lizenz Creative Commons Attribution/Share Alike. In Wikipedia ist eine Liste der Autoren verfügbar. |
