MATEMATICAS PARA LA COMPUTACION I

UNIVERSIDAD DE GUANAJUATO
ÁREA ECONÓMICO-ADMINISTRATIVA
Nombre de la Asignatura:
Matemáticas para la Computación I.
Clave
MA0905

Valor en Créditos
6

Programa Académico
Lic. Sistemas de InformaciónAdministrativa.

Semestre en que se
imparte la materia:
4º
Prerrequisitos
TC106- Matemáticas.
Área
Matemáticas

Hrs. por semana:
Teoría______
Practica_____
Modalidad
Exposición.
No. DeRevisiones:_______
Fecha de última revisión
_______/_______/_______

1.- Objetivo General.
Se presenta en este curso lógicas formales: (1) modelar e implementar diversas formas de
razonamiento y procesos deductivos(2) especificar formalmente objetos y procesos
computacionales. Se establece conexiones de estas lógicas con los fundamentos
matemáticos de la ciencia de la computación y otras áreas de lacomputación. También se
discutirá la implementación computacional de los formalismos lógicos propuestos, con el
propósito de representar y derivar conocimiento a través del computador. Se da
importancia en eluso de razonadores automatizados.
Al finalizar el curso, el alumno contará con conocimientos en matemáticas discretas
básicas, los cuales serán útiles en la solución de problemas mediante el uso deherramientas computacionales.
2.- Campo de Aplicación.
I. ______________
II. ______________
III. ______________
3.- Perfiles y Competencias.
Del Profesor.____________________________________________________________________________
____________________________________________________________________________
________________________________________________________________________________________________________________________________________________________

Del Alumno.
________________________________________________________________________________________________________________________________________________________
____________________________________________________________________________
____________________________________________________________________________

2.1 4.-...