These courses provide a comprehensive introduction to the main areas of mathematical logic. In particular, Phil 144 provides an introduction to proof theory and recursion theory, while Phil …

Explore advanced mathematical concepts in fun and interesting ways and build a strong foundation for high school, computer science, and college-level logic coursework in this …

In this course, you will study the transformation of mathematics by the ancient Greeks, discover the fundamentals of logic and deductive reasoning, examine the central proofs of Euclid, learn …

Transform you career with Coursera's online Logic courses. Enroll for free, earn a certificate, and build job-ready skills on your schedule. Join today!

Lecture 1: Introduction to Digital Logic Design CSE 140: Components and Design Techniques for Digital Systems Winter 2016 CK Cheng Dept. of Computer Science and Engineering …

Research on the foundations of logic, the development of innovative educational materials and technology, and the use of these innovations in online classes and traditional courses.

Learn Mathematical logic, earn certificates with paid and free online courses from Stanford, MIT, UC San Diego, IIT Kharagpur and other top universities around the world. Read reviews to …

Logic is used in math and science to test hypotheses, solve problems, prove theorems, and draw conclusions from observations. Two key forms of logical reasoning are deductive and inductive.

Providing an advanced introduction to formal logic and mathematical proof, but designed for the most talented secondary school students, it is the envy of university mathematics courses …

This course 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 …