Home » Course Layouts » Free Course Layout Udemy
In this course we will cover central aspects of modern formal logic, beginning with an explanation of what constitutes good reasoning.
0
1
English
English [CC]
FREE
- Learn basic syntax that can apply to any language.
- Learn what is a programming language and the basic concepts for beginners.
- Understand what is Javascript in it's truest form.
- Know the basic syntax of Javascript.
- Know some hidden quirks in Javascript.
Description
Topics will include validity and soundness of arguments, formal derivations, truth-functions, translations to and from a formal language, and truth-tables. We will thoroughly cover sentential calculus and predicate logic, including soundness and completeness results.
Course content
- Truth-functionality Unlimited
- Truth-tables and logical properties of compound sentences Unlimited
- Introduction to meta-theory; mathematical induction Unlimited
- Soundness of SD/SD+ Unlimited
- Completeness of SD/SD+ Unlimited
- Open sentences; free vs Unlimited
- Identity; functions, translation to and from predicate logic (PL) Unlimited
- Formal PL/PLE semantics continued; review Unlimited
- Meta-theory: Soundness of PD, PD+, PDE Unlimited
- Meta-theory: Completeness of PD Unlimited
- Meta-theory: Completeness continued; PD+; PDE Unlimited
Instructor
Massachusetts Institute of Technology
5
5
1
1916
1520
