Unidad 3 derivadas

1	Sabes que es un mapa de Karnaugh
2	Sabes que es un codificador
3	Has hecho mapas de karnaugh
4	En electrónica has hecho un circuito experimentalmente
5	Sabes que es una compuerta lógica
6	Estas dispuesto a terminar este curso con todas las de la ley

Como hacer un Mapa de  Karnaugh

Descarga desde este vinculo el software para realizar simulaciones de circuitos

Cocodrilo, software para simular circuitos DC y AC

Unidad 2 Algebra Booleana

1	Sabe que es algebra Booleana
2	Sabe que es teoría de conjuntos
3	Es capaz de operar entre conjuntos
4	Reconoce el término “operador lógico”
5	Es capaz de relacionar operaciones entre conjuntos y con operadores lógicos
6	Reconoce una tautología
7	Es capaz de transformar funciones
8	Simplifica funciones
9	Le has dedicado el suficiente tiempo a los temas que necesitan más profundización
10	Estas dispuesto a profundizar en todos los temas que necesitas profundizar

Interesante video de la aplicacion del algebra boolena a los microprocesadores.

Breve descripción de los conceptos básicos de algebra booleana.

Definicion de algebra Boleana

Una tautología es una expresión lógica que es verdadera para todos los posibles valores de verdad de sus componentes atómicos.

En lógica se entiende por tautología aquella proposición cuya tabla de verdad da siempre el valor de verdad V en todos los casos posibles de los valores de verdad (V, F) de cada una de las proposiciones que la integran, o de un modo más sencillo: la supuesta explicación de algo mediante una perogrullada, la “explicación” o definición de algo mediante una ligera variación de palabras que tienen en conjunto el mismo significado ya conocido de lo supuestamente explicado (Ej.: “Existe el calor porque lo provoca el calórico”).

Tautología: en todos los casos la forma del argumento ofrece un resultado verdadero, por lo que el argumento es válido.

Una contradiccion es uan expresion logica que es falsa para todos sus valores.

El procedimiento de la demostración por contradicción es semejante a la que se realizó por el método directo con la diferencia de que las líneas iniciales de dicha demostración no son únicamente las hipótesis, sino además se incluye en la demostración una línea con la negación de la conclusión. Por otro lado el objetivo de la demostración es llegar a una contradicción.

Unidad 1: Logica Simbolica

1	Define lógica
2	Entiende la diferencia entre lógica diferencial y lógica computacional
3	Diferencia entre proposición y preposición
4	Sabe que es un juicio
5	Sabe que es una condición necesaria
6	Sabe que es una condición suficiente
7	Conoce más de un sistema de numeración
8	Ha trabajado con otros sistemas de numeración diferente al decimal
9	Entiende una tabla de verdad
10	Es capaz de realizar un ejercicio revisando las tablas de verdad
11	Estas dispuesto a profundizar los temas que no tienes claros

Definición de lógica: 

La lógica en computación es la manera en la que los dispositivos electrónicos responden a un estímulo de una señal, siguiendo los conceptos y reglas de la lógica booleana.

Esta última lógica se refiere a la lógica binaria, es decir a las operaciones de combinación entre unos y ceros (1,0), en la que el 1 representa la presencia de señal y el 0 la ausencia de ella, todos los dispositivos electrónicos basan su funcionamiento en esta lógica.

Las principales operaciones lógicas son AND, OR, NOR, XOR, XNOR, cada una tiene sus propias reglas de aplicación y su manera de implementarse.

Definición condición necesaria y suficiente:

Que es una condición necesaria y suficiente.

Sistemas numéricos usados en la logia computacional:

Sistemas numéricos