Teora de las Ciencias Computacionales

Introduccin
En este curso se comprender el sistema terico de conjuntos. A travs
de abstracciones de principios que rigen la realidad, para definir una
relacin, funcin; estas abstracciones definirn una estructura
matemtica con la cual se podrn definir sistemas tericos ms
complejos en las siguientes unidades, es muy importante comprender a
plenitud este sistema para poder terminar con xito las siguientes
unidades.
Tambin se estudiarn los conceptos de lenguajes, su importancia en los
sistemas tericos, y sus partes sintaxis, gramtica y semntica.
Basados en la teora de conjuntos definiremos una estructura ms
compleja, a la cual se denomina autmata, la cual nos permite definir
una estructura de transicin de estados para procesar cadenas y simular
cmputo.
Se ver la distincin entre autmatas determinsticos los cuales realizan
procesos de estructura sencilla en tiempo polinomial, y los autmatas no
determinsticos los cuales nos sirven para modelar procesos de
estructura compleja en tiempo exponencial o mayor.
Se revisar el concepto de lenguajes regulares y no regulares los cuales
nos ayudan definir expresiones para construir vocabularios, y procesar
vocabularios por medio de autmatas.
Se comprender las gramticas regulares para definir un lenguaje, base
para definir lenguajes de programacin hoy en da y en el diseo e
implementacin de compiladores. Se revisar como se procesan estas
cadenas a travs de autmatas de pila y sus propiedades matemticas
como poder de expresar problemas de proceso cuya estructura es
compleja.
Se comprender la definicin de mquina de Turing, una estructura
matemtica que nos permite modelar el cmputo de procesos complejos
que es equivalente al poder de expresabilidad de los lenguajes de
programacin que hoy existen en las computadoras.
Justificacin
La importancia de esta materia ayuda a conocer el diseo terico
interno de una computadora, modelar problemas complejos, adquirir un
nivel de conciencia ms claro sobre la importancia de la lingstica y su
relacin con estructuras y procesos racionales y matemticos.

Esta materia permitir al estudiante tener las bases suficientes para

modelar problemas complejos de optimizacin, desarrollar habilidades
lgicas para comprender y dar solucin a problemas complejos,
entender el concepto de traduccin en lenguajes matemticos y de
cmputo, sentar la base para poder profundizar en nuevos paradigmas
de programacin computacional en el rea de inteligencia artificial, as
como comprender formalizaciones, y si el estudiante prctica por su
cuenta terminando el curso y profundiza sobre estos temas, desarrollar
la habilidad de proponer su propio sistema formal, en base a teora de
conjuntos.
Los temas que se ven en esta materia tambin ayudarn al estudiante a
comprender como se disea e implementa un lenguaje actual de
programacin como Java, C++, C#, Phyton.
El curso permitir al estudiante comprender las estructuras de procesos
que se pueden modelar en computacin para ser resueltas por un
programa computacional, as como sentar la base para el anlisis de
complejidad de las estructuras de procesos, de tal manera que al
proponer un algoritmo que modele el proceso conozca si su algoritmo es
eficiente, si existe una manera de modelarlo de manera ptima y
compararlo con otros modelos.
Objetivo General
Analizar los modelos formales de las ciencias computacionales y sus
propiedades fundamentales a travs de autmatas, gramticas,
lenguajes y mquinas de Turing para aplicarlos en la implementacin de
sistemas computacionales formales.
Temario
Unidad 1. Introduccin a las ciencias computacionales
1.1 Nociones bsicas
1.1.1 Conjuntos
1.1.2 Relaciones
1.1.3 Funciones
1.2 Alfabetos y Lenguajes
1.3 Induccin matemtica
Unidad 2. Autmatas finitos y lenguajes regulares
2.1 Autmatas Finitos

2.1.1 Autmatas Finitos Determinsticos

2.1.2 Autmatas Finitos no Determinsticos
2.2 Equivalencia entre autmatas finitos deterministas y no
deterministas
2.3 Expresiones Regulares
2.4 Lenguajes no Regulares
Unidad 3. Autmatas de pila y lenguajes libres de contexto
3.1
3.2
3.3
3.4

Gramticas regulares
Lenguajes regulares y lenguajes libres de contexto
Autmatas de pila
Propiedades de los lenguajes libres de contexto

Unidad 4. Mquinas de Turing

