Now that I’m done working with computers, I can finally do what I want. Go back to school for courses on computers!
I basically predated CompSci courses. In 1974, there wasn’t any such thing as a Computer Science department in most places, so degrees were in Business or Mathematics – mine was in Business, and was eminently practical – but I like theory.
And so we begin. Coursera is offering Stanford’s Computational Logic:
CS 157 is a rigorous introduction to Logic from a computational perspective. It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications – in mathematics, science, engineering, business, law, and so forth. Topics include the syntax and semantics of Propositional Logic, Relational Logic, and Herbrand Logic, validity, contingency, unsatisfiability, logical equivalence, entailment, consistency, natural deduction (Fitch), mathematical induction, resolution, compactness, soundness, completeness.
Sounds like fun!
This’ll be the nerdiest work you’ve done in years! Keep us posted. Sounds interesting.