Logica Matematica

Logica Matematica

La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un argumento es válido. La lógica es ampliamente aplicada en la filosofía, matemáticas, computación, física. En la filosofía para determinar si un razonamiento es válido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lógica permite saber el significado correcto. En las matemáticos para demostrar teoremas e inferir resultados matemáticas que puedan ser aplicados en investigaciones. En la computación para revisar programas. En general la lógica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lógico, por el ejemplo; para ir de compras al supermercado una ama de casa tiene que realizar cierto procedimiento lógico que permita realizar dicha tarea. Si una persona desea pintar una pared, este trabajo tiene un procedimiento lógico, ya que no puede pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes no pintó la parte alta porque se mancharía lo que ya tiene pintado, también dependiendo si es zurdo o derecho, él puede pintar de izquierda a derecha o de derecha a izquierda según el caso, todo esto es la aplicación de la lógica.

La lógica es pues muy importante; ya que permite resolver incluso problemas a los que nunca se ha enfrentado el ser humano utilizando solamente su inteligencia y apoyándose de algunos conocimientos acumulados, se pueden obtener nuevos inventos innovaciones a los ya existentes o simplemente utilización de los mismos.

Logica, Matematica, Deduccion Automatica

Podrıamos situar el comienzo de la aportacion de la Ingenierıa a la Logica en 1938, cuando Claude E. Shannon (mas tarde famoso por su Teorıa de la Informacion) observo que las funciones realizadas por circuitos combinatorios, inicialmente construidos con rieles, se podıan representar con la notacion simbolica del algebra de Boole. A mediados de la decada delos 50, D.A. Huffman extendio este trabajo a los circuitos secuenciales, lo cual dio origen al desarrollo de la teorıa de maquinas de estados finitos . La implicacion de la Logica Matematica en el nacimiento de la Informatica, y de la Logica Computacional en su desarrollo actual, hace que el estudio de esta disciplina para un docente e investigador en Matematica Aplicada sea doblemente atractivo: por una parte, es atrayente la juventud del campo de estudio frente otras ramas tradicionales de las Matematicas, por otra parte, sus orıgenes resultan especialmente interesantes desde el punto de vista historico.

...