### 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.

### Quizzes

### Resources

- 2012 CS 5303 class Web page
- Wikipedia article on propositional calculus
- An article on propositional logic in Internet Encyclopedia of Philosophy
- Wikipedia article on functional completeness
- Wikipedia article on natural deduction
- Wikipedia article on resolution method
- An Introduction to Formal Logic, a free online textbook
- An article on logic and program synthesis
- Wikipedia article on first order logic
- Prolog compiler
- Wikipedia article on modal logic
- An article on modal logic from Stanford Encyclopedia on Philosophy
- An article on the use of modal logic in computations under uncertainty
- Wikipedia article on temporal logic
- An article on the use of logic in program verification
- Chapters on fuzzy logic
- First article about constructive mathematics
- Second article about constructive mathematics

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