Hermine Reichau - Reichau Hermine: Zur Synthese künstlicher und natürlicher Sp

Hermine Reichau - Reichau Hermine: Zur Synthese künstlicher und natürlicher Sp

50,40 €

There is in my opinion no important theoretical difference between natural languages and the artificial languages of logicians.(Richard Montague,UG) Wie wäre es, wenn wir nicht unsere Maschinen verstehen müssten, sondern wir einen Weg fänden damit sie uns in unserer Sprache verstehen? Montagues Arbeiten zur formalen Semantik von Sprachen legen ein...

Direkt bei Thalia AT bestellen

Produktbeschreibung

There is in my opinion no important theoretical difference between natural languages and the artificial languages of logicians.(Richard Montague,UG) Wie wäre es, wenn wir nicht unsere Maschinen verstehen müssten, sondern wir einen Weg fänden damit sie uns in unserer Sprache verstehen? Montagues Arbeiten zur formalen Semantik von Sprachen legen ein solides, theoretisches Fundament für die Synthese künstliche Programmiersprachen mit den Grundprinzipien unserer menschlichen, natürlichen Sprache. Das Werkzeug für die Zusammenführung von künstlichen und natürlichen Sprachen ist das Lambda-Kalkül, dessen mächtige Ausdruckskraft äquivalent zur Turing-Berechenbarkeit von Church ist. Neben einer allgemeinen Einführung in die Welt der künstlichen und natürlichen Sprachen auf der Basis des Lambda-Kalküls, geht es in dieser Untersuchung um eine spezielle Eigenheit bei der Verwendung von Indefinitpronomen, deren Struktur bei der Verwendung von Programmiersprachen mit gewöhnlichen Lambda-Reduktionsregeln eigentlich auf eine falsche Auswertung führen müssten. Die Semantik der natürlichen Sprache setzt sich hier jedoch über die Semantik der künstlichen Sprache hinweg und repariert sie.
Marke VDM
EAN 9783836471558
ISBN 978-3-8364-7155-8

...

9,20 €

Samuel Hahnemann - Organon der Heilkunst
...

36,00 €

Michael Zeuske - Von Bolívar zu...
...

29,00 €

Walter Dietrich - Die dunklen Seiten...
...

13,00 €

Walther Hinz - Neue Erkenntnisse über...
...

12,90 €

Wolfgang Neuss - Neuss' Zeitalter

Beratungskontakt

contact-lady

Vereinbaren Sie ein kostenloses Erstgespräch. Wir beraten Sie gerne!



Kategorien