4.7.2.2 Almacenamiento de datos (2 horas) [Habilidades a,b,c,h,1,2,5]

Referencias Bibliográficas: [Brookshear and Brookshear, 2014] Temas

1. Lógica proposicional.
2. Conectores lógicos.
3. Tablas de verdad.
4. Forma normal (conjuntiva y disyuntiva)
5. Bits, Bytes y Words.
6. Representacion de datos numérica y bases numéricas.

Objetivos de Aprendizaje

1. Convertir declaraciones lógicas desde el lenguaje informal a expresiones de lógica proposicional y de predicados [Familiarity]
2. Aplicar métodos formales de simbolismo proposicional y lógica de predicados, como el cálculo de la validez de formulas y cálculo de formas normales [Familiarity]
3. Explicar porqué en computación todo es datos, inclusive las instrucciones [Familiarity].
4. Explicar las razones de usar formatos alternativos para representar datos numéricos [Familiarity].