1 Lgica Proposicional Clsica y Lgica de Primer Orden Conceptuales: Lgica proposicional. Sintaxis y semntica. Tablas de verdad.

. Tautologas, contradicciones y contingencias. Implicaciones y equivalencias lgicas. Dualidad. Circuitos lgicos. Razonamientos y reglas de inferencia. Demostraciones en matemtica. Lgica de Primer Orden. Sintaxis y Semntica. Interpretaciones y Modelos. Procedimentales: Reconocimiento de frmulas satisfacibles e insatisfacibles. Utilizacin de las tablas de verdad para comprender la semntica del clculo proposicional. Utilizacin de esquemas deductivos. Construccin de la proposicin dual de otra dada. Simplificacin de redes de conmutacin mediante la utilizacin de leyes lgicas. Diseo de una red atendiendo a la proposicin lgica que la modela. Utilizacin de frmulas lgicamente equivalentes para modelar una red de conmutacin. Interpretacin de frmulas cuantificadas. Reconocer variables libres y ligadas. Utilizacin de los cuantificadores para generar enunciados. Utilizacin de las reglas de inferencia para construir razonamientos vlidos. Utilizacin de reglas de inferencia y razonamientos vlidos para hacer demostraciones. Carga horaria: 24 horas ctedras. 2 Teora de nmeros e induccin Conceptuales: Divisibilidad y Divisores. Nmeros Primos: Propiedades. Mximo comn divisor y mnimo comn mltiplo. La relacin mdulo en los enteros. El algoritmo de la divisin. Ecuaciones diofnticas. Nmeros Primos y el Teorema fundamental de la aritmtica. Induccin matemtica. Procedimentales: Identificacin de propiedades de los divisores de un nmero entero. Aplicacin de las propiedades en la resolucin de problemas. Identificacin de propiedades del mcd y del mcm entre dos nmeros. Identificacin de nmeros primos y compuestos. Demostracin de propiedades relativas a la divisibilidad y a las propiedades del mcd. Utilizacin de la induccin como mtodo para demostrar propiedades relativas a los nmeros naturales. Carga horaria: 18 horas ctedras. 3 Relaciones de recurrencia Conceptuales: Relaciones de recurrencia. Solucin general para las relaciones de recurrencia lineales, homogneas y no homogneas de hasta orden dos y con coeficientes constantes. Nmeros aleatorios. Procedimentales: Aplicacin de las relaciones de recurrencia para hallar en trmino general de una sucesin. Resolucin de relaciones de recurrencia homogneas de primero y segundo orden. Reconocimiento de relaciones de recurrencia no homogneas. Utilizacin de distintas estrategias (sustitucin directa, en reversa) para encontrar la solucin a relaciones de recurrencia no homogneas. Aplicacin de las relaciones de recurrencia a la generacin de nmeros aleatorios. Reconocimiento de Nmeros aleatorios.

