Junio&2013&

Programa'de'Diseo'Curricular'y'Evaluacin&
GUA TCNICO SUPERIOR UNIVERSITARIO

NOMBRE DE LA ASIGNATURA

INDEP. DEP. H/S/S CRDITOS

LGICA Y CONJUNTOS

TERICAS

SIGLA

PRCTICAS

TOTAL

COORDINACIN

CLAVE
TSU EN SOFTWARE

PRERREQUISITOS

PERFIL PROFESIONAL DEL DOCENTE

Licenciatura en Matemticas, Ingeniera en computacin, Ciencias de la Computacin o a fin a la

materia.
Conocimiento y experiencia en la teora de conjuntos y la lgica matemtica.

COMPETENCIAS GENRICAS
COMUNICACIN

( X )

INNOVACIN Y CAMBIO

ARGUMENTACIN CRTICA

COMPROMISO INTEGRAL
HUMANISTA

TRABAJO EN EQUIPO

( X )

DISCERNIMIENTO Y
RESPONSABILIDAD

DIMENSIONES

REAS

DIMENSIN DE FORMACIN PROFESIONAL (DFP)

( X )

REA COMN

DIMENSIN DE FORMACIN SOCIAL (DFS)

REA
ESPECFICA

( X )

DIMENSIN DE FORMACIN INTEGRAL HUMANISTA

(DFIH)

RESULTADOS DE APRENDIZAJE DE LA ASIGNATURA

Expresar proposiciones dadas utilizando operadores lgicos y cuantificadores.

Demostrar proposiciones utilizando diferentes mtodos (Deduccin directa, Contradiccin e Induccin
Matemtica).
Hacer operaciones con conjuntos expresados en forma numrica, grfica y simblica con base en la
definicin de las mismas

Junio&2013&
Programa'de'Diseo'Curricular'y'Evaluacin&
UNIDADES TEMTICAS (TEMAS Y SUBTEMAS)
1. Lgica
1.1. Proposiciones y operadores lgicos
1.2. Tablas de verdad
1.3. Equivalencia lgica, tautologa y contradicciones
1.4. Reglas de inferencia
1.5. Calculo de predicados
1.6. Cuantificadores lgicos
1.7. Diagramas de Venn
1.8. Tcnicas de demostracin
1.8.1. Pruebas directas
1.8.2. Contradiccin
1.8.3. Induccin matemtica
2. Conjuntos
2.1. Representacin de los conjuntos (Numrica, Grfica, Simblica)
2.2. Definicin de conjunto y subconjunto
2.3. Operaciones con conjuntos (Unin, Interseccin, Complemento, Diferencia)
2.4. Propiedades de las operaciones con conjuntos

MECANISMOS DE EVALUACIN

RESULTADO DE APRENDIZAJE

Expresar proposiciones dadas utilizando operadores lgicos y cuantificadores.

CRITERIOS

INSTRUMENTO

Resuelve, en equipos de trabajo, bateras de

ejercicios sobre los siguientes temas:
proposiciones y operadores lgicos.
equivalencia lgica, tautologas y
contradicciones.
cuantificadores lgicos.
calculo de predicados.

Cuestionario

Resuelve, en equipos de trabajo, una batera de

problemas usando los siguientes instrumentos:
tablas de verdad.
reglas de inferencia.
diagramas de Venn.

Cuestionario

PORCENTAJE PERIODO

10%

1er parcial

10%

1er parcial

Junio&2013&
Programa'de'Diseo'Curricular'y'Evaluacin&
Utiliza las tcnicas de operadores lgicos y
cuantificadores para la solucin de un ejercicio
frente a la clase.

Rbrica

Elabora un formulario con los conceptos

primordiales sobre la lgica y cuantificadores que
le ayuden a la resolucin de problemas expuestos
en clase.

Lista de cotejo

Utiliza los conceptos de operadores lgicos,

cuantificadores y representaciones para la
expresin de proposiciones.

Examen

TOTAL

3%

1er parcial

2%

