Student Summer Position

Employer
UBC Department of Philosophy
Job Year Level
Third year
Fourth year
Masters
Job Type
Summer

There is a component of my UBCV PHIL220 symbolic logic course that is missing computer software to help students learn to construct what are called resolution refutation proofs. Doing this project requires both learning how resolution refutation... More