¿QUE DIFERENCIA HAY ENTRE LÓGICA MATEMÁTICA Y LÓGICA COMPUTACIONAL
Respuestas a la pregunta
Respuesta:
QUE DIFERENCIA HAY ENTRE LÓGICA MATEMÁTICA Y LÓGICA COMPUTACIONAL
Explicación:
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 en 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. La lógica es una ciencia filosófica y parte de su método es matemático. De esta manera, la lógica matemática es matemática en el mismo sentido que lo es, digamos, la mecánica newtoniana. ... Sin embargo, en la lógica contemporánea, el término “sistema formal” suele aplicarse sólo a sistemas del primer tipo.
Respuesta:
Explicación:
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 en 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. La lógica es una ciencia filosófica y parte de su método es matemático. De esta manera, la lógica matemática es matemática en el mismo sentido que lo es, digamos, la mecánica newtoniana. ... Sin embargo, en la lógica contemporánea, el término “sistema formal” suele aplicarse sólo a sistemas del primer tipo.