Mtra. Carolina Galaviz Inzunza Matemática Discreta

Presentación del tema: "Mtra. Carolina Galaviz Inzunza Matemática Discreta"— Transcripción de la presentación:

1 Mtra. Carolina Galaviz Inzunza Matemática Discreta
Sesión 2.- Unidad I. Lógica Mtra. Carolina Galaviz Inzunza Matemática Discreta

2 Orden del día: 1.- Plan de curso (5min) 2.- Revisión de asignación.- Reunirse en parejas y comentar la tarea (10 minutos). 3.-Pase de lista 4.-En grupo comentar una conclusión de la definición de lógica, proposición y platicar sobre los usos de la lógica en su vida cotidiana. (15min) 5.- Del material de lógica leer la página 2 que habla sobre lógica. (10 min) 6.- En grupo comentar: ¿Cómo se utiliza la lógica en tu carrera?. (10 min). 7.- Entrega de asignación

3 1.- Plan de curso (5min). Unidades de competencia:
I. Aplicar los fundamentos de lógica para la identificación de proposiciones en las tablas de verdad. II. Aplicar los fundamentos de teoría de conjuntos para la organización de números discretos III. Analizar las técnicas de Conteo para la resolución de problemas de combinaciones relacionados con programación. IV. Aplicar los teoremas de relaciones y funciones en la resolución de problemas de valores de números discretos. V. Aplicar los teoremas de máquinas de estado finitas en la resolución de problemas. VI. Aplicar los fundamentos de los enteros e inducción matemática en la programación matemática.

4 2.- Revisión de asignación.-
Reunirse en parejas y comentar la tarea (10 min).

5 4.-En grupo, comentar… Una conclusión de la definición de lógica, proposición y platicar sobre los usos de la lógica en su vida cotidiana. (15min)

6 5.- Leer (10 min) Del material de lógica leer la página 2 que habla sobre lógica. (10 min)

7 6.-En grupo, comentar… ¿Cómo se utiliza la lógica en tu carrera?.
(10 min).

8 Lógica en tu carrera: Computadora está constituido por circuitos electrónicos que responden a diferentes señales eléctricas, siguiendo los patrones de la lógica booleana. La computadora sólo entiende lenguaje binario. Arquitectura (puertos lógicos) Ingeniería de software (especificación y verificación) Lenguajes de programación (semántica, lenguajes lógicos, deducción de tipos) Bases de datos (álgebra y calculo relacional, SQL,modelos formales), Inteligencia artificial (deducción automática, sistemas expertos) Algoritmos Programación Etc.

9 7.-Entregar asignación. Nos vemos la siguiente clase.