Docsity
Docsity

Prepara tus exámenes
Prepara tus exámenes

Prepara tus exámenes y mejora tus resultados gracias a la gran cantidad de recursos disponibles en Docsity


Consigue puntos base para descargar
Consigue puntos base para descargar

Gana puntos ayudando a otros estudiantes o consíguelos activando un Plan Premium


Orientación Universidad
Orientación Universidad


Boletín de clases de Lógica Proposicional, Apuntes de Estructuras de Datos y Algoritmos

Documento que recopila las actividades desarrolladas en clase sobre lógica proposicional. Se abordaron temas como la lógica deductiva, formulas proposicionales, tabla de verdad, métodos algebraicos y formas normales. Se incluyen ejercicios resueltos y pendientes.

Tipo: Apuntes

2019/2020

Subido el 05/02/2022

jose-martinez-b8v
jose-martinez-b8v 🇲🇽

2 documentos

1 / 2

Toggle sidebar

Esta página no es visible en la vista previa

¡No te pierdas las partes importantes!

bg1
NUM.
FECHA
ACTIVIDAD
COMENTARIO Y
OBSERVACIONES
1
31/08/2021
Tuvimos nuestra Bienvenida a la materia, checamos y hablamos
sobre el formato de mensajes vía email, también se abordó sobre
la forma de evaluación que contendría exámenes parciales,
sorpresa, tareas y el uso practica de una Bitácora y una Portada
con sus respectivos formatos
2
02/09/2021
Vimos el tema de Lógica (su Objetivo), Razonamientos deductivos
(Ejemplos del 1 - 5), la estructura y esquema que los compone
(Premisa, Premisas/hipótesis, conclusión), Proposiciones,
notaciones simbólicas (^, v, ->, , ) y tipos de razonamiento
(Inductivos, Conectivos: Binario)
3
07/09/2021
Formulas proposicionales de acuerdo con el resultante de
nuestra tabla de verdad pueden ser de un tipo u otro, tautologías
si todas son verdaderas
Hoy aprendimos a construir una tabla de verdad para lo cual
aprendimos a distinguir si están bien construidas
4
09/09/2021
Solución de los siguientes ejercicios por el método dela tabla de
verdad: 12, 13, 14 y 15
Introducción a la primera tabla vista en el curso
5
14/09/2021
Equivalencias
Demostración por métodos de tablas de verdad. (tautología)
Y la Tabla número II.
6
21/09/2021
-Vimos Métodos algebraicos para resolver equivalencias
utilizando la Tabla II.
-Partir de la condicional se puede obtener:
7
23/09/2021
Solución delos siguientes ejercicios por el método algebraico:
43, 44, 45, 46 y 47
8
05/10/2021
Resolución del examen sorpresa ES02B
9
07/10/2021
Resolución de ejercicio 51, 52, 54 y 56 demostrar su equivalencia
por el método algebraico
10
12/10/2021
- Formas normales y dispositivos de dos estados
- Forma normal disyuntiva principal
- Forma normal conjuntiva principal
Trabajamos con los ejercicios: 69 y 70
11
14/10/2021
Trabajamos sobre FNDP Y FNCP con los ejercicios: 66 (incisos a, b,
c y d) y 67 (incisos a, b, d y e).
12
19/10/2021
Formas normales Principales de los ejercicios:
Ejercicio 51 incisos a, b, c.
Características de software que se entrega el 11 de noviembre
Asignación del Proyecto.
13
21/10/2021
Ejercicio 51 inciso d
pf2

Vista previa parcial del texto

¡Descarga Boletín de clases de Lógica Proposicional y más Apuntes en PDF de Estructuras de Datos y Algoritmos solo en Docsity!

NUM. FECHA ACTIVIDAD

COMENTARIO Y

OBSERVACIONES

Tuvimos nuestra Bienvenida a la materia, checamos y hablamos sobre el formato de mensajes vía email, también se abordó sobre la forma de evaluación que contendría exámenes parciales, sorpresa, tareas y el uso practica de una Bitácora y una Portada con sus respectivos formatos 2 02/09/ Vimos el tema de Lógica (su Objetivo), Razonamientos deductivos (Ejemplos del 1 - 5), la estructura y esquema que los compone (Premisa, Premisas/hipótesis, conclusión), Proposiciones, notaciones simbólicas (^, v, - >, , ) y tipos de razonamiento (Inductivos, Conectivos: Binario) 3 07/09/ Formulas proposicionales de acuerdo con el resultante de nuestra tabla de verdad pueden ser de un tipo u otro, tautologías si todas son verdaderas Hoy aprendimos a construir una tabla de verdad para lo cual aprendimos a distinguir si están bien construidas 4 09/09/ Solución de los siguientes ejercicios por el método dela tabla de verdad: 12, 13, 14 y 15 Introducción a la primera tabla vista en el curso 5 14/09/ Equivalencias Demostración por métodos de tablas de verdad. (tautología) Y la Tabla número II. 6 21/09/

  • Vimos Métodos algebraicos para resolver equivalencias utilizando la Tabla II.
  • Partir de la condicional se puede obtener: 7 23/09/ Solución delos siguientes ejercicios por el método algebraico: 43, 44, 45, 46 y 47 8 05/10/2021 Resolución del examen sorpresa ES02B 9 07/10/ Resolución de ejercicio 51, 52, 54 y 56 demostrar su equivalencia por el método algebraico 10 12 /10/
  • Formas normales y dispositivos de dos estados
  • Forma normal disyuntiva principal
  • Forma normal conjuntiva principal Trabajamos con los ejercicios: 69 y 70 11 14/10/ Trabajamos sobre FNDP Y FNCP con los ejercicios: 66 (incisos a, b, c y d) y 67 (incisos a, b, d y e). 12 19/10/ Formas normales Principales de los ejercicios: Ejercicio 51 incisos a, b, c. Características de software que se entrega el 11 de noviembre Asignación del Proyecto. 13 21/10/2021 Ejercicio 51 inciso d

Ejercicio 51 incisos d, e, f, g, h. Ejercicio 52 incisos a, b, c, d, e, f y pendientes g y h 15 28/10/ Ejercicio 66 inciso a, b, c, d y e Ejercicio 67 incisos a, b, c, e, f y g Sorpresa asignación de la tarea a entregar el 29 de Octubre a las 11 16 4/11/ TEMA 4: Elementos de inferencia para el cálculo proposicional Tabla tres Implicación tautológica Demostrar la implicación tautológica. Ejercicios 64, 65, 66, 67, 68, 69 y 70 Resolvimos los ejercicios 71, 72, 73, 74 y 75 17 09/11/ Ejercicios 76 , 77 y 78 de mostrar la validez por medio de tabla de verdad. Método de deducción paso a paso Ejercicios 79 18 11/11/2021 Ejercicios 84 y 85 20 16/11/2021 Primer Examen Parcial 21 18/11/ Segunda oportunidad de entrega del Primer Examen Parcial el Día 19/11/2021 a las 12 horas. 22 23/11/ Empezamos el tema tres de sistemas algebraicos y utilizando todo lo aprendido en el curso resolvimos los ejercicios Formas Canónicas Suma de productos y productos de suma 23 30/11/ Nuevo método de minimización booleana Ejercicio 10