WARNING:
JavaScript is turned OFF. None of the links on this concept map will
work until it is reactivated.
If you need help turning JavaScript On, click here.
Este Cmap, tiene información relacionada con: 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 algoritmos. Reseña Histórica Andréi Nikoláyevich Kolmogórov (1903 - 1983) Fue un matemático ruso que hizo progresos importantes en los campos del escenario y de la topología. En particular, que supone el pilar básico de la teoría de la probabilidad a partir de la teoría de conjuntos. Trabajó el principio de su importancia de la lógica., Es representada por "∨" hace referencia al conector "o", la condición se cumple si una de las dos es verdadera, en caso contrario, será falsa. Negación Es representada por "~" se usa para colocar lo contrario de la bariable, ejemplo: si tenes en P verdadero en la negación pasa a ser falsa., Es representada por "^" hace referenacia al conector "y", la condición se cumple si ambas son verdadera, en caso contrario, será falsa. Disyunción Es representada por "∨" hace referencia al conector "o", la condición se cumple si una de las dos es verdadera, en caso contrario, será falsa., Lógica Computacional Concepto 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 algoritmos., Andréi Nikoláyevich Kolmogórov (1903 - 1983) Fue un matemático ruso que hizo progresos importantes en los campos del escenario y de la topología. En particular, que supone el pilar básico de la teoría de la probabilidad a partir de la teoría de conjuntos. Trabajó el principio de su importancia de la lógica. En que consiste? La lógica se extiende al corazón de la informática a medida que surge como una disciplina: El trabajo de Alan Turing sobre el Entscheidungsproblem seguido del trabajo de kurt Gödel sobre teoremas incompletos. La noción de la computadora de uno general que surgió de este trabajo fue de gran importancia para los diseñadores de la maquina informática en la década de 1940., Es representada por "^" hace referenacia al conector "y", la condición se cumple si ambas son verdadera, en caso contrario, será falsa. Ejemplo Clic en la imagen luego, luego a Ejemplo para ver el ejemplo de conjunción. ↓, Es representada por "⇔" se cumple cuando las dos proposiciones son iguales. Ejemplo Clic en la imagen luego, luego a Ejemplo para ver el ejemplo de Equivalencia. ↓, Lógica Computacional Proposiciones Compuestas Son aquellas que están formadas por dos o más proposiciones simples unidas por los operadores lógicos., La lógica se extiende al corazón de la informática a medida que surge como una disciplina: El trabajo de Alan Turing sobre el Entscheidungsproblem seguido del trabajo de kurt Gödel sobre teoremas incompletos. La noción de la computadora de uno general que surgió de este trabajo fue de gran importancia para los diseñadores de la maquina informática en la década de 1940. ???? Entscheidungsproblem: (En castellano: problema de decisión) fue el reto en lógica simbólica de encontrar un algoritmo general que decidiera si una fórmula de cálculo de primer orden es un teorema. En 1936, de manera independiente, Alonzo Church y Alan Turing demostraron que es imposible escribir tal algoritmo. Como consecuencia es también imposible decidir con un algoritmo si ciertas frases concretas de la aritmética son ciertas o falsas., Son aquellas que están formadas por dos o más proposiciones simples unidas por los operadores lógicos. Conjunción Es representada por "^" hace referenacia al conector "y", la condición se cumple si ambas son verdadera, en caso contrario, será falsa., Es representada por "~" se usa para colocar lo contrario de la bariable, ejemplo: si tenes en P verdadero en la negación pasa a ser falsa. Equivalencia Es representada por "⇔" se cumple cuando las dos proposiciones son iguales., Es representada por "∨" hace referencia al conector "o", la condición se cumple si una de las dos es verdadera, en caso contrario, será falsa. Ejemplo Clic en la imagen luego, luego a Ejemplo para ver el ejemplo de Disyunción. ↓, La lógica se extiende al corazón de la informática a medida que surge como una disciplina: El trabajo de Alan Turing sobre el Entscheidungsproblem seguido del trabajo de kurt Gödel sobre teoremas incompletos. La noción de la computadora de uno general que surgió de este trabajo fue de gran importancia para los diseñadores de la maquina informática en la década de 1940. Importancia La lógica es muy importante, ya que determina la manera en que se puede resolver un problema. Es un nivel de abstracción sin el cual no es posible estructurar los pasos que generen lo que esperamos obtener., Es representada por "~" se usa para colocar lo contrario de la bariable, ejemplo: si tenes en P verdadero en la negación pasa a ser falsa. Ejemplo Clic en la imagen luego, luego a Ejemplo para ver el ejemplo de negación. ↓