Barquisimeto, ____ de ________de_______

Acta

Hoy, a los __________días de del mes de _________de _________ se levanta la presente acta para dejar constancia de
la presentación del Programa de Estudio de la Unidad Curricular (curso) ____Lógica Computacional_________________
a los estudiantes del __1er_ Semestre de la Carrera ___Informática___________. El Plan de evaluación contempla:
Contenidos Actividades Peso Fecha Semana

Proposiciones. Cuestionario en el aula virtual. 10% 2

• Valor lógico de una
proposición.
• La Negación.
• La Conjunción.
• La Disyunción.
• La Disyunción Exclusiva.
• El condicional.
• Condición Necesaria y
Condición Suficiente.
• Condicionales Asociados.
• Circuitos Combinatorios

• Formas proposicionales. Prueba escrita presencial 20 % 4

• Signos de agrupación.
• Tablas de verdad de formas
proposicionales.
• Tautologías y
Contradicciones.
• Equivalencia Lógica.
• Algebra de proposiciones

• Implicación Lógica. Taller virtual 10 % 6

• Inferencia Lógica.
• Prueba deductiva.

• Prueba por casos. Prueba escrita presencial 20 % 8

• Métodos de demostración
 Método del Contrarrecíproco.
 Método de Reducción al
Absurdo
 Funciones Proposicionales. Cuestionario del aula virtual. 10 % 10
 Cuantificadores.
 Cuantificador Universal.
 Cuantificador Existencial.
 Cuantificador Existencial de
Unicidad.
 Regla de Negación de
Cuantificadores.
 Prueba por Contraejemplo.
 Proposiciones con dos o más
cuantificadores.
 Funciones Proposicionales.
 Cuantificadores.
 Conjuntos y Subconjuntos. Cuestionario del aula virtual. 10% 14
 Igualdad de Conjuntos.
 Conjunto Potencia.
 Unión e intersección de
conjuntos.
 Diferencia, complemento y
diferencia simétrica.

Álgebra de Conjuntos Taller presencial 20 % 16

Teoría de grafos y aplicaciones.
• Grado de un vértice.
• Matriz de adyacencia.
• Grafo simple, completo,
regular.
• Trayectorias y ciclos.
• Grafo conexo.
Circuitos eulerianos.
• Caminos y ciclos
hamiltonianos.

Es todo se leyó y conforme firman.

Apellidos Y Nombres Cédula de Identidad Firma

__________________________
Prof.:_Yadira Matute_________
C.I. N°___11.646.268_________