4.4 ⭐️, 610+ ratings on Coursera
93% 👍, 199.2k+ students enrolled
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.
Skills you will gain:
- Relational Algebra
- Problem Solving
- Propositional Calculus
- Mathematical Logic
- Approx. 47 hours to complete