Coursera

Introduction to Logic (Coursera)

Offered by Stanford University,

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, business, law, and so forth.

Class Deals by MOOC List - Click here and see Coursera's Active Discounts, Deals, and Promo Codes.

Syllabus

WEEK 1: Introduction
WEEK 2: Propositional Logic
WEEK 3: Relational Logic
WEEK 4: Functional Logic
WEEK 5: Conclusion

Go to Class

MOOC List is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

Related Courses

Coursera

University of Illinois at Urbana-Champaign

Creativity Toolkit I: Changing Perspectives (Coursera)

Management & Leadership Business

Thinking and doing the same things faster and better is not enough; we need creativity. Fortunately, creativity is a skill you can learn. This course will examine when, why, and how we can be creative. It examines the cues that trigger us to consider being creative. It provides a road map of the creative process – the process of changing our perspectives – and the kinds of outcomes that result from creativity.

Jun 17th 2026

4 Weeks

Creative Productivity Creativity

Coursera

Duke University

Programming Fundamentals (Coursera)

CS: Theory CS: Programming

Programming is an increasingly important skill, whether you aspire to a career in software development, or in other fields. This course is the first in the specialization Introduction to Programming in C, but its lessons extend to any language you might want to learn. This is because programming is fundamentally about figuring out how to solve a class of problems and writing the algorithm, a clear set of steps to solve any problem in its class.

Jun 15th 2026

4 Weeks

Programming Algorithms C Language

Coursera

Johns Hopkins University

Precalculus: Periodic Functions (Coursera)

Sci: Mathematics

This course helps to build the foundational material to use mathematics as a tool to model, understand, and interpret the world around us. This is done through studying functions, their properties, and applications to data analysis. Concepts of precalculus provide the set of tools for the beginning student to begin their scientific career, preparing them for future science and calculus courses. This course is designed for all students, not just those interested in further mathematics courses.

Jun 15th 2026

5-12 Weeks

Math Trigonometry Data Analysis

Coursera

Princeton University

Analytic Combinatorics (Coursera)

CS: Theory Sci: Mathematics

Analytic Combinatorics teaches a calculus that enables precise quantitative predictions of large combinatorial structures. This course introduces the symbolic method to derive functional relations among ordinary, exponential, and multivariate generating functions, and methods in complex analysis for deriving accurate asymptotics from the GF equations. All the features of this course are available for free. It does not offer a certificate upon completion.

Jun 15th 2026

5-12 Weeks

Math Calculus Analytic Combinatorics

Coursera

University of California, San Diego

Mastering the Software Engineering Interview (Coursera)

CS: Software Engineering

You’ve hit a major milestone as a computer scientist and are becoming a capable programmer. You now know how to solve problems, write algorithms, and analyze solutions; and you have a wealth of tools (like data structures) at your disposal. You may now be ready for an internship or (possibly) an entry-level software engineering job. But can you land the internship/job? It depends in part on how well you can solve new technical problems and communicate during interviews. How can you get better at this? Practice!

Jun 15th 2026

4 Weeks

Algorithms Object-Oriented Software Engineering

Coursera

University of London,Goldsmiths, University of London

Mathematics for Computer Science (Coursera)

Sci: Mathematics

Welcome to Introduction to Numerical Mathematics. This is designed to give you part of the mathematical foundations needed to work in computer science in any of its strands, from business to visual digital arts, music, games.

Jun 15th 2026

5-12 Weeks

Math Computer Science Kinematics

Coursera

LearnQuest

Artificial Intelligence Ethics in Action (Coursera)

Statistics & Data Analysis Data Science

AI Ethics research is an emerging field, and to prove our skills, we need to demonstrate our critical thinking and analytical ability.

Jun 15th 2026

3 Weeks

Analysis Artificial Intelligence Ethics

Coursera

Johns Hopkins University

Calculus through Data & Modeling: Limits & Derivatives (Coursera)

Sci: Mathematics

This first course on concepts of single variable calculus will introduce the notions of limits of a function to define the derivative of a function. In mathematics, the derivative measures the sensitivity to change of the function. For example, the derivative of the position of a moving object with respect to time is the object's velocity: this measures how quickly the position of the object changes when time advances. This fundamental notion will be applied through the modelling and analysis of data.

Jun 15th 2026

5-12 Weeks

Math Calculus Mathematics

Coursera

University of Colorado Boulder

Everyday Excel, Part 1 (Coursera)

CS: Information & Technology

"Everyday Excel, Part 1" is aimed at learners who are seeking to learn Excel from the ground up. No experience with Excel is necessary. While this course is meant for beginners of Excel, advanced users will undoubtedly pick up new skills and tools.

Jun 15th 2026

5-12 Weeks

Software Spreadsheets Excel

Coursera

École Polytechnique

Initiation à la théorie des distributions (Coursera)

Sci: Mathematics

Une fonction discontinue peut-elle être solution d'une équation différentielle? Comment définir rigoureusement la masse de Dirac (une "fonction" d'intégrale un, nulle partout sauf en un point) et ses dérivées? Peut-on définir une notion de "dérivée d'ordre fractionnaire"? Cette initiation aux distributions répond à ces questions - et à bien d'autres.

Jun 15th 2026

5-12 Weeks

Math Differential Equations Distribution

Coursera

Duke University

Java Programming: Solving Problems with Software (Coursera)

CS: Software Engineering CS: Programming

Learn to code in Java and improve your programming and problem-solving skills. You will learn to design algorithms as well as develop and debug programs. Using custom open-source classes, you will write programs that access and transform images, websites, and other types of data. At the end of the course you will build a program that determines the popularity of different baby names in the US over time by analyzing comma separated value (CSV) files.

Jun 15th 2026

4 Weeks

Programming Java Algorithms

Coursera

University of California, San Diego,Higher School of Economics - HSE University

What is a Proof? (Coursera)

CS: Software Engineering CS: Theory

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 like: How can we be certain a solution exists? Am I sure my program computes the optimal answer? Do each of these objects meet the given requirements?

Jun 15th 2026

5-12 Weeks

Math Programming Algorithms