Referencias Bibliográficas: [Brookshear and Brookshear, 2014]
Temas
- Lógica proposicional.
- Conectores lógicos.
- Tablas de verdad.
- Forma normal (conjuntiva y disyuntiva)
- Bits, Bytes y Words.
- Representacion de datos numérica y bases numéricas.
Objetivos de Aprendizaje
- Convertir declaraciones lógicas desde el lenguaje informal a expresiones de lógica proposicional y de predicados [Familiarizarse]
- 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 [Familiarizarse]
- Explicar porqué en computación todo es datos, inclusive las instrucciones [Familiarizarse].
- Explicar las razones de usar formatos alternativos para representar datos numéricos [Familiarizarse].
Generado por Ernesto Cuadros-Vargas , Sociedad Peruana de Computación-Peru, basado en el modelo de la Computing Curricula de IEEE-CS/ACM