The course aims to familiarize the student with linguistics as an integral part of Artificial Intelligence to include generative grammer syntax, semantics in light of current linguistic literature, along with various practical models for parsing and generating. Special Hebrew-related issues aredealt with, being the main source for examples and the processing language.
Students participate in a comprehensive computing project, mainly related to the Hebrew language.
Propositional logic and predicate logic, axioms and completeness, distinction between semantics and syntax, normal forms, Herbrand universe, compactness and applications such as non-standard models, definability theory, preservation theorems. In this course, the student will gain experience in the logical design of various computation structures, their simulation and their formal verification. He will make extensive use of advanced CAD-tools to perform the above tasks. Operations on languages, decision problems, time and tape bounded Turing machines, complexity hierarchies of languages, time and space bounds for recognizing families of languages, complexity of problems in formal languages. The course presents and analyzes advanced data structures.