Datos Generales
Nombre de la asignatura: Matemáticas Básicas para la Computación
Clave de la asignatura: IFR-9326
Horas/teoría: 5
Horas/practica: 0
Créditos: 10

Temario:
Número
Temas
Subtemas
I
Sistemas Numéricos y Aritmética del Computador

1.1 Clasificación de los Números
1.2 Representación Decimal
1.3 Representación Binaria
1.4 Representación Octal y hexadecimal
1.5 Complementos
1.6 Aritmética modular

II
Lógica Proposicional 2.1 Proposiciones
- Proposiciones Simples y Compuestas
- Términos de Enlace de Proposiciones
- Simbolización de Proposiciones y de los Términos de Enlace
2.2 Tipos de Proposiciones
- Conjunción
- Disyunción Condicional y Bicondicional
2.3 Termino de Enlace Dominante
- Elementos para Determinar el Termino de Enlace Dominante
2.4 Formulas Lógicas
- Valores de certeza de una Proposición
- Tablas de Verdad de las proposiciones Moleculares Básicas
2.5 Diagramas Lineales
- Elaboración de la Tabla de Verdad para Cualquier Proposición
- Tautologías
- Contradicciones
- Reglas de Inferencia
- Demostraciones directas Condicionales, por Contradicción y por Inducción.
- Inferencias Validas y no Validas
III
Conjuntos, relaciones, funciones y Álgebra Booleana 3.1 Conceptos Básicos de Conjuntos
3.2 Operaciones y Álgebra de Conjuntos
3.3 Aplicaciones
3.4 Arreglos Computacionales
3.5 Compuertas Lógicas
3.6 Concepto de Relación
- Relaciones Binarias
- Relaciones de Equivalencia
3.7 Definición de Funciones
- Composición de Funciones
- Clases de Funciones
- Funciones Inversas
- Funciones Localizadoras
IV
Teoría de Grafos

4.1 Grafos
- Nodos
- Ramas y Lazos
- Ramas Paralelas
4.2 Grafos Simples
4.3 Grafos de Similaridad
4.4 Grafos Bipartidos
4.5 Representación Matricial de grafos
- Ramas sucesivas de longitud "n"
- Matriz de Adyacencia e Insidencia
- Camones
- Camones Simples
4.6 Grafos Conexos
- Camones de Euler
- Valencia de Nodos
- Componente de un Grafo
4.7 Grafos Ponderados
- Longitud de un Camino
- El Camino mas Corto
- Dos Problemas Clásicas
- "El Problema de los Puentes de Konigsberg"
- "El Problema de la Locura Instantánea"
- Grafos de Isoformos
- Grafos Planos
- Grafos Homeomorfos
- Teoremas de Kuratowski y de Euler

V Gramáticas y Lenguajes Formales 5.1 Expresiones Regulares
5.2 Lenguajes Formales
5.3 Semigrupos
5.4 Maquinas de Estado Finita
5.5 Autómatas y Lenguajes

Bibliografia:
1.- Patrick Suppes. Lógica Matemática. Ed. Cecsa.

2.- Elements of Discrete. Mathematics. Ed. Liu, C.L.

3.- Hasser Lassalle & Sullivan. Análisis Matemático. Ed. Trillas Vol. I.

4.- Johnson & Baugh. Matemáticas Discretas. Ed. Interamericana.


Volver