Diferencia entre revisiones de «Lógica computacional»
m Revertidos los cambios de 201.242.199.238 a la última edición de Muro Bot |
|||
| Línea 4: | Línea 4: | ||
== Circuitos computacionales == |
== Circuitos computacionales == |
||
El nivel menos abstracto dentro de una computadora está constituido por [[circuito eléctrico|circuitos electrónicos]] que responden a diferentes señales eléctricas, siguiendo los patrones de la [[álgebra de Boole|lógica booleana]]; esto es, compuertas lógicas que devuelven un valor dependiendo de las entradas que se le dan al sistema. Existen ocho [[puerta lógica|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 |
El nivel menos abstracto dentro de una computadora está constituido por [[circuito eléctrico|circuitos electrónicos]] que responden a diferentes señales eléctricas, siguiendo los patrones de la [[álgebra de Boole|lógica booleana]]; esto es, compuertas lógicas que devuelven un valor dependiendo de las entradas que se le dan al sistema. Existen ocho [[puerta lógica|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 [[sistema binario|lenguaje binario]]. La lógica computacional se encarga de modelar y optimizar tales sistemas a este nivel. |
Todo sistema computacional, por muy complejo que sea, no está compuesto por más que circuitos electrónicos que únicamente entienden un [[sistema binario|lenguaje binario]]. La lógica computacional se encarga de modelar y optimizar tales sistemas a este nivel. |
||
Revisión del 15:55 10 jul 2009
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.
Circuitos computacionales
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.