Suchergebnisse
Zur Navigation springen
Zur Suche springen
Übereinstimmungen mit Seitentiteln
- …eoretischen [[Informatik]] eine von mehreren Möglichkeiten, eine [[formale Semantik]] für eine [[formale Sprache]] zu definieren. Die formale Sprache dient hie …as Endergebnis für eine Menge von Ausgabevariablen mit der denotationellen Semantik berechnen. Es sind auch allgemeinere Korrektheitsbeweise möglich. …9 KB (1.469 Wörter) - 20:29, 24. Aug. 2019
- …. in der [[Analytische Philosophie|analytischen]] [[Sprachphilosophie]], [[Semantik]], [[Philosophie des Geistes]], [[Neurophilosophie]] und anwendenden Diszip …twa [[Ned Block]] und [[Robert Brandom]]. Als Vertreter der inferentiellen Semantik grenzt Brandom sich von repräsentationalistischen Positionen ab, die er bei …11 KB (1.478 Wörter) - 12:31, 23. Jan. 2024
Übereinstimmungen mit Inhalten
- …lässt. Sie stellt damit einen typischen Anwendungsfall für eine [[formale Semantik]] in der [[theoretische Informatik|theoretischen Informatik]] dar und wird …es in einzelne Arbeitsschritte umgesetzt wird, ist Teil der operationellen Semantik. Die Eingabecodierung legt fest, auf welche Weise die Maschine von außen Da …3 KB (356 Wörter) - 09:06, 4. Dez. 2024
- …eoretischen [[Informatik]] eine von mehreren Möglichkeiten, eine [[formale Semantik]] für eine [[formale Sprache]] zu definieren. Die formale Sprache dient hie …as Endergebnis für eine Menge von Ausgabevariablen mit der denotationellen Semantik berechnen. Es sind auch allgemeinere Korrektheitsbeweise möglich. …9 KB (1.469 Wörter) - 20:29, 24. Aug. 2019
- [[Kategorie:Semantik (Philosophie)]] …1.009 Bytes (134 Wörter) - 19:30, 1. Nov. 2022
- …n. Die [[Semantik (Logik)|Semantik]] einer so gebildeten Formel ähnelt der Semantik [[Prädikatenlogik|prädikatenlogischer Formeln]]. === Semantik === …7 KB (1.097 Wörter) - 14:52, 28. Dez. 2024
- …(Logik)|korrekt]] zu sein. Adäquatheit ist eine Beziehung zwischen einem [[Semantik|semantisch]] definierten Folgerungsoperator <math>\models</math> und einem …1 KB (136 Wörter) - 11:31, 13. Aug. 2020
- …steme oder [[Kalkül]]e und betrifft den Zusammenhang zwischen Syntax und [[Semantik]], der umgangssprachlich lautet: Was formal ableitbar ist, ist auch wahr,… …igma \vdash \Psi</math> stets <math>\Sigma \models \Psi </math> folgt. Die Semantik des Schließens wird modelltheoretisch definiert: <math>\Sigma \models \Psi …3 KB (392 Wörter) - 20:54, 24. Apr. 2024
- …], speziell von Entscheidungsproblemen in Algebra und Logik, mit Logik und Semantik von Programmiersprachen und Computersicherheit. …onier in probabilistischer Semantik und befasste sich mit maßtheoretischer Semantik für probabilistische Programme und arbeitete über Kleene-Algebren. …4 KB (483 Wörter) - 15:03, 5. Nov. 2017
- …k''' (engl. ''event semantics'') ist eine Theorie innerhalb der formalen [[Semantik]] für natürliche Sprachen, die auf einen Artikel von [[Donald Davidson]] üb [[Kategorie:Semantik]] …3 KB (396 Wörter) - 16:04, 31. Mai 2023
- …genlogik|Aussagen-]] und [[Prädikatenlogik erster Stufe]] mit der [[Tarski-Semantik]] auf der einen Seite und den üblichen Kalkülen auf der anderen Seite, sind In der [[Semantik (Logik)#Semantik in der Theoretischen Informatik|theoretischen Informatik]] ist die Menge <m …7 KB (1.050 Wörter) - 23:20, 26. Okt. 2022
- …<ref>Copi, Einführung in die Logik (1998), S. 172; Wunderlich, Arbeitsbuch Semantik, 2. Aufl. (1991), S. 345</ref>. …1 KB (169 Wörter) - 16:54, 9. Mär. 2025
- == Semantik == …uf einem Pfad erfüllt, wenn sie auf Position 0 des Pfades erfüllt ist. Die Semantik der modalen Operatoren ist wie folgt. …8 KB (1.170 Wörter) - 17:55, 10. Mai 2023
- …mmiersprachen spielen Fixpunkte eine zentrale Rolle, da beispielsweise die Semantik einer Schleife mittels einer speziellen Fixpunktbildung erklärt werden kann …3 KB (458 Wörter) - 18:57, 28. Jun. 2023
- …. in der [[Analytische Philosophie|analytischen]] [[Sprachphilosophie]], [[Semantik]], [[Philosophie des Geistes]], [[Neurophilosophie]] und anwendenden Diszip …twa [[Ned Block]] und [[Robert Brandom]]. Als Vertreter der inferentiellen Semantik grenzt Brandom sich von repräsentationalistischen Positionen ab, die er bei …11 KB (1.478 Wörter) - 12:31, 23. Jan. 2024
- == Semantik == …6 KB (871 Wörter) - 19:27, 29. Nov. 2020
- …Prädikatenlogik|Semantik der Prädikatenlogik]] erklärt wird. Die [[formale Semantik]] ist Gegenstand der auf [[Alfred Tarski]] zurückgehenden [[Modelltheorie]] …8 KB (1.180 Wörter) - 19:11, 20. Dez. 2024
- == Eine formale Semantik für Kontrafaktuale == …|David Lewis]] (nach Vorarbeiten von [[Robert Stalnaker]]) entwickelt. Die Semantik macht Gebrauch von dem Begriff der „[[Mögliche Welt|möglichen Welt]]“, Wir …8 KB (1.228 Wörter) - 23:33, 13. Aug. 2024
- …etzmäßigkeiten zu repräsentieren. OpenMath kann dazu verwendet werden, die Semantik von Formeln zu beschreiben, deren Präsentation in [[Mathematical Markup Lan …zu haben, und bereits etablierten Mechanismen zur Kodierung mathematischer Semantik unterlegen zu sein, neben weiteren Kritikpunkten.<ref>Richard J. Fateman [h …7 KB (853 Wörter) - 21:23, 2. Jan. 2025
- ==== Semantik ==== ==== Semantik ==== …11 KB (1.569 Wörter) - 20:34, 9. Sep. 2024
- …-semantik-2-4sw.pdf#page=2 | titel=Nebenläufige Programmierung: Praxis und Semantik | datum=2011 | zugriff=2018-10-08}}</ref> als Nachfolger des Calculus of Co …1/TIDS/folien/15-semantik-2-4sw.pdf Nebenläufige Programmierung:Praxis und Semantik] …5 KB (762 Wörter) - 09:44, 11. Apr. 2022
- …it von Dokumenten oder Begriffen nach Art ihres Inhaltes ([[Bedeutung]], [[Semantik]]) beschreibt. Veranschaulichen kann man semantische Nähe mit Hilfe von „La …2 KB (328 Wörter) - 05:43, 14. Dez. 2023