Santa Clara University

Courses in Computer Engineering

Graduate Schedule of Classes

The following information is taken directly from the course availability system, and is usually more accurate than the printed copy of the schedule. If no results are shown then the schedule has not yet been posted or the system is down. Students can also use eCampus to search for classes.

Fall 2013: Graduate Engineering, School of Engineering
Subject Computer Engineering
Course COEN 260
Title Trth Ddctn & Cmptn
Units (min/max) 4.00/4.00
Description Introduction to mathematical logic and semantics of languages for the computer scientist. Investigation of the relationship among what is true, what can be proved, and what can be computed in the formal systems of propositional logic, predicate calculus, elementary number theory and the lambda calculus.
Course descriptions can also be found in the School of Engineering Bulletin, or on the Computer Engineering Web site.
Term Class Instructor(s) Meeting Days Meeting Times Location
Fall 2013 93022 Patryshev,Vladimir TR
07:10 AM-09:00 AM

Return to the class schedule list.

Printer-friendly format