Generacin de nmeros aleatorios utilizando distintas tcnicas. Carga horaria: 12 horas 4 Estructuras Algebraicas Finitas (Grupos, Anillos, Cuerpos, lgebras de Boole) Conceptuales: 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. Sublgebras booleanas y morfismos. lgebras de Boole finitas. Funciones y expresiones booleanas. Formas cannicas. Procedimentales: Reconocimiento de leyes de composicin interna definidas en conjuntos infinitos y finitos. Identificacin de las propiedades que verifican las distintas leyes de composicin interna definidas en conjuntos infinitos y finitos. Utilizacin de matrices para definir leyes de composicin interna en conjuntos finitos. Demostracin de propiedades relativas a las leyes de composicin interna Reconocimiento de los distintas estructuras algebraicas: monoides, semigrupos y grupos atendiendo a la operacin dada y al conjunto en el que estn definidas. Diseo de tablas de doble entrada que representen distintas estructuras algebraicas. Justificacin de propiedades que verifican los grupos. Elaboracin de tablas que representen grupos finitos. Identificacin de distintos anillos. Justificacin de propiedades que verifican los anillos. Elaboracin de tablas que representen anillos finitos. Identificacin de cuerpos, en especial aquellos que son finitos (Zp, p primo). Reconocimiento de conjuntos con operaciones binarias que constituyen lgebras de Boole. Justificacin de propiedades que verifican las lgebras de Boole. Diseo de tablas que representen lgebras de Boole de acuerdo a las propiedades que deben verificar. Aplicacin de las propiedades de los morfismos para resolver situaciones prcticas. Ejemplificacin de sublgebras booleanas de un lgebra dada. Relevamiento de todas las sublgebras de un lgebra dada. Ejemplificacin de lgebras de Boole finitas. Bsqueda de isomorfismos entre lgebras de Boole finitas con el lgebra de los subconjuntos de un conjunto finito. Identificacin de distintas funciones booleanas. Realizacin de distintas operaciones con las funciones: suma, complementacin y producto booleanos. Obtencin de las distintas formas cannicas de una funcin booleana. Carga horaria: 24 horas 5 Grafos, Digrafos y rboles Conceptuales: Dgrafos y grafos: primeros ejemplos. Nodos, arcos, adyacencia, incidencia, grado, caminos, ciclos. Subdigrafos y digrafos parciales. Relaciones binarias y digrafos. Matrices y digrafos. Matriz de adyacencia, Suma y Producto de digrafos. Algunos grafos especiales. rboles. rboles con raz y definiciones recursivas. Los rboles como estructuras ordenadas y etiquetadas. Recorrido de nodos: preorden, posorden e inorden. rboles de refutacin de una frmula del clculo proposicional. Procedimentales: Utilizacin de subdigrafos y digrafos parciales para modelar situaciones problemticas que ataen slo a un grupo reducido de nodos.

Exploracin de relaciones binarias a travs de los dgrafos que las representan. Utilizacin de matrices y su operatoria algebraica para operar con el nmero de nodos, arcos y caminos. Utilizacin de matrices y su operatoria algebraica para ingresar datos sobre los dgrafos en un programa de computadora. Ejemplificacin de grafos regulares, completos, eulerianos, hamiltonianos. Reconocimiento de los grafos como modelos para resolver distintos problemas. Utilizacin de relaciones entre nodos y arcos para deducir propiedades de los grafos. Utilizacin de la recursin como alternativa para analizar rboles y recorridos de nodos. Deduccin de propiedades relacionadas con el nmero de arcos, nodos internos y grados de los nodos. Utilizacin de la recursin como alternativa para analizar rboles y recorridos de nodos. Lectura de los nodos de un rbol de acuerdo a la situacin planteada. Reconocimiento de los dgrafos como modelos para resolver distintos problemas. Utilizacin de tcnicas del conteo para establecer relaciones entre el nmero de nodos y arcos. Interpretacin de la informacin que brindan los rboles de refutacin sobre la satisfaccin de una frmula o de un conjunto de frmulas del clculo proposicional clsico o de predicados. Carga horaria: 18 horas Contenidos Actitudinales comunes para todos los ejes temticos: Valorar los aportes de los contenidos matemticos para resolver las distintas situaciones problemticas vinculadas a problemas del propio campo disciplinar y de las reas de programacin y computacin. Confiar en las propias posibilidades para plantear y resolver situaciones problemticas. Fortalecer la independencia de pensamiento. Respetar las ideas de sus compaeros y profesores. Perseverar con el esfuerzo y gozar en la bsqueda de soluciones. Participar activamente en las tareas encomendadas, en las clases, en las actividades propuestas, en los talleres o actividades curriculares que se generen desde la ctedra o el rea. Hacer permanente el ejercicio de la honestidad intelectual, puntualidad y prolijidad en la entrega y realizacin de trabajos individuales y/o grupales.