Matedisunidad3.wordpress.com Website Review

bienvenido a este sitio web, en donde usted podrá consultar temas sobre la  lógica matemática de la materia matemáticas discretas para la ingeniería en sistemas computacionales. esperamos que al navegar por este sitio tenga una buena experiencia y que encuentre 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. 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 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. todo sistema computacional, por muy complejo que sea, no está compuesto por más que circuitos electrónicos que únicamente entienden un lenguaje binario. la lógica computacional se encarga de modelar y optimizar tales sistemas a este nivel.. publicado en 3.5 aplicación de la lógica matemática en la computación. la inducción es un razonamiento que permite demostrar una infinidad de proposiciones, o una proposición que depende de un parámetro n que toma una infinidad de valores, usualmente en el conjunto de los enteros naturales n. lo que algunos llaman álgebra declarativa no es otra cosa que el álgebra proposicional, o sea, la estructura algebraica que se forma