Computational Logic Unit III
Uploaded by
ScribdTranslationsComputational Logic Unit III
Uploaded by
ScribdTranslationsOpen University for Adults
UAPA
Theme:
Importance of computational logic
Subject:
Computational Logic
Participant:
Frankelin Antonio Sosa Viñas
Registration:
2020-03247
Facilitator:
Juan Francisco Azcona Reyes
Date:
August 13, 2020
1
1. Make a summary or short essay about the
importance of Computational Logic.
Importance of computational logic
In the field of engineering, there is a set of processes of vital importance,
in which computational logic provides the ability to reason
necessary to solve any problem through the following steps:
design, develop and maintain the software.
Computational logic covers all types of applications of logic in
computer science, however, it focuses on the definition: Algorithm = Logic +
Control.
Algorithms deal with the description of a problem and the strategy to solve it.
I finish the computations used in its description. Computational logic
focuses on describing a problem and does not invest any
time in the necessary computing mechanism.
It has been observed that computational logic also plays a crucial role in
the understanding of the key problems of software. The emergence of logic and
from constraint programming to assumptions a great triumph of the
declarative programming languages in expert systems, the
natural language processing in expert systems, planning, among
others. In today's world of wireless communications and telephone networks
mobile, the protocols of distributed systems configure an important aspect
in system design. Eliminate unnecessary and redundant computations from
those protocols and verifying them properly is usually some work
improbable.
Finally, computational logic includes the design of real machines and
abstract for declarative programming languages and for the
construction of deduction systems and automatic theorem provers.
Since search is the fundamental mechanism in Logic
Computationally, the development of control strategies and heuristics is a
priority theme.
That is why the importance of computational logic is of great magnitude and
thanks to it, since ancient times, we can provide a solution to a great
number of problems.
2
2. Create: - Concept map, - comparative chart, - outline, -
mind map, containing: Summary about the
compound propositions.
