Matematicas discretas
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...
Regístrate para leer el documento completo.