Course Synopsis

This course introduces basic logic concepts and techniques in constructing and evaluating arguments including forming a standard argument, differentiating validity of argument, applying rules to prove validity of arguments. In addition, it also exposes students to fundamentals of artificial intelligence, including search strategies, games, knowledge representation and reasoning, and trends in artificial intelligence .