This course covers the concept of natural language modeling and processing using formal method. Syntactic and semantic decomposition besides approaches in knowledge and thinking representations are also discussed, including using the latest method, word(This course covers the concept of natural language modeling and processing using formal method. Syntactic and semantic decomposition besides approaches in knowledge and thinking representations are also discussed, including using the latest method, word)