Jan van Eijck is a Senior Researcher at the Centre for Mathematics and Computer Science in Amsterdam, and Professor of Computational Linguistics at the Research Institute for Language and Speech, Utrecht University.
Inhaltsangabe
1. Formal study of natural language 2. Lambda calculus, types and functional programming 3. Functional programming with Haskell 4. Formal syntax for fragments 5. Formal semantics for fragments 6. Model checking with predicate logic 7. The composition of meaning in natural language 8. Extension and intension 9. Parsing 10. Handling relations and scoping 11. Continuation passing style semantics 12. Discourse representation and context 13. Communication as informative action.
1. Formal study of natural language; 2. Lambda calculus, types and functional programming; 3. Functional programming with Haskell; 4. Formal syntax for fragments; 5. Formal semantics for fragments; 6. Model checking with predicate logic; 7. The composition of meaning in natural language; 8. Extension and intension; 9. Parsing; 10. Handling relations and scoping; 11. Continuation passing style semantics; 12. Discourse representation and context; 13. Communication as informative action.
1. Formal study of natural language 2. Lambda calculus, types and functional programming 3. Functional programming with Haskell 4. Formal syntax for fragments 5. Formal semantics for fragments 6. Model checking with predicate logic 7. The composition of meaning in natural language 8. Extension and intension 9. Parsing 10. Handling relations and scoping 11. Continuation passing style semantics 12. Discourse representation and context 13. Communication as informative action.
1. Formal study of natural language; 2. Lambda calculus, types and functional programming; 3. Functional programming with Haskell; 4. Formal syntax for fragments; 5. Formal semantics for fragments; 6. Model checking with predicate logic; 7. The composition of meaning in natural language; 8. Extension and intension; 9. Parsing; 10. Handling relations and scoping; 11. Continuation passing style semantics; 12. Discourse representation and context; 13. Communication as informative action.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309