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

{ Category Archives } Lógica

Eso que llamamos Lógica. El libro.

Hace eones que publiqué aquí una serie sobre Eso que llamamos Lógica, concretamente entre octubre de 2011 y junio de 2012. La serie se basaba en mis viejos y amarillentos apuntes de la asignatura “Metodología” de segundo curso de Informática, cuando yo era joven y la disciplina se iba construyendo cada día… ¡qué tiempos! Esos apuntes [...]

Las doce bolas

Abres los ojos – ¿Dónde estoy? – te preguntas. Te duele la cabeza y estas mareado, miras a tu alrededor, te encuentras en una especie de habitación. Una habitación en la que, aunque estas seguro de no haber estado nunca antes, te resulta extrañamente familiar. Empiezas a recordar, ayer saliste con tus amigos de fiesta [...]

Eso que llamamos Lógica. La serie completa en formato PDF.

Desde octubre de 2011 hasta mayo de 2012 publiqué en éstas, vuestras páginas favoritas de El Cedazo, una serie sobre Eso que llamamos Lógica, que escribí tomando como base mis añejos apuntes de la asignatura de “Metodología” de mi casi olvidado Segundo de Informática, allá por 1973, asignatura impartida por Don José Cuena Bartolomé, desgraciadamente [...]

Eso que llamamos Lógica (IX) La inferencia lógica.

En el artículo anterior de esta serie sobre Lógica de aplicación para la informática que hoy finaliza (¡por fin!), se definió el Cálculo de Predicados como una generalización del Cálculo Proposicional que vimos algunos capítulos atrás… Como sabéis los aguerridos seguidores de la serie, para confeccionarla estoy usando extensivamente los apuntes de la asignatura de “Metodología” de [...]

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 [...]