Suchergebnisse
Ähnlicher Begriff: formel language logan
Der Artikel „Formal language (logic)“ existiert in der deutschsprachigen Wikipedia nicht. Du kannst den Artikel erstellen (Quelltext-Editor, Anleitung).
Wenn dir die folgenden Suchergebnisse nicht weiterhelfen, wende dich bitte an die Auskunft oder suche nach „Formal language (logic)“ in anderssprachigen Wikipedias.
- Die Web Ontology Language (kurz OWL – zum Akronym OWL statt WOL siehe weiter unten) ist eine Spezifikation des World Wide Web Consortiums (W3C), um Ontologien…9 KB (1.001 Wörter) - 19:44, 26. Feb. 2025
978-3-406-54745-4. Formale Logik in der Philosophie Jon Barwise, John Etchemendy: The Language of First-Order Logic. CSLI Center for the Study of Language and Information…31 KB (3.601 Wörter) - 03:27, 26. Mär. 2025- Frame Logic (abgekürzt F-Logic) ist eine formale Sprache zur Wissensrepräsentation. Sie verbindet die Vorteile der konzeptuellen Modellierung mit denen…4 KB (436 Wörter) - 12:30, 21. Dez. 2023
- RDF-Schema (Weiterleitung von „RDF Vocabulary Description Language“)Reihe weiterer Ontologie-Beschreibungssprachen wie F-Logic, DAML+OIL. Die Web Ontology Language (OWL), der offizielle Nachfolger von DAML+OIL, soll die…7 KB (587 Wörter) - 20:13, 1. Mai 2023
- 7, Teil 1: Language and Logic. Cambridge University Press, Cambridge u. a. 1998. Roy W. Perrett (Hrsg.): Indian Philosophy. Volume 2. Logic and Philosophy…51 KB (5.010 Wörter) - 16:24, 31. Mai 2025
- Logic. Erschienen in der Reihe: Studies in logic and the foundations of mathematics. North Holland, Amsterdam 1985. Eine Darstellung der formalen Sprachen…19 KB (2.718 Wörter) - 12:33, 13. Aug. 2024
- diversen Ontologie-Sprachen. Formale Sprachen zur Beschreibung von Ontologien sind unter anderem das RDF-Schema, DAML+OIL, F-Logic, die vom World Wide Web…22 KB (2.521 Wörter) - 09:17, 22. Mai 2025
Fuzzylogik (Weiterleitung von „Fuzzy logic“)Fuzzylogik (englisch fuzzy ‚verwischt‘, ‚verschwommen‘, ‚unbestimmt‘; fuzzy logic, fuzzy theory ‚unscharfe Logik‘ bzw. ‚unscharfe Theorie‘) oder Unschärfelogik…28 KB (2.821 Wörter) - 09:49, 6. Feb. 2025- Philosophie der Logik (Abschnitt Formal und informal)Notions (philpapers.org). P. D. Magnus: Forall X: An Introduction to Formal Logic. Victoria, BC, Canada: State University of New York Oer Services, 2005…102 KB (11.421 Wörter) - 19:14, 21. Okt. 2023
- Verbindung von Algebra und formalen Sprachen. Joseph E. Stoy: Denotational Semantics. The Scott-Strachey Approach to Programming Language Semantics (The MIT Press…5 KB (555 Wörter) - 21:15, 13. Jun. 2022
Juli 2024). Dort wird der ‹formale Standard seit Frege› gesetzt (“This has been the standard format of formal systems of logic since Frege”). Das Namen…42 KB (4.880 Wörter) - 15:01, 15. Mai 2025
erarbeitete grundlegende Beiträge zu beiden Formalwissenschaften sowie zur formalen Wahrheitstheorie (Konvention T) und war einer der Hauptvertreter der…14 KB (1.603 Wörter) - 22:34, 21. Jun. 2025- 0-937073-32-6. mit John Etchemendy: The language of first order logic (= CSLI Lecture Notes. 23). Center for the Study of Language and Information, Stanford CA 1990…7 KB (844 Wörter) - 09:51, 17. Jun. 2025
- The logic of natural language. Oxford University Press, 1982. Fred Sommers: Predication in the Logic of Terms. In: Notre Dame Journal of Formal Logic. 31…23 KB (2.999 Wörter) - 23:06, 2. Aug. 2021
- Aussagenlogik (Abschnitt Formaler Zugang)Etchemendy: The Language of First Order Logic (= CSLI Lecture Notes. Bd. 23). 2. Auflage, revised and expanded. Center for the Study of Language and Information…64 KB (8.341 Wörter) - 00:20, 6. Apr. 2025
- Hardwarebeschreibungssprache (Weiterleitung von „Hardware Description Language“)Hardwarebeschreibungssprache (englisch Hardware Description Language, HDL) ist eine formale Sprache, mit der Operationen von integrierten Schaltungen und…12 KB (1.289 Wörter) - 12:44, 9. Okt. 2024
Double Algebra (1849), eine geometrische Deutung der komplexen Zahlen und Formal Logic (1847), eine seiner wichtigsten Arbeiten. 1838 verwendete er als erster…10 KB (1.184 Wörter) - 06:46, 6. Apr. 2025- Holland 1973. Language and Information, Reading, Mass., 1964. Aufsätze. Aspects of Language: Essays and Lectures on Philosophy of Language, Linguistic Philosophy…5 KB (511 Wörter) - 08:00, 14. Jan. 2025
- Theory (= Synthese Library. 234). 1994, ISBN 0-7923-2553-2; Band 3: Language, Logic, and Psychology (= Synthese Library. 235). 1994, ISBN 0-7923-2862-0…6 KB (552 Wörter) - 20:46, 5. Jun. 2024
Algorithmus (Abschnitt Formale Definition)Jahrhunderts. George Boole, der in seiner Schrift The Mathematical Analysis of Logic den ersten algebraischen Logikkalkül erschuf, begründete damit die moderne…31 KB (3.488 Wörter) - 08:08, 12. Jun. 2025
- 3-495-47905-8. Formale Logik in der Philosophie • Jon Barwise, John Etchemendy: The Language of First-Order Logic. CSLI Center for the Study of Language and Information
- bekannten Dialogs der platonischen Sammlung. S. 449 C. M. Gillespie: The Logic of Antisthenes. S. 479 Rezensionen. S. 129. 271. 378. 501 Die neuesten Erscheinungen