1er parcial

15%

1er parcial

40%

RESULTADO DE APRENDIZAJE

Demostrar proposiciones utilizando diferentes mtodos (Deduccin directa, Contradiccin e Induccin

Matemtica).

CRITERIOS

INSTRUMENTO

Expone en equipos de trabajo, algunos de los

mtodos de demostracin (Deduccin directa,
Contradiccin
e
Induccin
Matemtica)
presentando su definicin y aplicacin.

Escala

Resuelve en equipos de trabajo, una batera de

ejercicios utilizando el mtodo de demostracin
ms conveniente para la demostracin de
teoremas.

Cuestionario

TOTAL

PORCENTAJE PERIODO

10%

2do parcial

5%

2do parcial

15%

RESULTADO DE APRENDIZAJE

Hacer operaciones con conjuntos expresados en forma numrica, grfica y simblica con base en la
definicin de las mismas.

Junio&2013&
Programa'de'Diseo'Curricular'y'Evaluacin&
CRITERIOS

INSTRUMENTO

Resuelve en equipos de trabajo, una batera de

ejercicios con base en la definicin de conjuntos y
sus distintos tipos de representacin.

Cuestionario

Resuelve en equipos de trabajo, una batera de

ejercicios sobre operadores de conjuntos y las
propiedades de las operaciones.

Cuestionario

Utiliza los mtodos de demostracin, definicin

representacin y propiedades de la teora de
conjuntos para la resolucin de problemas.

Examen

Elabora un programa de computadora en el que

ponga en uso al menos dos de las tcnicas,
mtodos o problemas revisados en clase (Lgica,
Conjuntos) para su presentacin ante el grupo, en
la cual demuestre dominio del tema al explicar el
funcionamiento y la forma en la que elabor dicho
programa.

Lista de cotejo

TOTAL

ACTIVIDADES CON DOCENTE

PRCTICAS

TERICAS

Resolucin de cuestionarios breves

sobre los conceptos centrales
expuestos por el profesor.
Resolucin de problemas de manera
individual y en pequeos grupos.
Resolucin de problemas en el
laboratorio de cmputo.
Exposicin del profesor considerando
los problemas resueltos por los
alumnos y las dificultades que tuvieron
en la resolucin y la lectura de los
mismos.
Discusin en pequeos grupos y
presentacin al plenario sobre las

PORCENTAJE PERIODO

5%

2do parcial

5%

2do parcial

15%

2do parcial

20%

Evaluacin
final

45%

ACTIVIDADES INDEPENDIENTES

Resolucin individual de problemas

asignados.
Resolucin de problemas
individualmente o en equipo en el
laboratorio de computo.

Lectura de problemas
Sealamiento de dificultades en la
lectura y resolucin de problemas.

Junio&2013&
Programa'de'Diseo'Curricular'y'Evaluacin&

respuestas de un cuestionario
proporcionado por el profesor.
Exposicin de alumnos y discusin de
las soluciones dadas a los problemas
asignados.

BIBLIOGRAFA

Suppes, Patrick, Hill, Shirley. Introduccin a la lgica matemtica. Reverte. 2008.

Jimnez Murillo, Jos A. Matemticas para la computacin. Alfaomega. 2011.
Lipschutz, Seymour y Lipson, Marc. Matemticas Discretas. Mc. Graw Hill. 2009.

BIBLIOGRAFA COMPLEMENTARIA

Johnsonbaugh, R. Matemticas discretas (4a ed.). Prentice Hall. 1999.

Grimaldi, R. P. Matemticas discreta y combinatoria. Prentice Hall.1998.

OTROS RECURSOS

Pizarrn, can y equipo de cmputo

Material hemerogrfico (Revistas

especializadas, peridicos, publicaciones,
etc.)

Material audiovisual (pelculas, documentales,

videos, etc.)

Recursos tecnolgicos (software, pginas

web, Blackboard, etc.)

Expertos

Otros

INSTALACIONES

Aula
Laboratorio de cmputo

Blackboard