Ensayo
sobre Lógica Computacional Vs Lógica Matemática
Autor:
Jesús David Berrocal Mora
Lógica
computacional
Universidad
de córdoba sede lorica
07/06/2012
Lógica
computacional Vs Lógica Matemática
La lógica computacional es
una área de la programación, que se encarga de modelar y optimizar tales
sistemas a este nivel.
La lógica
computacional es la misma lógica
matemática. Aplicada
al contexto de las ciencias
de la computación. Su uso es fundamental a varios niveles: en los circuitos
computacionales, en la programación
lógica y en el análisis y
optimización (de recursos temporales y espaciales) de algoritmos.
El nivel menos abstracto dentro de una computadora está constituido por circuitos
electrónicos que responden a diferentes señales eléctricas, siguiendo
los patrones de la lógica
booleana; esto es, compuertas lógicas que devuelven un valor
dependiendo de las entradas que se le dan al sistema. Existen ocho compuertas
lógicas básicas con las cuales se pueden formar sistemas muy
complejos: AND, OR, Inverter, Buffer, NAND, NOR, XOR y XNOR. Todas ellas son
representadas mediante un símbolo y una tabla
de valores de verdad, que es simplemente un cuadro donde se ubican todas las
posibles entradas y los valores que devolvería la compuerta dados dichos
valores.
La lógica matemática es una parte de la lógica y las matemáticas, que
consiste en el estudio matemático de la lógica y en la aplicación de este
estudio a otras áreas de las matemáticas. La lógica matemática tiene estrechas
conexiones con la ciencias de la computación y la
lógica filosófica.
La lógica matemática estudia
los sistemas
formales en relación con el modo en el que codifican nociones intuitivas de
objetos matemáticos como conjuntos, números, demostraciones y computación.
La lógica matemática suele
dividirse en cuatro sub campos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. La
investigación en lógica matemática ha jugado un papel fundamental en el estudio
de los fundamentos de las matemáticas.
Actualmente se usan indiferentemente como sinónimos las expresiones: lógica simbólica(o logística), lógica
matemática, lógica teorética y lógica formal.
La lógica matemática no es
la «lógica de las matemáticas» sino la «matemática de la lógica». Incluye
aquellas partes de la lógica que pueden ser modeladas y estudiadas
matemáticamente.
Una de las ventajas de la
lógica matemática es que es el principio de la programación
Una de las mayores desventajas de
la lógica de predicados es que sólo dispone de dos niveles de veracidad:
verdadero y falso. Esto se debe a que la deducción siempre garantiza que la
inferencia es absolutamente verdadera. Sin embargo, en la vida real no todo es
blanco y negro. En cierta forma el PROLOG ha logrado mitigar esta desventaja,
permitiendo la inclusión de factores de certeza.1
La lógica de predicados al ser un formalismo de razonamiento
monotónico, no resulta muy adecuada para ciertos dominios del mundo real, en
los cuales las verdades pueden cambiar con el paso del tiempo. El PROLOG
compensa esta deficiencia, proporcionando un mecanismo para remover los hechos
de la base de datos. Por ejemplo, en TURBO PROLOG se tiene la cláusula retractall.2
Para mi concepto, la lógica matemática y la lógica computacional juegan un
papel importante en el campo de la programación, ya sea la programación básica
o avanzada.
Si investigamos acerca de estas dos áreas, nos encontramos que la lógica
matemática sirve como principio de la lógica computacional, porque al momento
de comparar esta dos área nos
encontramos con que la lógica matemática es la base de la programación. Vamos a
dar una pequeño ejemplo de lo que sería las dos lógicas, “si en lógica
matemática hacemos una expresión lógica
(si pÙq = v) esta operación en
lógica computacional nos puede servir para muchas cosas al momento de
programar.
Para concluir la lógica matemática y la lógica computacional, en si son las
mismas lo que la diferencia una de la otra es que la lógica matemática se basa
en el campo de la matemática, en cambio la lógica computacional se encarga de
la franja de la computacional, pero en un sondeo final las dos lógicas nos
sirven al momento de hacer programación de cualquier nivel.
Bibliografía
www.monografias.com, ventajas y desventajas de la lógica matemática.
www.monografias.com, ventajas y desventajas de la lógica matemática.
No hay comentarios:
Publicar un comentario