FORMAL FOUNDATIONS OF LINGUISTIC THEORY

Catalog description

Study of the logical and mathematical foundations needed to formulate linguistic theory and formally describe properties of languages. Introduction to formal tools and basic concepts of set theory, relations and functions; infinites; propositional calculus and predicate logic; Model Theory; algebras, lattices, and automata. Application of formal methods to the analysis of the syntax and semantics of quantifiers, natural and formal languages, and types of grammars.