Teaching formal methods for computational linguistics at uppsala university

In the first sections of this paper, I discuss some of the motivation for teaching Formal Methods for interdisciplinary programs, such as Computational Linguistics, that use computational apparatus. In the second section, I share my experience by teaching such courses in the program for Computational Linguistics and Language Technology at Uppsala University. In the last section, I will present existing gaps in education on Formal Methods in interdisciplinary and science subjects.

[1]  Ann Copestake,et al.  Implementing typed feature structure grammars , 2001, CSLI lecture notes series.

[2]  Lauri Karttunen,et al.  Finite State Morphology , 2003, CSLI Studies in Computational Linguistics.

[3]  Gerald Penn,et al.  Book Review , 2003, Computational Linguistics.

[4]  Dave Barker-Plummer,et al.  Language, Proof and Logic , 1999 .

[5]  Anders Søgaard,et al.  Patrick Blackburn and Johan Bos, Representation and Inference for Natural Language , 2007, Stud Logica.

[6]  Richard Montague,et al.  ENGLISH AS A FORMAL LANGUAGE , 1975 .

[7]  Ivan A. Sag,et al.  Syntactic Theory: A Formal Introduction , 1999, Computational Linguistics.