Universidad Tecnolgica Nacional Facultad Regional Resistencia Departamento de Ingeniera en Sistemas de Informacin

French 414 -TE 0722-432928 TEL-FAX 0722-432683 (Int. 219) (3500) Resistencia Chaco

Carrera: Ingeniera en Sistemas de Informacin Plan de Estudio: 2008. Ordenanza N 1150 Bloque: Tecnologas Bsicas rea: Programacin Asignatura: MATEMTICA DISCRETA Desarrollo: 1 Cuatrimestre Nivel: 1 Ciclo Bsico Objetivos Generales: - Aplicar mtodos inductivos, deductivos y recursivos en la resolucin de situaciones problemticas y demostraciones matemticas. - Comprender los conceptos y procedimientos necesarios para resolver relaciones de recurrencia. - Aplicar propiedades y funciones definidas en los nmeros enteros y enteros no negativos. - Caracterizar distintas estructuras algebraicas, enfatizando las que sean finitas y las lgebras de Boole. - Aplicar propiedades de grafos, dgrafos y rboles en la resolucin de situaciones problemticas. Contenidos Mnimos: - Lgica Proporcional Clsica y de Predicados de Primer Orden. - Teora de Nmeros. - Induccin Matemtica. - Relaciones de Recurrencia. - Estructuras Algebraicas Finitas y Algebra de Boole. Horas/semana: 6 Horas/Ao: 96

- Grafos, dgrafos y rboles.

Pgina 1 de 5

Universidad Tecnolgica Nacional Facultad Regional Resistencia Departamento de Ingeniera en Sistemas de Informacin

French 414 -TE 0722-432928 TEL-FAX 0722-432683 (Int. 219) (3500) Resistencia Chaco

PROGRAMA ANALTICO

UNIDAD N 1: Lgica Lgica proposicional. Tablas de verdad y conectivos lgicos. Tautologas, contradicciones y contingencias. Implicaciones y equivalencias lgicas. Redes de conmutacin. Expresiones relacionales y cuantificadores. Razonamientos y reglas de inferencia. Lgica de predicados.

Objetivos Especficos: Operar con proposiciones Construir y hacer demostraciones. Usar funciones proposicionales y cuantificadores. Construir redes de conmutacin.

UNIDAD 2: Sistemas de Numeracin Definicin. Caractersticas. Teorema fundamental de la numeracin. Propiedades. Sistema de base cualquiera. Sistemas: binario, octal y hexadecimal. Conversin a distintas bases. Operaciones aritmticas con nmeros enteros y con parte no entera. Complementos a la base y a la base menos uno.

Objetivos Especficos: Realizar conversin de nmeros a distintas bases. Calcular sumas, restas, multiplicacin y divisin de nmeros en los distintos sistemas. Analizar resultados.

UNIDAD N 3: Digrafos y grafos Digrafos y grafos: Primeros ejemplos. Nodos, arcos, adyacencia, incidencia, grado, caminos, ciclos. Subdigrafos y dgrafos parciales. Relaciones binarias y digrafos.

Pgina 2 de 5

Universidad Tecnolgica Nacional Facultad Regional Resistencia Departamento de Ingeniera en Sistemas de Informacin

French 414 -TE 0722-432928 TEL-FAX 0722-432683 (Int. 219) (3500) Resistencia Chaco

Conexidad. Matrices y digrafos. Matriz de adyacencia y de conexin. Suma y producto de digrafos. Grafos regulares, completos, eulerianos, hamiltonianos. rboles. rboles con raz. Los rboles como estructuras ordenadas y etiquetadas.

Objetivos especficos: Aplicar los conceptos bsicos de la teora de grafos y digrafos para interrelacionar los temas: matrices, relaciones y grafos. Reconocer y aplicar los distintos recorridos que se pueden realizar en un grafo y en un digrafo. Aplicar propiedades de grafos, digrafos y rboles en la resolucin de situaciones problemticas.

