EVALUACIN DISTANCIA TERICA

IDENTIFICACIN DE LA ASIGNATURA
TIPOLOGA: TERICO-PRCTICA

CLASE: REGIONAL

PERODO: 2016 - 1
PROGRAMA
INGENIERA EN INFORMTICA
INGENIERA EN INFORMTICA

PLAN
1
2

ASIGNATURA
16869 - LGICA MATEMTICA
16869 - LGICA MATEMTICA

IDENTIFICACIN DEL ESTUDIANTE

NOMBRE: ________________________________________ CDULA:
________________
CAU: __________________________ CALIFICACIN: _________
FUNDAMENTACIN DE LA EVALUACIN
1. OBJETIVOS
El desarrollo de este espacio acadmico tiene como objeto potenciar en los estudiantes las
habilidades para:

Identificar las nociones bsicas de la lgica matemtica y entender la utilidad de la

lgica en las ciencias de la computacin.
Definir y comprender los conceptos bsicos de representaciones en lgica.
Entender cmo se representan proposiciones y trminos de enlace.
Aplicar conceptos bsicos de los conjuntos en problemicas sobre clasificacin de
elementos.
Obtener conocimientos bsicos en el manejo de compuertas lgicas.
Aplicar conceptos bsicos en conjuntos numricos para conversin de bases en los
mismos.
Conocer los elementos bsicos donde se ubican las compuertas lgicas

2. ELEMENTOS DE COMPETENCIA A EVALUAR

El desarrollo de este espacio busca que los estudiantes comprendan la utilidad de la lgica en
las ciencias de la computacin. Identifique los fundamentos tanto de la lgica proposicional

como de la lgica de predicados. Desarrollo de habilidades necesarias que le permitan

enfrentar un problema y analizarlo de manera lgica. Evidenciar fluidez en el uso de los
formalismos lgicos y la manipulacin de frmulas.

3. REGLAMENTACIN
Artculo 33. Sobre la evaluacin de las asignaturas.
Artculo 37. Sobre los exmenes supletorios.
Artculo 41. Sobre las Habilitaciones.
Artculo 42. Sobre las Calificaciones.
Artculo 43. Revisin de Calificaciones
Artculo 44. Evaluaciones no presentadas
Artculo 45. Correccin de calificaciones
NOTA: Si el estudiante no presenta la evaluacin presencial en la fecha estipulada, es necesario que
tramite la solicitud de supletorio, adems debe hacer entrega de las evaluaciones de distancia terica
y distancia prctica entregadas en el Aula Virtual.

4. BIBLIOGRAFA DE APOYO
JIMENEZ M. JOS A. Matemticas para la Computacin. Edit. Alfaomega. 2009
SUPPES, PATRICK. Primer curso de lgica matemtica

5. ACTIVIDADES A DESARROLLAR
1. Use la tabla de verdad para verificar cuales de las siguientes proposiciones son
verdaderas:

2. Para el ejercicio asuma A = Javier es Paisa y B= Pedro es Rolo. Formalice las

oraciones en terminos de predicados.
a. Javier no es Paisa
b. Javier es Paisa mientras que Pedro es Rolo
c. Si Javier es Paisa entonces Pedro no es Rolo
d. Javier es Paisa o si Javier no es Paisa entonces Pedro es Rolo
3. Hay tres cofres, uno contiene el tesoro, los otras dos estan vacios. Cada cofre
tiene impreso lo que contiene
Cofre 1: El tesoro no esta aqu
Cofre 2: El tesoro no esta aqu
Cofre 3: El tesoro esta en la Cofre 2
Solo un mensaje es verdadero; los otros dos son falsos. En cual cofre esta el
tesoro?
Formalice el acertijo en logica propocisional y encuentre la solucion utilizando
una tabla de verdad.

4. Mis estudiantes Kevin, Nicolas y Gabriel se encuentran encerrados en un cuarto

