Mathematical logic Courses

Introduction to Logic

20 reviews

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 a…

• Coursera
• 47 hours worth of material, 5 weeks long
• 27th Mar, 2023
• Free Online Course (Audit)

Language, Proof and Logic

2 reviews

The ability to reason is fundamental to human beings. Whatever the discipline or discourse it is important to be able to distinguish correct reasoning from incorrect reasoning. The consequences of incorrect reasoning can be minor, like getting lost on th…

• edX
• 5-10 hours a week, 15 weeks long
• Self paced
• Free Online Course (Audit)

Semantics of First-Order Logic

First-order logic is a restricted, formalized language which is particularly suited to the precise expression of ideas. The language has uses in many disciplines including computer science, mathematics, linguistics and artificial intelligence. We will d…

• edX
• 5-10 hours a week, 4 weeks long
• Self paced
• Free Online Course (Audit)

York

Logic: The Language of Truth

47 ratings at FutureLearn

Learn how to use logic to evaluate arguments and discover more about philosophical concepts like truth-tables and logical form.

• FutureLearn
• 4 hours a week, 4 weeks long
• Self paced
• Free Online Course (Audit)

Understanding Maths and Logic in Computer Science

29 ratings at FutureLearn

Improve your understanding and ability to teach maths and logic in computing while building elements of an escape room.

• FutureLearn
• 2 hours a week, 3 weeks long
• Self paced
• Free Online Course (Audit)

Introduction to Logic

1 review

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 a…

• Stanford OpenEdx
• 10 hours worth of material
• 25th Sep, 2017
• Free Online Course

Logic 101 MOOC

Syllabus: Logic 101 (#1): Introduction. Logic 101 (#2): Overview. Logic 101 (#3): Finding Simple Sentences. Logic 101 (#4): Representing Simple Sentences. Logic 101 (#5): Negation. Logic 101 (#6): OR/Disjunction. Logic 101 (#7) Compound Sentences. Logic…

• YouTube
• 4-5 hours worth of material
• On-Demand
• Free Online Course

Mathematical Logic

Syllabus: Math Logic: Statements or Propositions and Connectives. Math Logic: How to fill-up truth tables. Math Logic: Tautology and Contradiction.

• YouTube
• Less than 1 hour of material
• On-Demand
• Free Online Course

MA111: Introduction to Mathematical Reasoning

Syllabus: Course Introduction; Unit 1: Logic; Unit 2: Sets; Unit 3: Introduction to Number Theory; Unit 4: Rational Numbers; Unit 5: Mathematical Induction; Unit 6: Relations and Functions; Unit 7: Sets, Part II; Unit 8: Combinatorics; Course Feedback Su…

• Saylor Academy
• 112 hours worth of material
• On-Demand
• Free Certificate

University of Melbourne

Logic: Language and Information 1

8 reviews

This is an introduction to formal logic and how it is applied in computer science, electronic engineering, linguistics and philosophy. You will learn propositional logic—its language, interpretations and proofs, and apply it to solve problems in a wide r…

• Coursera
• 6-8 hours a week
• 24th Feb, 2015
• Free Online Course (Audit)

Math 97: Introduction to Mathematical Reasoning

Math 97: Introduction to Mathematical Reasoning has been evaluated and recommended for up to 4 semester hours and may be transferred to over 2,000 colleges and universities. This course allows for a self-paced study option, with short, engaging lessons t…

• Study.com
• 16 hours worth of material
• On-Demand
• Paid Course

Logic (2020)

This course is retiring soon, check out our new course in Logic.

• Brilliant
• 8-12 hours worth of material
• On-Demand
• Paid Course

Logic

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

• Brilliant
• 8-12 hours worth of material
• On-Demand
• Paid Course

Logic II

Exercise your rationality and learn the mathematical dialects of logic!

• Brilliant
• 4 hours worth of material
• On-Demand
• Paid Course

University of Melbourne

Logic: Language and Information 2

1 review

This is an introduction to predicate logic and how it is applied in computer science, electronic engineering, linguistics, mathematics and philosophy. Building on your knowledge of propositional logic, you will learn predicate logic—its language, interpr…

• Coursera
• 6-8 hours a week
• 14th Apr, 2015
• Free Online Course (Audit)