CS 5303/6303: Logical Foundations of Computer Science

Spring 2016

  • Instructor: Vladik Kreinovich, email vladik@utep.edu, office phone (915) 747-6951
  • Time: 3:00-4:20 pm, Mondays and Wednesdays, CCSB 1.0204
  • Details: Syllabus

Faculty office hours

  • Mondays 11:30-12, 4:30-6, Wednesdays 11-12, 4:30-5:30, or by appointment.

Homeworks and programming assignments

Quizzes

Department of Computer Science | The University of Texas at El Paso