The Fine Print: The following comments are owned by whoever posted them. We are not responsible for them in any way.
(Score: 0) by Anonymous Coward on Saturday January 20 2018, @02:28AM
by Anonymous Coward
on Saturday January 20 2018, @02:28AM (#625008)
Definitely one of my favorite classes way back in Uni. I was a microbiology major, but I took the comp-sci version not the philosophy version, and we wrote proofs in a programming language called MIZAR on an then-already-ancient MTS mainframe.
The weird thing is that they wait until 1st or 2nd year University to teach this stuff. I've met so many otherwise intelligent and educated people with no grasp of simple logic. It is so incredibly useful in "real life" that they really should be starting in 1st grade.
(Score: 0) by Anonymous Coward on Saturday January 20 2018, @02:28AM
Definitely one of my favorite classes way back in Uni. I was a microbiology major, but I took the comp-sci version not the philosophy version, and we wrote proofs in a programming language called MIZAR on an then-already-ancient MTS mainframe.
The weird thing is that they wait until 1st or 2nd year University to teach this stuff. I've met so many otherwise intelligent and educated people with no grasp of simple logic. It is so incredibly useful in "real life" that they really should be starting in 1st grade.