UNIDAD N 4: Estructuras Algebraicas finitas. (Grupos, Anillos, Cuerpos, lgebras de Boole) Leyes de composicin interna. Propiedades de una ley de composicin interna. Estructuras algebraicas: monoides, semigrupos, grupos, anillos y cuerpos. Propiedades y ejemplos en cada caso. Grupos y anillos finitos. lgebras de Boole. Definiciones y ejemplos. Propiedades y simplificaciones. lgebras de Boole finitas. Funciones y expresiones booleanas. Formas cannicas en una funcin booleana.

Objetivos especficos: Distinguir los distintos tipos de estructuras algebraicas. Utilizar las propiedades de cada estructura para analizar conjuntos diversos. Caracterizar distintas estructuras algebraicas, enfatizando las que sean finitas y las lgebras de Boole.

UNIDAD N 5: Teora de nmeros Divisibilidad y divisores. Nmeros primos: propiedades. Mximo comn divisor y mnimo comn mltiplo.

Pgina 3 de 5

Universidad Tecnolgica Nacional Facultad Regional Resistencia Departamento de Ingeniera en Sistemas de Informacin

French 414 -TE 0722-432928 TEL-FAX 0722-432683 (Int. 219) (3500) Resistencia Chaco

La relacin mdulo en los enteros. El algoritmo de la divisin. Nmeros primos y el Teorema fundamental de la aritmtica. Induccin matemtica.

Objetivos especficos: Aplicar propiedades y funciones definidas en los nmeros enteros y enteros no negativos. Conocer propiedades de los nmeros primos. Conocer los criterios de divisibilidad. Resolver situaciones problemticas aplicando las propiedades de mximo comn divisor y mn. comn mltiplo. Aplicar la induccin matemtica para demostrar algunas propiedades referidas a los nmeros naturales.

Bibliografa Alberto, Malva; Schwer, I.; Camara, V.; Fumero,Y. - Matemtica Discreta - Ed. Universidad Nacional del Litoral Santa Fe. Argentina- 2005. Bogart, Kennet - Matemtica Discreta - Limusa - Noriega Editores - 1996. Bosch, Jorge - Introduccin al Simbolismo Lgico - Ed. Universitaria de Bs. As.- 1977. Gentile, E. R. - Estructuras Algebraicas - Monografa N3 - Departamento de asuntos cientficos (O. E. A.). Grimaldi, R. P. - Matemticas Discretas y Combinatoria - Adisson - Wesley Iberoamericana 1989. Herstein, I. N. - lgebra Moderna - Ed. Trillas - 1980. Lipschutz, Seymour - Matemtica para Computacin - Ed. Mc. Graw Hill - Series Schaum. Lipschutz, Seymour Matemtica Discreta - Ed. Mc. Graw Hill Series Schaum 1989. Morris Mano, M. - Lgica Digital y Diseo de Computadoras - Ed. Prentice Hall. Naisthat, Francisco - Lgica para Computacin - Ed. Universitaria de Bs. As. 1986. Rojo, Armando - lgebra I Editorial El Ateneo - 1991. Rojo - Hernndez - Rabuffetti - Conceptos Bsicos de Matemtica Moderna.

Pgina 4 de 5

Universidad Tecnolgica Nacional Facultad Regional Resistencia Departamento de Ingeniera en Sistemas de Informacin

French 414 -TE 0722-432928 TEL-FAX 0722-432683 (Int. 219) (3500) Resistencia Chaco

Rosen, Kenneth H. - Matemtica Discreta y sus Aplicaciones - Ed. Mc. Graw Hill - 2004. Salama, A. G. de - Lgica Simblica y Elementos de Mitologa de la Ciencia - Ed. El Ateneo 1988.

Wilson, R. J. - Introduccin a la Teora de Grafos - Ed. Alianza -1983.

Pgina 5 de 5