[Noti-TC] temario y comisiones de practica

[jdelia at intec.unl.edu.ar]

     * [22-08-09, 16:20]
        * Está el listado para las comisiones de práctica, Martes y
Jueves (Comisión 1: de 17:30 a 19:00 hs; Comisión 2: de 19:00 a 20:30
hs), http://venus.ceride.gov.ar/~mstorti/notas4.cgi

        * Temario para el control de teoría de la semana del 24 al 28
de agosto (texto Rosen K.H., "Matemática Discreta y sus Aplicaciones",
5ta edición, rústica, Mc Graw Hill, 2004):

           * Sec. 1.1 Lógica (pág. 2). Proposiciones: valor de verdad,
proposiciones compuestas, tabla de verdad, operador negación,
conectivos lógicos (conjunción, disyunción, o-exclusivo).
Implicaciones: definición, recíproca, contrarrecíproca e inversa,
bicondicional. Precedencia de operadores lógicos, búsquedas booleanas.
Lógica y operaciones con bits: cadena de bits, operaciones bit OR, AND
y XOR [Excluir: traducción de frases del lenguaje natural,
especificaciones del sistema y juegos de lógica].

           * Sec. 1.2 Equivalencias proposicionales (pág. 19).
Introducción: tautología, contradicción y contingencia. Equivalencias
lógicas: definición, Tablas 6-7 (pág. 22).

           * Sec. 1.3 Predicados y cuantificadores (pág. 26).
Introducción: función proposicional y predicado. Cuantificadores:
cuantificador universal, cuantificador existencial, variables ligadas,
negaciones. Traducción de frases del lenguaje natural al lenguaje
formal. Ejemplos de Lewis Carroll [excluir: programación lógica].

           * Sec. 1.4 Cuantificadores anidados (pág. 40). Formalización
de sentencias con cuantificadores anidados. Formalización de
sentencias en expresiones lógicas. Negación de cuantificadores
anidados. El orden de los cuantificadores, tabla 1 (pág. 46). Pensando
en los cuantificadores como bucles.

----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.