Mathematical logic Courses and Certifications

Logic for Economists

281 ratings at Coursera

Explore foundational mathematical concepts including logic, set theory, and proof techniques, enhancing analytical skills for economic reasoning and problem-solving.

• Coursera
• 7 hours 19 minutes
• On-Demand
• Free Online Course (Audit)

Math 97: Introduction to Mathematical Reasoning

Develop logical reasoning skills through engaging lessons on proofs, sets, algebra, geometry, and more. Self-paced study option available for college credit transfer.

• Study.com
• 16 hours 24 minutes
• On-Demand
• Paid Course

Foundations of Logic

This course is for students interested in formal methods of logic. The lecturer will lead a systematic study of the basics of modern logic.

• XuetangX
• On-Demand
• Free Online Course

CEC;  Farook College

Logic and Sets

Explore mathematical reasoning through logic and set theory, building a foundation for advanced math and computer science. Develop abstract thinking and learn to model theories in the set theoretic universe.

• Swayam
• 8 weeks
• On-Demand
• Free Online Course

Logic

Stretch your analytic muscles with truth-tellers, liars, logical robots, and more.

• Brilliant
• 8-12 hours
• On-Demand
• Paid Course

Logic II

Exercise your rationality and learn the mathematical dialects of logic.

• Brilliant
• 4 hours
• On-Demand
• Paid Course

Mathematical Logic

Explore statements, propositions, connectives, truth tables, tautology, and contradiction in mathematical logic.

• YouTube
• 30 minutes
• On-Demand
• Free Video

Fields Institute

Decidability Bounds for Presburger Arithmetic Extended by Sine

Explore decidability bounds in extended Presburger arithmetic with sine, covering previous results, methods, and the Channel conjecture in this mathematical seminar.

• YouTube
• 46 minutes
• On-Demand
• Free Video

Fields Institute

Tameness Beyond O-Minimality - Lecture 1

Explore advanced mathematical concepts beyond o-minimality, including real fields, partial orders, and postminimality in this graduate-level lecture on tame phenomena.

• YouTube
• 1 hour 28 minutes
• On-Demand
• Free Video

Fields Institute

O-minimality and the Pila-Wilkie Theorem - Lecture 1

Explore o-minimality, its foundations, and key theorems in this graduate-level lecture, emphasizing mathematical concepts and their applications in tame geometry.

• YouTube
• 1 hour 40 minutes
• On-Demand
• Free Video

Fields Institute

Effectivity of Standard O-Minimal Results in the Sharply O-Minimal Setting

Explore the effectiveness of o-minimal results in sharply o-minimal contexts, covering algebraic lemmas, cellular versions, and cylindrical parametrization techniques.

• YouTube
• 39 minutes
• On-Demand
• Free Video

Fields Institute

Topics in Pure Model Theory - Lecture 10

Explore advanced concepts in pure model theory, including simple theory, invariant types, and symmetry, with expert insights from Itay Kaplan of The Hebrew University of Jerusalem.

• YouTube
• 1 hour 26 minutes
• On-Demand
• Free Video

Fields Institute

Topics in Pure Model Theory - Lecture 8

Explore stable theory, nonforking, and Kim's lemma in pure model theory with Prof. Itay Kaplan, delving into advanced concepts and proofs in this comprehensive lecture.

• YouTube
• 1 hour 32 minutes
• On-Demand
• Free Video

Hausdorff Center for Mathematics

Computing with Gödel's Completeness Theorem

Explore computational approaches to Gödel's completeness theorem, including Krivine's "exploding models," A-translation, and Kripke forcing, with insights on reifying validity proofs into derivability proofs.

• YouTube
• 46 minutes
• On-Demand
• Free Video

Hausdorff Center for Mathematics

Two Observations on Intuitionistic Logic and Arithmetic

Explore intuitionistic logic and arithmetic through finite type formalisation and negative translations. Gain insights into extensional and intensional models, decidable atomic formulas, and equality at higher types.

• YouTube
• 36 minutes
• On-Demand
• Free Video