Credit Weight: 0.5 Description: An introduction to formal logic from the categorical logic of Aristotle to the first order predicate calculus with emphasis on the problems in translating natural language expressions into symbolic form. Offering: 3-0; or 3-0
Credit Weight: 0.5 Description: An introduction to formal logic from the categorical logic of Aristotle to the first order predicate calculus with emphasis on the problems in translating natural language expressions into symbolic form. Offering: 3-0; or 3-0