|
|
|
|
Juan
P. Aparicio
Assistant Professor
Department of Science and Technology
Universidad Metropolitana
San Juan 00928-1150, Puerto Rico
e-mail: japaricio@suagm.edu
|
|
Guías de Estudio
Guía
9.
Bosquejo y Fechas de Exámenes. A. Principios de Lógica 1. Proposiciones lógicas 2. Tablas de verdad 3. Proposiciones lógicamente equivalentes 4. Razonamientos validos e inválidos
B. Teoría elemental de números y razonamiento matemático
1. Axiomas de los números reales 2. Naturales, enteros, racionales e irracionales 3. Demostraciones directas e indirectas 4. Irracionalidad de raíz de 2 5. Secuencias y sumatorias 6. Principio de Inducción 7. Razonamiento recursivo
C. Principios de la Teoría de conjuntos y combinatoria
1. Conjuntos y Subconjuntos 2. Conjuntos finitos e infinitos numerables 3. Permutaciones 4. Combinaciones. Teorema del binomio 5. Probabilidad discreta
D. Funciones definidas sobre conjuntos numerables 1. Algebras de Bool 2. Funciones booleanas y su representación 3. Circuitos y compuertas 4. Minimización de circuitos 5. Maquinas de estados finitos. Tablas y diagramas de estado
E. Maquinas de estados finitos y lenguajes 1. Lenguaje: La teoría de conjunto de las cadenas. 2. Lenguaje y su sintaxis. Gramática, Forma Backus-Naur 3. Maquinas de estado finito para reconocer lenguajes. 4. Maquinas de Turing (opcional)
F. Introducción a la teoría de Grafos 1. Definiciones y ejemplos 2. Representaciones, Matriz de adyacencia 3. Caminos
G. Árboles 1. Definiciones, propiedades y ejemplos 2. Aplicaciones de árboles.
Referencias
|