This program will allow students to update their knowledge in Computational Logic in a practical way, 100% online, without renouncing the maximum academic rigor"

The program is aimed at those interested in reaching a higher level of knowledge in Computational Logic. The main objective is to enable the student to apply in the real world the knowledge acquired in this study, in a work environment that reproduces the conditions that may be encountered in the future, in a rigorous and realistic manner.

This program will prepare the trainee for the professional practice of computer engineering, thanks to a transversal and versatile training adapted to new technologies and innovations in this field. Obtaining extensive knowledge in Computational Logic, from the hand of professionals in the sector.

The students will be able to take the opportunity and study this program in a 100% online format, without neglecting their obligations.  

Learn the latests techniques and strategies withi this program and achieve the sucess as an IT Engineer”

This Postgraduate Certificate in Computational Logic contains the most complete and up-to-date program on the market. The most important features include: 

• Development of 100 simulated scenarios presented by experts in Computational Logic
• Its graphic, schematic and eminently practical contents provide scientific and practical information on Computational Logic
• News on the latest advances in Computational Logic
• It contains practical exercises where the self-assessment process can be carried out to improve learning
• Interactive learning system based on the case method and its application to real practice
• All of this will be complemented by theoretical lessons, questions to the expert, debate forums on controversial topics, and individual reflection assignments
• Content that is accessible from any fixed or portable device with an Internet connection

Get trained in Computational Logic with this intensive program, from the comfort of your home"

It includes in its teaching staff professionals belonging to the field of education, who bring to this program their work experience, in addition to recognized specialists belonging to reference societies and prestigious universities. 

Thanks to its multimedia content elaborated with the latest educational technology, this program will allow the professional a situated and contextual learning, that is to say, a simulated environment that will provide an immersive learning programmed to work in real situations.

The design of this program is based on Problem-Based Learning, by means of which the teacher must try to solve the different professional practice situations that arise during the course. For this purpose, the professional will be assisted by an innovative interactive video system developed by renowned experts in Computational Logic with extensive teaching experience. 

Take advantage of the latest educational technology to get up to date in Computational Logic without leaving home"

Learn about the latest techniques in Computational Logic from experts in the field"

The structure of the contents has been designed by a team of computer engineering professionals, aware of the relevance of current training in order to deepen this area of knowledge in order to humanistically enrich the student and raise the level of knowledge in Computational Logic through the latest educational technologies available. 

This study of Computational Logic contains the most comprehensive and up-to-date learning program on the market"

Module 1. Computational Logic 

1.1. Justification of the Logic

1.1.1. Object of Logic Study
1.1.2. What Is Logic for? 
1.1.3. Components and Types of Reasoning
1.1.4. Components of a Logic Calculation
1.1.5. Semantics
1.1.6. Justification of the Existence of a Logic
1.1.7. How to Check that a Logic is Adequate 

1.2. Calculation of Natural Deduction from Statements

1.2.1. Formal Language
1.2.2. Deductive Mechanism

1.3. Formalization and Deduction Strategies for Propositional Logic

1.3.1. Formalization Strategies
1.3.2. Natural Reasoning
1.3.3. Laws and Rules
1.3.4. Axiomatic Deduction and Natural Deduction
1.3.5. Calculating Natural Deduction
1.3.6. Primitive Rules of Propositional Calculus

1.4. Semantics of Propositional Logic

1.4.1. Truth Tables
1.4.2. Equivalence
1.4.3. Tautologies and Contradictions
1.4.4. Validation of Propositional Sentences
1.4.5. Validation by Means of Truth Tables
1.4.6. Validation Using Semantic Trees
1.4.7. Validation by Refutation

1.5. Applications of Propositional Logic: Logic Circuits

1.5.1. Basic Gates
1.5.2. Circuits
1.5.3. Mathematical Models of the Circuits
1.5.4. Minimization
1.5.5. The Second Canonical Form and the Minimum Form in Product of Additions
1.5.6. Other Gates

1.6. Natural Predicate Deduction Calculus

1.6.1. Formal Language
1.6.2. Deductive Mechanism

1.7. Formalization Strategies for Predicate Logic

1.7.1. Introduction to Formalization in Predicate Logic
1.7.2. Formalization Strategies with Quantifiers

1.8. Deduction Strategies for Predicate Logic

1.8.1. Reason for Omission
1.8.2. Presentation of the New Rules
1.8.3. Predicate Logic as a Natural Deduction Calculus

1.9. Applications of Predicate Logic: Introduction to Logic Programming

1.9.1. Informal Presentation
1.9.2. Prolog Elements
1.9.3. Re-Evaluation and Cut-Off

1.10. Set Theory, Predicate Logic and Its Semantics

1.10.1. Intuitive Set Theory
1.10.2. Introduction to Predicate Semantics

A unique, key, and decisive educational experience to boost your professional development”