oscuro y frio (Como fue que llegarn all ser un proximo desafio) Despues
de un tiempo de estar buscando, encontraron tres puertas: la primera es roja,
la segunda es azul y la tercera es verde. Detras de cada puerta esta el camino a
la libertad. En las otras dos puertas un leon hambriento espera por ellos.
Cada puerta tiene un aviso el cual indica:
Puerta 1: La libertad esta al respaldo de esta puerta
Puerta 2: La libertad no esta al respaldo de esta puerta
Puerta 3: La libertad no esta al respaldo de la puerta azul
Al menos uno de los tres avisos en las puertas es verdadero y almenos uno de
ellos es falso, cual puerta deberan selecionar sin que corran riesgos?
Formalice el acertijo en logica propocisional y encuentre la solucion utilizando
una tabla de verdad.
5. La figura del ejercicio 5 muestra la interseccin de una autopista principal con
camino de acceso secundario. Se colocaron sensores de deteccin de vehculos
a lo largo de lo carriles C y D (camino principal) y de los carriles A y B (camino
de acceso). Las salidas de estos sensores estn en BAJO (0) cuando no hay
vehculos presentes, y en Alto (1) cuando hay vehculos presentes. El semforo
de la interseccin debe controlarse de acuerdo con la siguiente lgica:
a. El semforo Este Oeste (E-O) se pondr en verde cada vez que estn
ocupados ambos carriles C y D
b. El semforo E-O estar en verde cada vez que C o D estn ocupados,
pero cuando A y B no estn ambos ocupados.
c. El semforo norte-sur (N-S) se pondr en verde cada vez que ambos
carriles A y B estn ocupados, pero cuando C y D no estn ambos
ocupados.
d. El semforo N-S tambin se pondr en verde cuando A o B estn
ocupados, mientras que C y D estn ambos vacantes.
e. El semforo E-O estar en verde cuando no hayan vehculos presentes.
Utilizando las salidas del sensor A, B, C y D como entradas, disee un circuito
lgico para controlar el semforo. Debe haber dos salidas N-S y E-O, que
cambien a ALTO cuando la luz correspondiente se vaya a poner en verde. El
semforo solo tiene dos Luces: Verde y Rojo.
Simplifique el circuito lo ms que se pueda y muestre todos los pasos.

Figura 1. Ejercicio 5
6. Para una direccion IP 11000000.00010011.00001000.01110011, se enmascara
para evitar la identificacin en la red para ello: se aplica complemento a 2,
posteriormente se realiza la multilicacin por 8. Cual es la direccion real que
viaja por la red?
7. Encuentre una versin de circuito simplificada para:

Figura 2. Ejercicio 7

8. Utilizando Mapas de Karnaugh realice las simplificacin de la expresin

booleana y represente el resultado mediante un circuito:
a. B(W,X,Y,Z) = m(3,6,7,9,13,14,15)

9. En un computador, las direcciones de las localidades de memoria son nmeros

binarios que identifican cada uno de los circuitos de memoria en donde se
almacena un byte. El nmero de bits que forman cada direccin depende de
cuantas localidades haya. Como el nmero de bits puede ser muy extenso, a
menudo las direcciones se especifican en hexadecimal, en lugar de binario.
a. Si un computador utiliza una direccin de 20 bits Cuntas localidades
de memoria distintas hay?
b. Cuantos dgitos hexadecimales se necesitan para representar la
direccin de una localidad de memoria?

c. Cul es la direccin hexadecimal de la localidad de memoria numero

256? (Nota: la primera direccin siempre es cero)
10. En una encuesta realizada a un grupo de 104 estudiantes acerca del software
de su preferencia se encontr que: 63 estudiantes gustan de C++, 54 de JAVA y
48 de PHP; 30 gustan de C++ y JAVA; 25 de JAVA y PHP, y 26 de C++ y PHP; 8
estudiantes no gustan de los tres software. Cuntos estudiantes gustan de los
tres software?
6. VALORACIN
Las evaluaciones Distancia Terica y Distancia Prctica se deben entregar mximo el da de la evaluacin
presencial en las fechas establecidas. No se calificarn trabajos que no se encuentren en el aula ni
entregados fuera de la fecha estipulada.
Cada uno de los puntos de esta evalaucin tiene una valoracion de 5, para un total de 50 puntos
correspondientes al total de la evaluacin.

7. CRITERIOS DE EVALUACIN Y PARMETROS DE ENTREGA

Cumplir con los requerimientos Institucionales para la presentacin de la evaluacin a Distancia Terica.
(Portada, tabla de contenido, introduccin, objetivos, preguntas, respuestas, bibliografa, etc.)
Utilizar el lxico propio de la asignatura.
Citar las fuentes consultadas segn normas ICONTEC o APA.
Dominio de la ortografa y los signos de puntuacin bsicos: maysculas, tildes, comas, puntos, etc.
Presentar los procesos realizados para solucionar las actividades, sin ello las actividades no tiene el valor
correspondiente.
Cumplir con las fechas de entrega.
No hacer copia literal de textos, pginas de Internet, etc. Si las respuestas son copiadas literalmente o
parafraseadas de textos impresos o publicados en la red el punto se anula.