Escudo de la República de Colombia
Sistema Nacional de Biliotecas - Repositorio Institucional Universidad Nacional de Colombia Biblioteca Digital - Repositorio Institucional UN Sistema Nacional de Bibliotecas UN

Teoría de la computación: lenguajes, autómatas, gramáticas.

Castro, Rodrigo de (2004) Teoría de la computación: lenguajes, autómatas, gramáticas. Notas de Clase . Universidad Nacional de Colombia - Facultad de Ciencias, Bogotá.

Texto completo

[img]
Vista previa
Imagen (JPEG) - Imágen de Portada
Available under License Creative Commons Attribution Non-commercial No Derivatives.

2MB
[img]
Vista previa
PDF - Versión Publicada
Available under License Creative Commons Attribution Non-commercial No Derivatives.

6MB

Resumen

El libro está escrito tanto para estudiantes de matemáticas -quienes, es de suponer, tienen más experiencia con razonamientos abstractos y demostraciones- como para estudiantes de ingeniería. Es el profesor quien debe establecer el tono del curso, enfatizando ya sea el rigor matemático o una presentación más intuitiva y práctica. Los resultados están presentados en forma de teoremas, corolarios y lemas, con sus respectivas demostraciones; éstas pueden omitirse, si así lo estima el profesor. En los cursos dirigidos a estudiantes de ingeniería de sistemas, el énfasis debe residir -tanto por parte del profesor como por parte del estudiante--- en los ejemplos y ejercicios prácticos; hay que resaltar más el significado de los enunciados que sus demostraciones formales. El libro contiene gran cantidad de ejemplos y problemas resueltos, con aplicaciones o ilustraciones directas de la teoría. Como prerrequisito, es imprescindible que el estudiante haya tomado al menos un curso de matemáticas discretas en el que se haya familiarizado con las nociones básicas y la notación de la teoría intuitiva de conjuntos, grafos, inducción matemática y lógica elemental. La experiencia previa en programación es muy útil pero, de ninguna manera, necesaria. El material se presenta en secciones relativamente cortas, lo que permite alguna flexibilidad en la selección de los tópicos del curso. Así, si el tiempo disponible no es holgado, o no es posible avanzar con la velocidad suficiente, podrían suprimirse las secciones demarcadas con el símbolo. Casi todas las secciones poseen ejercicios, de variada dificultad; los más difíciles están precedidos de un símbolo de admiración! y podrían ser considerados opcionales. Es responsabilidad del estudiante resolver los ejercicios que sean asignados por el profesor. La única manera de aprender y asimilar las ideas y técnicas presentadas en la clase es trabajar seria y completamente los ejercicios.

Tipo de documento:Libro - Book
Palabras clave:Computación, Lenguajes, Autómatas
Temática:0 Generalidades / Computer science, information & general works
Unidad administrativa:Editorial UN
Código ID:48060
Enviado por : repositorio editorial_nal
Enviado el día :17 Julio 2017 19:41
Ultima modificación:17 Julio 2017 19:41
Ultima modificación:17 Julio 2017 19:41
Exportar:Clic aquí
Estadísticas:Clic aquí
Compartir:

Solamente administradores del repositorio: página de control del ítem

Vicerrectoría de Investigación: Número uno en investigación
Indexado por:
Indexado por Scholar Google WorldCat DRIVER Registry of Open Access Repositories OpenDOAR Metabiblioteca BDCOL OAIster Red de repositorios latinoamericanos DSpace BASE Open archives La referencia Colombiae Open Access Theses and Dissertations Tesis latinoamericanas CLACSO
Este sitio web se ve mejor en Firefox