GUÍA DOCENTE ASIGNATURAS 2003-2004 - Facultade de ...
GUÍA DOCENTE ASIGNATURAS 2003-2004 - Facultade de ... GUÍA DOCENTE ASIGNATURAS 2003-2004 - Facultade de ...
Matemática Discreta 2 Descriptores - Números especiales - Funciones generatrices - Convolución - Procesos infinitos Profesores II (Ciclo 2) Cuatrimestral, Obligatoria, 6 Créditos (4.5T + 1.5P) José Luis Freire Nistal freire@fi.udc.es freire@lfcia.org José Luis Doncel Juárez doncel@dc.fi.udc.es Objetivos docentes El objetivo principal es introducir al alumno en las herramientas formales para verificar sistemas informáticos. En la actualidad, cubre también un complemento de combinatoria que aún no ha encontrado cabida en las asignaturas del primer ciclo. Bibliografía Recomendada Grimaldi, R. P., Matemáticas discreta y combinatoria, 3ª edición, Ed. Addison-Wesley Iberoamericana. Mott, J.L., Kandel, A. y Baker, T.P., Discrete Mathematics for computers scientists & mathematicians, Ed. Prentice Hall Graham, R.L., Knuth, D.E. y Patashnik, O., Concrete Mathematics, a foundation for computer science, Ed. Addison-Wesley. Liu, C.L., Elementos de Matemáticas Discretas, 2ª edición, Ed. McGraw-Hill Mitchell, John C., Foundations for programming Languages, MIT Press Contenido Complementaria Combinatoria y Recursión 1. Principios fundamentales del conteo. Las reglas de la suma y el producto. Tipos de distribuciones: Variaciones, 158
permutaciones, y combinaciones con y sin repetición. Principio de inclusión exclución. 2. Funciones generatrices. Función generatriz de una sucesión. Operaciones con funciones generatrices. Aplicación de las funciones generatrices a los problemas de conteo. El operador suma. Función generatriz exponencial y su aplicación. 3. Relaciones de recurrencia lineales. Definción de los distintos tipos de relación de recurrencia. Relaciones de recurrencia no homgéneas. Cálculo de la solución de una relación de recurrencia por métodos directos y utilizando funciones generatrices. Algoritmo divide y vencerás. Sistemas de Tipos • Sistemas de tipos. • Razonamiento automático. • Manejo de pruebas. • Generación de código. Más información en < http://www.lfcia.org/staff/freire/md2-01> 159
- Page 107 and 108: 1. Introducción a la Lógica. o Pr
- Page 109 and 110: Contenido ALGORITMOS, PROGRAMAS Y L
- Page 111 and 112: II (Ciclo 1) Tecnología de computa
- Page 113 and 114: Tecnología Electrónica Descriptor
- Page 115 and 116: Algoritmos Descriptores II - Inducc
- Page 117 and 118: Bases de Datos I Descriptores II -
- Page 119 and 120: II Computación Numérica Cuatrimes
- Page 121 and 122: II Estructura de Computadores I Cua
- Page 123 and 124: Metodología de la Programación De
- Page 125 and 126: Programación Declarativa Descripto
- Page 127 and 128: Sistemas Conexionistas Descriptores
- Page 129 and 130: Sistemas Operativos I Descriptores
- Page 131 and 132: Tecnología de la programación Des
- Page 133 and 134: Contenido PARTE I: Jerarquía de Me
- Page 135 and 136: 1. Conceptos de inferencia estadís
- Page 137 and 138: • Solución gráfica de problemas
- Page 139 and 140: Tema 4: Análisis de Fourier de se
- Page 141 and 142: 1. El protocolo IP, con una descrip
- Page 143 and 144: o Creación y terminación de proce
- Page 145 and 146: o Autómatas finitos deterministas.
- Page 147 and 148: 2. Paralelismo a nivel de instrucci
- Page 149 and 150: Contenido 1. Introducción. o El m
- Page 151 and 152: Ullman, J. y Widom, J. A first cour
- Page 153 and 154: MÓDULO I - Conceptos básicos 1. I
- Page 155 and 156: Page-Jones, M. The Practical Guide
- Page 157: Borrajo, J. y Martínez y Pazos. In
- Page 161 and 162: Russel, S. y Norvig, P. Inteligenci
- Page 163 and 164: IEEE Guide to Software Requirements
- Page 165 and 166: 2001. McLaughlin, B. Java and XML,
- Page 167 and 168: Complementaria Tanenbaum. Redes de
- Page 169 and 170: Análisis y Diseño Orientado a Obj
- Page 171 and 172: II (Ciclo 2) - ITIG Arquitectura Cl
- Page 173 and 174: Aspectos Jurídicos y Deontológico
- Page 175 and 176: APARICIO SALOM, J., Estudio sobre l
- Page 177 and 178: 1. Nociones generales. 2. La Propie
- Page 179 and 180: 6. Nulidad y caducidad de la marca
- Page 181 and 182: o Redundancia en tiempo. o Toleranc
- Page 183 and 184: Tema 1 Introducción 1.1 Visión Ge
- Page 185 and 186: Ullman, J.; Widom, J. A first cours
- Page 187 and 188: 3. Modelo de bases de datos deducti
- Page 189 and 190: Evolución y cognición. Mente cons
- Page 191 and 192: Comunicaciones Digitales Descriptor
- Page 193 and 194: o Operaciones complementarias o Tra
- Page 195 and 196: Gestión de Redes Descriptores - Ca
- Page 197 and 198: PARTE V. PLATAFORMAS DE GESTIÓN DE
- Page 199 and 200: o Introducción. o Características
- Page 201 and 202: o Dibujo de curvas 3. Dibujo de obj
- Page 203 and 204: Contenido TEMA 1. DIRECCIÓN Y GEST
- Page 205 and 206: 2. Instrumentación biomédica. 3.
- Page 207 and 208: Chapter 11: Information Systems Cha
Matemática Discreta 2<br />
Descriptores<br />
- Números especiales<br />
- Funciones generatrices<br />
- Convolución<br />
- Procesos infinitos<br />
Profesores<br />
II (Ciclo 2)<br />
Cuatrimestral, Obligatoria, 6 Créditos (4.5T + 1.5P)<br />
José Luis Freire Nistal freire@fi.udc.es freire@lfcia.org<br />
José Luis Doncel Juárez doncel@dc.fi.udc.es<br />
Objetivos docentes<br />
El objetivo principal es introducir al alumno en las herramientas formales para verificar<br />
sistemas informáticos. En la actualidad, cubre también un complemento <strong>de</strong><br />
combinatoria que aún no ha encontrado cabida en las asignaturas <strong>de</strong>l primer ciclo.<br />
Bibliografía<br />
Recomendada<br />
Grimaldi, R. P., Matemáticas discreta y combinatoria, 3ª edición, Ed. Addison-Wesley<br />
Iberoamericana.<br />
Mott, J.L., Kan<strong>de</strong>l, A. y Baker, T.P., Discrete Mathematics for computers scientists &<br />
mathematicians, Ed. Prentice Hall<br />
Graham, R.L., Knuth, D.E. y Patashnik, O., Concrete Mathematics, a foundation for<br />
computer science, Ed. Addison-Wesley.<br />
Liu, C.L., Elementos <strong>de</strong> Matemáticas Discretas, 2ª edición, Ed. McGraw-Hill<br />
Mitchell, John C., Foundations for programming Languages, MIT Press<br />
Contenido<br />
Complementaria<br />
Combinatoria y Recursión<br />
1. Principios fundamentales <strong>de</strong>l conteo.<br />
Las reglas <strong>de</strong> la suma y el producto. Tipos <strong>de</strong> distribuciones: Variaciones,<br />
158