What is the Introduction to Logic certification?

This course and certification is an 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.

About David Tonhofer

Engineer in computer science, with more that 20 years of experience in IT, encompassing IT operations (non-Microsoft world), coding and development (from early ANSI C and Scheme to, more recently, Java and Perl), relational databases, and generally getting things done.

David is currently looking at declarative programming, in particular logic programming which has come a long way since its beginning in 1972 and is very under-appreciated. However, at work he handles the usual bread-and-butter IT support and IT security projects.

He has held an ever-changing area of responsibility, mainly in startup companies, and seen IT infrastructure grow from the feeble and discrete elements of the early 90s to the many-headed barely comprehensible user-menacing hydra of today.