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

• Homeworks and programming assignments.

• Test 1
• Test 2
• Final Exam

Quizzes

• 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