Mathematical Logic

Sort options

What is a Proof? (Coursera)

Mathematical thinking is crucial in all areas of computer science: algorithms, bioinformatics, computer graphics, data science, machine learning, etc. In this course, we will learn the most important tools used in discrete mathematics: induction, recursion, logic, invariants, examples, optimality. We will use these tools to answer typical programming questions [...]
8
Average: 8 ( 3 votes )

Introduction to Mathematical Thinking (Coursera)

Learn how to think the way mathematicians do - a powerful cognitive process developed over thousands of years. Mathematical thinking is not the same as doing mathematics – at least not as mathematics is typically presented in our school system. School math typically focuses on learning procedures to solve [...]
7
Average: 7 ( 3 votes )

Introduction to Logic (Coursera)

This course 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, [...]
6
Average: 6 ( 3 votes )

Mathematical Logic and Algorithms Theory (iversity)

May 16th 2016
Mathematical Logic and Algorithms Theory (iversity)
Free Course
Categories
Effort
Languages
This is an illustrated basic course in mathematical logic. We invite everyone who wants to be creative in mathematics and programming. Enrol now and get started! We present a course developed by the team of Tomsk State University of Control Systems and Radioelectronics. This course offers basic knowledge [...]
0
No votes yet

Mathematical Logic and Theory of Computation (saylor.org)

Legacy Course
Mathematical Logic and Theory of Computation (saylor.org)
Free Course
Categories
Effort
Languages
Mathematics is about structure, about reasoning, and about modeling. This course braids these three threads together. Mathematical logic began as the study of the reasoning used in mathematics, but it turns out to be useful in describing the mathematical concept of structure and in modeling automated reasoning—that [...]
0
No votes yet