# Logic

Sort options

## Probability Theory, Statistics and Exploratory Data Analysis (Coursera)

Jan 31st 2022
Course Auditing
Categories
Effort
Languages
Exploration of Data Science requires certain background in probability and statistics. This course introduces you to the necessary sections of probability theory and statistics, guiding you from the very basics all way up to the level required for jump starting your ascent in Data Science.

## Introduction to Calculus (Coursera)

Jan 31st 2022
Course Auditing
Categories
Effort
Languages
The focus and themes of the Introduction to Calculus course address the most important foundations for applications of mathematics in science, engineering and commerce. The course emphasises the key ideas and historical motivation for calculus, while at the same time striking a balance between theory and application, leading to [...]

## Python Programming Essentials (Coursera)

Jan 31st 2022
Course Auditing
Categories
Effort
Languages
This course will introduce you to the wonderful world of Python programming! We'll learn about the essential elements of programming and how to construct basic Python programs. We will cover expressions, variables, functions, logic, and conditionals, which are foundational concepts in computer programming. We will also teach you [...]

## What is a Proof? (Coursera)

Jan 31st 2022
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 [...]

## Information Theory (Coursera)

Jan 31st 2022
Course Auditing
Categories
Effort
Languages
At the completion of this course, the student should be able to: demonstrate knowledge and understanding of the fundamentals of information theory; appreciate the notion of fundamental limits in communication systems and more generally all systems; develop deeper understanding of communication systems; apply the concepts of information theory to [...]

## VLSI CAD Part I: Logic (Coursera)

Jan 17th 2022
Course Auditing
Categories
Effort
Languages
A modern VLSI chip has a zillion parts -- logic, control, memory, interconnect, etc. How do we design these complex chips? Answer: CAD software tools. Learn how to build thesA modern VLSI chip is a remarkably complex beast: billions of transistors, millions of logic gates deployed [...]

## Logic for Economists (Coursera)

Jan 10th 2022
Course Auditing
Categories
Effort
Languages
This course provides a very brief introduction to basic mathematical concepts like propositional and predicate logic, set theory, the number system, and proof techniques.

## Introduction to Logic (Coursera)

Dec 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, [...]

## Understanding Maths and Logic in Computer Science (FutureLearn)

Nov 1st 2021
Course Auditing
Categories
Effort
Languages
Improve your understanding and ability to teach maths and logic in computing while building elements of an escape room. Become more familiar with maths and logic in computer science. The mathematical aspects of computer science can be difficult to understand and teach. On this course, you will be introduced [...]