4.1 Definicin formal de una mquina de Turing
4.2 Construccin modular de una mquina de Turing
4.3 Mquinas de Turing no determinista
Modelo de enseanza - aprendizaje
Durante la presente materia el alumno dispondr de diversas
herramientas tanto acadmicas como tecnolgicas para lograr el
proceso de aprendizaje; las actividades estarn diseadas bajo un
enfoque constructivista, de manera tal que ustedes puedan llevar a cabo
investigaciones, resolver problemas reales de la actualidad, discutir o
debatir asuntos que los reten al uso del pensamiento crtico y sobre
todo, a una adecuada toma de decisiones; relacionando as sus propias
experiencias y lo que les rodea, para construir adecuadamente su propio
aprendizaje.
Adems de las actividades, se les presentan contenidos multimedia que
en plataforma se llaman "Apuntes", mismos que van a reforzar los
fundamentos tericos y conceptuales de la materia, su lectura y anlisis
son de carcter obligatorio.
Dispondrs de la asesora acadmica del docente asesor en la materia,
su video de presentacin se encuentra en la primera seccin del curso.
El asesor evaluar y retroalimentar todas las actividades de
aprendizaje; asimismo, responder a todas las dudas que tengas en
relacin con los contenidos temticos de cada unidad, para ello cuentas
con el "Espacio de Asesora Acadmica".

Tambin tendrs la oportunidad de aprender de forma colaborativa a

travs de las participaciones en los foros de debate, mismos que te
permitirn construir de manera clara y objetiva, conceptos e ideas sobre
la materia en general, de manera individual y grupal.
Durante las 3 semanas que dura la materia, tendrs sesiones sncronas
(salas online) en tiempo real con tu docente asesor, estas salas online
tienen como objetivo profundizar en los temas de cada semana y son
similares a una clase por parte del docente asesor. Finalmente, se
recomienda la lectura de cada una de la bibliografa que da soporte a los
temas semanales, para mayor comprensin de la materia, permitiendo
as participaciones significativas en cada uno de los foros.
Procedimiento de estudio
Dentro del procedimiento en la construccin de los conocimientos, se
producir como resultado de un trabajo acadmico que estar
sustentado en el constructivismo, el desarrollo de actividades
individuales y colaborativas, con las cuales se pretenden generar nuevos
aprendizajes; asimismo, con la mediacin en el proceso de enseanza
aprendizaje del docente asesor.
Cabe sealar que el aprendizaje es visto como un proceso cognitivo
altamente interactivo de construccin personal de significado, conceptos
e ideas, donde los alumnos organizan, filtran, codifican, categorizan y
evalan la informacin y la forma en cmo acceder a l para construir
un nuevo conocimiento.
Desde dicha perspectiva, el contenido es visto como un elemento
fundamental que incentiva la construccin de conocimientos y como un
medio para generar aprendizajes significativos.

Criterios de calificacin

Cada actividad de aprendizajes cuenta con una rbrica en donde se

indican los rubros a evaluar de cada actividad, revsalos con detalle para
lograr el objetivo de la misma.
Semana 1
Participacin en foro

10 puntos

1ra. Actividad de Aprendizaje

15 puntos

Semana 2
Participacin en foro

10 puntos

2da. Actividad de Aprendizaje

15 puntos

Semana 3
3ra. Actividad de Aprendizaje

10 puntos

4ta. Actividad de Aprendizaje

10 puntos

Evaluacin final

30 puntos
TOTAL

100 puntos

Cdigo de tica y comportamiento

RESPETO:
A las personas y a sus ideas, aun y cuando no se coincida con las
mismas.
Al docente asesor de la materia.
A la Institucin educativa y todo el personal acadmico y administrativo.
A Mxico y en general a cualquier otro pas.
RESPONSABILIDAD:
Para entregar las actividades de aprendizaje con anticipacin a la fecha
y hora lmite.
Para realizar las actividades de aprendizaje con la calidad y pertinencia
de un alumno de posgrado.
Para leer y estudiar con detenimiento cada uno de los recursos que se
presentan en el curso.
Para participar en las sesiones online en tiempo y forma.
HONESTIDAD:

En la propia redaccin de las actividades de aprendizaje, evitando en

todo momento copiar informacin de Internet.
Para citar correctamente las ideas e informacin de otros autores.
Para reconocer que el aprendizaje es un proceso personal e individual y
que solo uno mismo es responsable del mismo.