PHL 218 - Logic and Computing (4)

Introduction to formal techniques for analyzing and evaluating natural language arguments. Background for historical development of the use of logic in computing. Course fulfills GE Sub-area B4.

Component(s): 4 hours lecture/discussion.