|
|||||
Disciplina asociada:Computación Básica |
|||||
Escuela:
Por definir
|
|||||
Departamento Académico:
Por definir
|
|||||
Programas académicos: |
|||||
Requisitos:(Estar Cursando CB00831 o Haber Cursado CB00831) |
|||||
Equivalencia:CB95841 |
|||||
Intención del curso en el contexto general del plan de estudios: |
|||||
Objetivo general de la Unidad de Formación: |
|||||
| Lógica matemática. Lógica proposicional. Lógica de predicados de primer orden. Conjuntos. Nociones básicas. Tipos de conjuntos. Inducción. Conteo. Relaciones y funciones. Teoría de grafos. Conceptos básicos. Arboles. Grafos dirigidos. Algebra. Textos: J.P. Tremblay y R. Manohar, Discrete mathematical structures with applications to computer science, McGraw Hill. S. Sahni, Concepts in discrete mathematics, The Camelot Publishing Company. | |||||
Técnica didáctica sugerida: |
|||||
| No especificado | |||||
Bibliografía sugerida: |
|||||
|
LIBROS DE TEXTO: * Aho, Alfred V., Compiladores : principios, técnicas y herramientas, México : Addison-Wesley, 1998., spaeng, * Sipser, Michael., Introduction to the Theory of Computation, Pws Pub., 1997, Inglés, 053494728X * Sudkamp, Thomas A., Languages and Machines: an introduction to the theory of computer science, 2a ed., Addison-Wesley, 1996, Inglés, * Kelley, Dean., Teoría de automatas y lenguajes formales, 1a. Ed., Prentice-Hall, 1995, Español, * Carroll, John, Theory of finite automata: With and introduction to formal languages, Inglés, LIBROS DE CONSULTA: * Johnsonbaugh, Richard, Discrete Mathematics, Prentice Hall, 2000, Inglés, * Lewis, Harry R., Elements of the theory of computation, 2a ed., Prentice Hall, 1997, Inglés, * Hopcroft, John E., Introduction to automata theory, languages and computation, Addison-Wesley, 1979, Inglés, 020102988X * Brena, Ramón, Teoría de la computación, ITESM, CIA,, 1995, Español, * Brookshear, J. Glenn., Theory of computation: Formal languages, automata and complexity, Inglés, |
|||||
Perfil del Profesor: |
|||||
|
(110101)Maestría en Ciencias Computacionales/de Información ; (110101)Doctorado en Ciencias Computacionales/de Información ; (110102)Maestría en Inteligencia Artificial /Robótica ; (110103)Maestría en Tecnología de la Información/Informática/Sistemas Computacionales ; (110102)Doctorado en Inteligencia Artificial /Robótica ; (110103)Doctorado en Tecnología de la Información/Informática/Sistemas Computacionales CIP: 110101, 110102, 110103 Experiencia recomendada: Docencia en programación, estructuras de datos y compiladores. |
|||||
|
|||||
Discipline:Basic Computer Studies |
|||||
School:
Undefined
|
|||||
Academic Department:
Undefined
|
|||||
Programs: |
|||||
Prerequisites:( CB00831 Corequisite or CB00831) |
|||||
Equivalences:CB95841 |
|||||
Course intention within the general study plan context: |
|||||
Course objective: |
|||||
| Mathematical logic. Propositional logic. First order predicate logic. Sets. Basic notions. Induction. Counting. Relations and functions. Graph theory. Basic concepts. Trees. Directed graphs. Algebra. Textbooks: J.P. Tremblay and R. Manohar, Discrete Mathematical Structures with Applications to Computer Science, McGraw-Hill. S. Sahni, Concepts in Discrete Mathematics, The Camelot Publishing Company. CAMPUS: CCM, OBRE, CEM, GDA, LAG, LEO, MTY, CVC, QRO, SLP, TOL. ACAD. PERIOD: SPRING & FALL LANGUAGE OF INSTRUCTION: SPANISH | |||||
Teaching and learning tecniques: |
|||||
| Not Specified | |||||
Suggested Bibliography: |
|||||
|
TEXT BOOKS: * Aho, Alfred V., Compiladores : principios, técnicas y herramientas, México : Addison-Wesley, 1998., spaeng, * Sipser, Michael., Introduction to the Theory of Computation, Pws Pub., 1997, Inglés, 053494728X * Sudkamp, Thomas A., Languages and Machines: an introduction to the theory of computer science, 2a ed., Addison-Wesley, 1996, Inglés, * Kelley, Dean., Teoría de automatas y lenguajes formales, 1a. Ed., Prentice-Hall, 1995, Español, * Carroll, John, Theory of finite automata: With and introduction to formal languages, Inglés, BOOKS FOR CONSULTATION: * Johnsonbaugh, Richard, Discrete Mathematics, Prentice Hall, 2000, Inglés, * Lewis, Harry R., Elements of the theory of computation, 2a ed., Prentice Hall, 1997, Inglés, * Hopcroft, John E., Introduction to automata theory, languages and computation, Addison-Wesley, 1979, Inglés, 020102988X * Brena, Ramón, Teoría de la computación, ITESM, CIA,, 1995, Español, * Brookshear, J. Glenn., Theory of computation: Formal languages, automata and complexity, Inglés, |
|||||
Academic credentials required to teach the course: |
|||||
|
(110101)Master Degree in Computer/Information Sciences and (110101)Doctoral Degree in Computer/Information Sciences and (110102)Master Degree in Artificial Intelligence/Robotics and (110103)Master Degree in Information Technology. and (110102)Doctoral Degree in Artificial Intelligence/Robotics and (110103)Doctoral Degree in Information Technology. CIP: 110101, 110102, 110103 |
|||||
