# Mathematical Logic

Sort options

## What is a Proof? (Coursera)

Oct 25th 2021
Course Auditing
Categories
Effort
Languages
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 [...]

## Introduction to Mathematical Thinking (Coursera)

Oct 11th 2021
Course Auditing
Categories
Effort
Languages
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 [...]

## Introduction to Logic (Coursera)

Sep 27th 2021
Course Auditing
Categories
Effort
Languages
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, [...]

## Mathematical Logic and Algorithms Theory (iversity)

May 16th 2016
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 [...]

## Mathematical Logic and Theory of Computation (saylor.org)

Legacy Course
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 [...]