YoVDO

An Introduction to Mathematical Logic

Offered By: NCCR SwissMAP via YouTube

Tags

Mathematical logic Courses Set Theory Courses Propositional Logic Courses Proof Theory Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the foundations of mathematical reasoning in this hour-long lecture on mathematical logic. Delve into the fundamental principles and concepts that underpin logical thinking in mathematics. Gain insights into the structure of mathematical arguments, learn about formal systems, and discover how logic serves as the backbone for rigorous mathematical proofs. Suitable for students and enthusiasts looking to strengthen their understanding of mathematical foundations and enhance their analytical skills.

Syllabus

An introduction to mathematical logic, JoƩ Mighali


Taught by

NCCR SwissMAP

Related Courses

Language, Proof and Logic
Stanford University via edX
Proof Theory Impressionism - Blurring the Curry-Howard Line
Strange Loop Conference via YouTube
Topics in Pure Model Theory - Lecture 10
Fields Institute via YouTube
David Cerna: Proof Schema and the Refutational Complexity of Their Cut Structure
Hausdorff Center for Mathematics via YouTube
Graham Leigh: On the Computational Content of Classical Sequent Calculus
Hausdorff Center for Mathematics via YouTube