Logic and Programming - 20016

Logical equivalence, propositional expressions and clear reasoning are cornerstones of learning to write computer programs or software. Further grounding in logical reasoning will help students in computer science to see a theoretical side of programming and the philosophical side of writing collections of statements in languages that make machines perform logical instructions. Philosophy students will benefit by focusing on the use and application of logic in the writing of computer programs and will come to see, firsthand, the point of logical precision.