MATH 3155 MATHEMATICAL LOGIC

A survey of classical and computationsl logic. The proposi- tional calculus. Introduction to programming in logic. Fundamentals of neural networks. Approved: 4/l9/93 PREREQ: MATH 3110