Categories
Disclaimer: Some of the links on this website are affiliate links, meaning we may earn a commission if you click through and make a purchase. This comes at no additional cost to you.
By clicking the button above, you acknowledge that you will be redirected to a third-party website and agree to their terms and conditions.
Log in to manage favorites.
Lógica de Programação e Estrutura de Dados
Lógica de Programação e Estruturas de Dados
Lógica
Lógica de programação
Lógica Computacional
Logic Reasoning and Resolution Refutation
This critical thinking course explains how to apply logic and reasoning through resolution refutation. We begin by introducing you to various different logical languages and providing an overview of propositional calculus. We then lay out the symbols used in propositional calculus and show you how to convert English sentences into propositional calculus. We discuss predicate calculus (also called ‘first-order logic’) in detail and identify its symbols semantics and differences to propositional calculus.The course then examines various critical thinking techniques including ‘modus ponens’ ‘modus tollens’ elimination introduction and universal instantiation. We cover the unification and deduction process to help you apply logic to real-world scenarios. We demonstrate how to build a reasoning system and match two predicates to implement an inference engine. Since all variables need to be universally quantified we explore the steps involved in the unification process and those taken to implement the resolution principle by deduction.Our next section focuses on theorem proving by resolution refutation. We provide examples to help you understand the basic steps taken to establish theorems including clause form efficient resolution strategies and answer extraction from resolution refutation. The course examines unification substitution and Skolemization to enhance your practical critical reasoning skills. We also explain how to use Prolog a logic programming language and an application of resolution theorem proving that is often used in modern computing. Our final section compares various reasoning approaches. This course suits computer programmers as it explains how critical thinking can be expressed and applied to enhance your computer science skills.
Product information updated: 23 Sep 2026
Disclaimer: Product information, including title, description, and images, is sourced/provided by our affiliate partner: Alison US CA.
Disclaimer: Some of the links on this website are affiliate links, meaning we may earn a commission if you click through and make a purchase. This comes at no additional cost to you.
By clicking the button above, you acknowledge that you will be redirected to a third-party website and agree to their terms and conditions.
Product information, including title, description, and images, is sourced/provided by our affiliate partner: Alison US CA.
Share this product with a friend:
Refer a friend and earn 0.05 CEC when they click the link, plus an additional 1.00 CEC if they register. Share this Product and boost your earnings together!
Log in to manage favorites.
Similar Products
Share this product with a friend:
Refer a friend and earn 0.05 CEC when they click the link, plus an additional 1.00 CEC if they register. Share this Product and boost your earnings together!