Coursera

Introduction to Logic (Coursera)

Offered by Stanford University,
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, 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

Problem Solving, Python Programming, and Video Games (Coursera) Coursera
University of Alberta

Problem Solving, Python Programming, and Video Games (Coursera)

CS: Programming

This course is an introduction to computer science and programming in Python. Important computer science concepts such as problem solving (computational thinking), problem decomposition, algorithms, abstraction, and software quality are emphasized throughout. The Python programming language and video games are used to demonstrate computer science concepts in a concrete and fun manner. However, a learner can take the knowledge and skills from this course and apply them to non-game problems, other programming languages, and other computer science courses.

Sep 21st 2026
5-12 Weeks
Programming Python Algorithms
Details
Basic Modeling for Discrete Optimization (Coursera) Coursera
University of Melbourne,The Chinese University of Hong Kong

Basic Modeling for Discrete Optimization (Coursera)

CS: Software Engineering

Optimization is a common form of decision making, and is ubiquitous in our society. Its applications range from solving Sudoku puzzles to arranging seating in a wedding banquet. The same technology can schedule planes and their crews, coordinate the production of steel, and organize the transportation of iron ore from the mines to the ports. Good decisions in manpower and material resources management also allow corporations to improve profit by millions of dollars.

Sep 14th 2026
4 Weeks
Programming Software Discrete Optimization
Details
Problem Solving Using Computational Thinking (Coursera) Coursera
University of Michigan

Problem Solving Using Computational Thinking (Coursera)

CS: Theory Computer Science

Have you ever heard that computers "think"? Believe it or not, computers really do not think. Instead, they do exactly what we tell them to do. Programming is, "telling the computer what to do and how to do it." Before you can think about programming a computer, you need to work out exactly what it is you want to tell the computer to do. Thinking through problems this way is Computational Thinking. Computational Thinking allows us to take complex problems, understand what the problem is, and develop solutions. We can present these solutions in a way that both computers and people can understand.

Sep 14th 2026
5-12 Weeks
Programming Algorithms Computational Thinking
Details
Matrix Methods (Coursera) Coursera
University of Minnesota

Matrix Methods (Coursera)

Sci: Mathematics

Mathematical Matrix Methods lie at the root of most methods of machine learning and data analysis of tabular data. Learn the basics of Matrix Methods, including matrix-matrix multiplication, solving linear equations, orthogonality, and best least squares approximation. Discover the Singular Value Decomposition that plays a fundamental role in dimensionality reduction, Principal Component Analysis, and noise reduction.

Sep 14th 2026
5-12 Weeks
Math Machine Learning Matrix
Details
Using Public Policy for Social Change (Coursera) Coursera
University of Michigan

Using Public Policy for Social Change (Coursera)

Social Sciences

Using Public Policy for Social Change provides a comprehensive introduction to public policy and its role in addressing societal challenges, with a focus on social inequalities. You’ll explore various areas of policy work, including social welfare, public health, the environment, education, and criminal justice. Learn the fundamentals of public policy design and analysis, and how policymaking functions across all levels of government in democracies worldwide.

Sep 14th 2026
4 Weeks
Social Change Public Policy Problem Solving
Details
Analysis and Interpretation of Large-Scale Programs (Coursera) Coursera
Johns Hopkins University

Analysis and Interpretation of Large-Scale Programs (Coursera)

Health & Society

This course is for implementers, managers, funders, and evaluators of health programs targeting women and children in low- and middle-income countries as well as undergraduate and graduate students in health-related fields. Course participants will learn how to 1) transform quantitative components of an evaluation measurement plan into a sound analysis plan to address the evaluation questions, 2) conduct quantitative analyses of primary or secondary surveys or other available data, 3) interpret the meaning of the analysis results and their implications, and 4) disseminate the evaluation findings to program implementers, local and global stakeholders.

Sep 21st 2026
5-12 Weeks
Analysis Data Analysis Evaluation
Details
Big Data Science with the BD2K-LINCS Data Coordination and Integration Center (Coursera) Coursera
Icahn School of Medicine at Mount Sinai

Big Data Science with the BD2K-LINCS Data Coordination and Integration Center (Coursera)

Health & Society Science

In this course we briefly introduce the DCIC and the various Centers that collect data for LINCS. We then cover metadata and how metadata is linked to ontologies. We then present data processing and normalization methods to clean and harmonize LINCS data. This follow discussions about how data is served as RESTful APIs. Most importantly, the course covers computational methods including: data clustering, gene-set enrichment analysis, interactive data visualization, and supervised learning. Finally, we introduce crowdsourcing/citizen-science projects where students can work together in teams to extract expression signatures from public databases and then query such collections of signatures against LINCS data for predicting small molecules as potential therapeutics.

Sep 21st 2026
5-12 Weeks
Network Analysis Big Data
Details
Contenido de las matemáticas de primaria (Coursera) Coursera
Universidad de los Andes

Contenido de las matemáticas de primaria (Coursera)

Sci: Mathematics

En este curso de acceso gratuito*, conocerás algunos temas de las matemáticas escolares con la profundidad necesaria para que puedas ayudar a tus estudiantes a aprenderlas. En este curso, podrás conocer las matemáticas desde cuatro perspectivas: su historia, los conceptos y procedimientos que las caracterizan, las distintas formas en que se hacen presentes (p. ej., tablas, gráficas o expresiones simbólicas), y los fenómenos y situaciones que les dan sentido.

Sep 14th 2026
5-12 Weeks
Math Geometry Arithmetic
Details
Álgebra Básica (Coursera) Coursera
Universidad Nacional Autónoma de México

Álgebra Básica (Coursera)

Sci: Mathematics

Galileo dijo: "El Universo está escrito en lenguaje matemático y los caracteres son triángulos, círculos y otras figuras geométricas, sin las que es humanamente imposible entender una sola palabra". Para entender el Universo, es necesario plantear leyes que expliquen su comportamiento, como pueden ser las leyes de la gravedad, la propagación del calor, el electromagnetismo, la reproducción celular, el crecimiento poblacional, la propagación de las enfermedades, la variación de los precios de las acciones en la bolsa de valores, el comportamiento de las masas ante un conflicto, etcétera.

Sep 21st 2026
5-12 Weeks
Math Algebra Mathematics
Details