@lcamtuf Going to try to remember just what was covered in the course vs. things I might have encountered later, but it was quite a while ago (2011). By my recollection, at least: - Epistemology (remember justified true belief coming up) - Consequentialist and deontological ethics - Propositional logic I was originally an ECE major that later switched to CS, and it always stuck out to me that my philosophy/ECE/CS courses all taught formal logic but in slightly different ways