re: #139 klys

discrete mathematics

when i took that it involved predicate logic and suchlike, very useful for programming. especially good to remember demorgan’s law!

but as for doing the proofs - hey, we’re engineers, just give us the cookbook!