Regístrate | Conectar
El Tamiz Libros Recursos Series Únete 6 Users Online
Skip to content

{ Category Archives } Lógica

Eso que llamamos Lógica (VIII) El cálculo de predicados.

En el artículo anterior de esta anticuada (pero intensa) serie sobre Lógica de aplicación para la informática, para confeccionar la cual estoy usando los apuntes de la asignatura de “Metodología” de mi lejanísimo Segundo de Carrera, de Informática, del año académico 1973-74, impartida por el desgraciadamente fallecido profesor D. José Cuena Bartolomé, llegamos a definir el proceso [...]

Eso que llamamos Lógica (VII) El proceso de deducción lógica.

En el larguísimo artículo anterior de esta tan presuntuosa serie sobre Lógica, para la que estoy usando extensivamente los amarillentos apuntes de la asignatura de “Metodología” de Segundo de Carrera, año académico 1973-74, impartida por Don José Cuena Bartolomé, vimos qué son las implicaciones lógicas, y sobre todo cuál es su fórmula, cómo se traducen en cálculo [...]

Eso que llamamos Lógica (VI) La escurridiza Implicación Lógica.

Tras el magnífico paréntesis de J sobre la Lógica Digital, recordemos que en el artículo anterior de esta serie sobre Lógica, que estoy escribiendo sobre los añejos apuntes de la asignatura de “Metodología” de mi virtualmente olvidado Segundo de Informática, allá por 1973, impartida por Don José Cuena Bartolomé, vimos cómo las proposiciones (frases a las [...]

Eso que llamamos Lógica (Anexo B) Lógica digital

Mientras Macluskey escribía su serie sobre lógica, nos ha contado lo importante que era esa asignatura para los informáticos en ciernes, y hemos visto algunos ejemplos por el camino, como su aplicación a la redacción de los if de los lenguajes de programación. Una de dichas aplicaciones es el diseño y fabricación de los circuitos [...]

Eso que llamamos Lógica (V) El Cálculo Proposicional.

Esta serie se denomina “Eso que llamamos Lógica”, creo que os habréis dado cuenta. Presuntuoso nombre, seguramente. Sin embargo, el caso es que hasta ahora poco hemos visto de Lógica-Lógica, no sé si me explico… Sirva en mi descargo que nos hemos estado preparando para ello, pues hasta ahora hemos visto cómo es el álgebra [...]

Eso que llamamos Lógica (IV) El álgebra de Conjuntos, revisitada.

En el artículo anterior de esta serie dedicada más o menos a la Lógica dimos un vistazo necesariamente rápido al álgebra de Circuitos. Me dejé de contar bastantes cosas sobre simplificación de circuitos, diseño, etc, sobre todo por el método de Karnaugh[1] pero creo que no aportaba gran cosa a lo que quería contar. Y en la red [...]

Eso que llamamos Lógica (III) Álgebra de Circuitos

Tras la amable (y, sin duda alguna, interesantísima) irrupción en la serie de J para contarnos cómo es y cómo se usa la Reducción de Karnaugh, os recuerdo que en mi artículo anterior en esta serie dedicada a la Lógica trasteamos con la definición de la Forma Normal Disyuntiva en un Álgebra de Boole. Dije que sería importante para [...]

Eso que llamamos lógica (Anexo A): la reducción de Karnaugh

Ya hemos visto dentro de esta serie sobre Lógica cómo es un álgebra booleana, cómo representamos funciones en ese álgebra, y su Forma Normal Disyuntiva… Hoy vamos a dejar que suba J a la tarima para contarnos una cosa llamada “reducción de Karnaugh“. La reducción de Karnaugh es un método poco formal, pero muy ingenieril [...]

Eso que llamamos Lógica (II) La Forma Normal Disyuntiva en el Álgebra de Boole

En el espeso y llenito-llenito de fórmulas, aunque tremendamente didáctico (espero), artículo anterior de esta serie sobre algo parecido a la lógica, vimos cómo en dos patadas Don José Cuena se despachó toda la definición del Álgebra de Boole. Al día siguiente (en realidad a la semana siguiente, porque las clases eran semanales, de dos horas [...]

Eso que llamamos Lógica (I) El Álgebra de Boole.

Tras la breve (bueno, vale, no tan breve) introducción a la serie, hoy empezaré a destripar cómo es la Lógica por el principio, siguiendo los apuntes de la asignatura de Segundo de Carrera que impartió D. José Cuena allá por 1973… Y empezaré, como es lógico, por sus bases más fundamentales. Por el Álgebra de Boole. [...]