Formali Semantik
Die formali Semantik beschäftigt sich mit dr exakte Bedütig vo künstlige oder natürlige Sprooche. Dr Underschiid zur Semantik im allgemäine Sinn, wie si vor allem in dr Filosofii und dr Linguistik bedriibe wird, isch, ass die formali Semantik mit räin formale, logisch-mathematische Methode schafft.
Formali Semantik wird in dr Logik, in dr Informatik und in dr Linguistik bedriibe. Wil exakti Bedütigstheorie für die drei Diszipline seer wichdig si und wil sich iiri Schwerpünkt und Ziil – zum Däil au wäge de underschidlige Methode – underschäide, het jedi vo dene Wüsseschafte hüte en äignigs Däilgebiet, wo als formali Semantik bezäichnet wird. Die formali Semantik us dr Logik, dr Informatik und dr Linguistik si aber in e Hufe Hiisichte mitenander verflochte und grift hüfig ufenander bzw. uf d Resultat vo de andere Diszipline zrugg.
Die modärni formali Semantik het iiren Ursprung in Aarbede vom Alfred Tarski, Richard Montague, Alonzo Church und andere.
Litratuur
[ändere | Quälltäxt bearbeite]Linguistik
[ändere | Quälltäxt bearbeite]- Johannes Heinrichs: Sprache, Bd. 2: Die Bedeutungsdimension (Semantik) (Philosophische Semiotik; Bd. 2). Edition Steno, Münche 2008. ISBN 978-954-449-351-6.
- Irene Heim und Angelika Kratzer: Semantics in Generative Grammar (Blackwells Textbooks in Linguistics; Bd. 13). Blackwell, Oxford 1998, ISBN 0-631-19713-3.
- Horst Lohnstein: Formale Semantik und natürliche Sprache. Einführendes Lehrbuch. Westdeutscher Verlag, Oplade 1996. ISBN 3-531-12818-3.
- Monika Schwarz, Jeanette Chur: Einführung, Site 115–191. In: Diess.: Semantik. Ein Arbeitsbuch (Narr-Studienbücher). 5. Ufl. Gunter Narr, Tübinge 2007. ISBN 978-3-8233-6296-8.
Informatik
[ändere | Quälltäxt bearbeite]- Joseph E. Stoy: Denotational Semantics. The Scott-Strachey Approach to Programming Language Semantics (The MIT Press Series in Computer Sciences; Bd. 1). 5. Ufl. MIT Press, Cambridge, Mass. 1989, ISBN 0-87630-751-9 (EA Cambridge 1977).
- Jan van Leeuwen (Hrsg.): Handbook of Theoretical Computer Science, Bd. B: Formal models and semantics. Elsevier MIT Press, Cambridge, Mass. 1990, ISBN 0-262-22039-3.
- Michael Main (Hrsg.): Mathematical Foundations of Programming Language Semantics (Lecture Notes in Computer Science; Bd. 298). Springer, Berlin 1988, ISBN 3-540-19020-1.
- Austin Melton (Hrsg.): Mathematical Foundations of Programming Semantics (Lecture Notes in Computer Science; Bd. 239). Springer, Berlin 1986, ISBN 3-540-16816-8.
- Manfred Droste, Yuri Gurevich (Hrsg.): Semantics of Programming Languages and Model Theory (Algebra, Logic, and Application; Bd. 5). CRC Press, Langhorne, Pa. 1993, ISBN 2-88124-935-3.
Weblingg
[ändere | Quälltäxt bearbeite]- "Denotational Semantics" L. Allison, Faculty of Information Technology (Clayton), Monash University, Australia, 1996, 1997, 2001
- "Structure of Programming Languages I: Denotational Semantics" Wolfgang Schreiner, RISC: Research Institute for Symbolic Computation institute of the Johannes Kepler University Linz, Austria, 1995
Dä Artikel basiert uff ere fräie Übersetzig vum Artikel „Formale_Semantik“ vu de dütsche Wikipedia. E Liste vu de Autore un Versione isch do z finde. |