Matematicas discretas

LISTA DE VERIFICACION DOCUMENTO DE INVESTIGACIÓN
NOMBRE ARCHIVO ELECTRÓNICO (unidad#_E#.pdf) -2 y check list -2
PORTADA

nombre de materia (Matematicas Discretas)
nombre unidad (LógicaProposicional)
numeros de control
nombres del alumnos

mes y año de elaboración (noviembre 2014)
logo del tecnológico
ÍNDICE
generado automatico
conpaginado
no aparecen referencias bibliográficasINTRODUCCIÓN
redacción entendible
más de ½ cuartilla
COMPETENCIA

1

1

2.5

1

Analizar y resolver problemas computacionales utilizando las técnicas básicas de lógica e inducción matemáticaMARCO TEÓRICO

20

puntos del temario validando material y referencias (subindices entre corchetes, separar con comas)

3.1 Lógica proposicional. 3.1.1 Concepto de proposición
3.1.2Proposiciones compuestas (Disyunción, Conjunción, Negación, Condicional, Bicondicional)
3.1.3 Tablas de verdad
3.1.4 Tautologías, contradicción y contingencia
3.1.5 Equivalencias Lógicas
3.1.6 Reglas deinferencia
3.1.7 Argumentos válidos y no válidos
3.1.8 Demostración formal (Directa, Por contradicción)
3.2 Lógica de predicados. 3.2.1 Cuantificadores
3.2.2 Representación y evaluación depredicados
3.3 Algebra declarativa
3.4 Inducción matemática
3.5 Aplicación de la lógica matemática en la computación

PRACTICAS (26)

40

Mapa mental (1 por colaborador anotar el nombre en la partesuperior derecha comenzando por apellidos) requisito
para validar seccion practicas

12 Lógica Matemática
10 lenguaje natural, lógica proposicional, comprobacion traducción y tabla
4 AplicaciónCONCLUSIONES
Redacción entendible, experiencia no definiciones
individual nombre comenzando por apellidos parte superior
minimo 7 renglones completos
BIBLIOGRAFÍA

10

5

Libros, páginas deinternet educativas, centros de investigación, artículos científicos, actualizadas, nombre de la dependencia que la público,
tema, url, fecha de actualización y fecha de acceso.

validas...