Ableitungsschritt

См. также в других словарях:

• Ableitung (Informatik) — Als Ableitung wird in der theoretischen Informatik der Vorgang bezeichnet, ein Wort nach den Regeln einer formalen Grammatik zu erzeugen. Unter einem Wort versteht man eine beliebige Zeichenkette, also eine endliche Folge von Symbolen. Eine… …   Deutsch Wikipedia

• Ableitung (Logik) — Unter Ableitung oder Herleitung, auch Deduktion, versteht man in der Logik die Gewinnung von Sätzen (den Konklusionen) aus anderen Sätzen (den Prämissen) in einem formalen Kalkül unter Verwendung der im Kalkül zugelassenen Schlussregeln.… …   Deutsch Wikipedia

• Ableitbarkeitsbegriff — Unter einer Ableitung oder Herleitung versteht man in der Logik die Gewinnung von Sätzen aus anderen Sätzen in einem formalen Kalkül nach den im Kalkül zugelassenen Regeln (herrschender syntaktisch formaler Ableitungsbegriff)[1] oder den Nachweis …   Deutsch Wikipedia

• Ableitbarkeitsrelation — Unter einer Ableitung oder Herleitung versteht man in der Logik die Gewinnung von Sätzen aus anderen Sätzen in einem formalen Kalkül nach den im Kalkül zugelassenen Regeln (herrschender syntaktisch formaler Ableitungsbegriff)[1] oder den Nachweis …   Deutsch Wikipedia

• Ableitungsbegriff — Unter einer Ableitung oder Herleitung versteht man in der Logik die Gewinnung von Sätzen aus anderen Sätzen in einem formalen Kalkül nach den im Kalkül zugelassenen Regeln (herrschender syntaktisch formaler Ableitungsbegriff)[1] oder den Nachweis …   Deutsch Wikipedia

• Beweisbar — Unter einer Ableitung oder Herleitung versteht man in der Logik die Gewinnung von Sätzen aus anderen Sätzen in einem formalen Kalkül nach den im Kalkül zugelassenen Regeln (herrschender syntaktisch formaler Ableitungsbegriff)[1] oder den Nachweis …   Deutsch Wikipedia

• Fehlschluss — Als Fehlschluss oder Trugschluss (lateinisch fallacia) bezeichnet man einen Schluss, bei dem die abgeleitete Aussage nicht aus den explizit angegebenen oder implizit angenommenen Voraussetzungen folgt. Dies bedeutet nicht sofort, dass die… …   Deutsch Wikipedia

• Folgerungsbegriff — Unter einer Ableitung oder Herleitung versteht man in der Logik die Gewinnung von Sätzen aus anderen Sätzen in einem formalen Kalkül nach den im Kalkül zugelassenen Regeln (herrschender syntaktisch formaler Ableitungsbegriff)[1] oder den Nachweis …   Deutsch Wikipedia

• Generation language — Quelltext eines Programms in der objektorientierten Programmiersprache Ruby. Eine Programmiersprache ist eine Notation für Computerprogramme; sie dient sowohl dazu, diese während und nach ihrer Entwicklung (Programmierung) darzustellen als auch… …   Deutsch Wikipedia

• Greibach-Normalform — Die Greibach Normalform ist ein Begriff der theoretischen Informatik, der im Zusammenhang mit kontextfreien Sprachen von Interesse ist. Sie ist nach der US Informatikerin Sheila A. Greibach benannt und beschreibt eine Normalform der kontextfreien …   Deutsch Wikipedia

• Greibachnormalform — Die Greibach Normalform ist ein Begriff der theoretischen Informatik, der im Zusammenhang mit kontextfreien Sprachen von Interesse ist. Sie ist nach der US Informatikerin Sheila A. Greibach benannt und beschreibt eine Normalform der kontextfreien …   Deutsch Wikipedia