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 objective of this program is to provide IT professionals with the knowledge and skills necessary to carry out their activity using the most advanced protocols and techniques of the moment. Through a work approach that is fully adaptable to the student, this program will progressively lead them to acquire the skills that will propel them to a higher professional level. 

Achieve the level of knowledge you desire and master the fundamental concepts in Computational Logic with this high-level training"

General Objectives

• Prepare scientifically and technologically, as well as to develop the professional practice of software engineering, with a transversal and versatile approach adapted to the new technologies and innovations in this field
• Obtain extensive knowledge in the field of computation, computer structure and Computational Logic, including the mathematical, statistical and physical basis essential in engineering

Specific objectives

• Learn the fundamentals of computational logic, what it is used for and its justification of use
• Know the different strategies of formalization and deduction in propositional logic, including natural reasoning, axiomatic and natural deduction, as well as the primitive rules of propositional calculus
• Acquire advanced knowledge in propositional logic, delving into its semantics and the main applications of this logic, such as logic circuits
• Understand predicate logic for both the natural deduction calculus of predicates and the formalization and deduction strategies for predicate logic
• Understand the basics of natural language and its deductive mechanism
• Introduction to logic programming using the Prolog language

Take the step to catch up on the latest developments in Computational Logic"