Lógicas, deducción y programación para sistemas inteligentes (ampliaciones y aplicaciones de Answer Set Programming)
| Tipo | Proyecto Otros Programas |
| Fechas | Desde 01/10/2006 a 30/09/2009 |
| Departamento | Ciencias de la Computación y Tecnologías de la Información |
| Área | Álgebra |
| Contacto | Directorio de la UDC |
| Scopus6505828014 | |
En este apartado se muestra la docencia impartida en grados, másteres y resto de estudios oficiales en los últimos 6 años.
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
| Álgebra | Formación básica | 0 | 90 |
| Álgebra Lineal | Formación básica | 0 | 120 |
| Matemática Discreta | Formación básica | 0 | 30 |
| Trabajo Fin de Grado | Obligatorio | 0 | 1,5 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Álgebra
Grado en Ingeniería Informática
|
Formación básica | 0 | 110 |
|
Álgebra
Grado en Inteligencia Artificial
|
Formación básica | 0 | 22 |
|
Álgebra Lineal
Grado en Ciencia e Ingeniería de Datos
|
Formación básica | 0 | 120 |
|
Matemática Discreta
Grado en Ingeniería Informática
|
Formación básica | 0 | 54 |
|
Trabajo Fin de Grado. Mención en Ingeniería de Computadores
Grado en Ingeniería Informática
|
Obligatorio | 0 | 1,5 |
|
Trabajo Fin de Grado. Mención en Ingeniería del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 | 3 |
|
Trabajo Fin de Grado. Mención en Sistemas de Información
Grado en Ingeniería Informática
|
Obligatorio | 0 | 1 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Álgebra
Grado en Ingeniería Informática
|
Formación básica | 0 | 128 |
|
Álgebra Lineal
Grado en Ciencia e Ingeniería de Datos
|
Formación básica | 0 | 120 |
|
Matemática Discreta
Grado en Ingeniería Informática
|
Formación básica | 0 | 30 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Álgebra
Grado en Ingeniería Informática
|
Formación básica | 0 | 127 |
|
Álgebra Lineal
Grado en Ciencia e Ingeniería de Datos
|
Formación básica | 0 | 90 |
|
Matemática Discreta
Grado en Ingeniería Informática
|
Formación básica | 0 | 66 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Álgebra
Grado en Ingeniería Informática
|
Formación básica | 0 | 120 |
|
Álgebra Lineal
Grado en Ciencia e Ingeniería de Datos
|
Formación básica | 0 | 90 |
|
Matemática Discreta
Grado en Ingeniería Informática
|
Formación básica | 0 | 66 |
|
Trabajo Fin de Grado. Mención en Ingeniería del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 | 4 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Álgebra
Grado en Ingeniería Informática
|
Formación básica | 0 | 139 |
|
Álgebra Lineal
Grado en Ciencia e Ingeniería de Datos
|
Formación básica | 0 | 90 |
|
Matemática Discreta
Grado en Ingeniería Informática
|
Formación básica | 0 | 87 |
Tutorías definidas por el/la docente para el curso académico 2024/2025.
| Cuatrimestre | Día | Lugar |
|---|---|---|
| Primer cuatrimestre |
lunes
10:30 a 13:00 |
despacho 4.19 |
| Primer cuatrimestre |
jueves
09:30 a 12:30 |
despacho 4.19 |
Dirigidos o codirigidos por el/la docente desde el año 2013.
Puede consultar los méritos de investigación seleccionando un tipo de mérito y el año.
Lógicas, deducción y programación para sistemas inteligentes (ampliaciones y aplicaciones de Answer Set Programming)
| Tipo | Proyecto Otros Programas |
| Fechas | Desde 01/10/2006 a 30/09/2009 |
LÓGICAS, DEDUCCIÓN Y PROGRAMACIÓN PARA SISTEMAS INTELIGENTES (AMPLIACIONES Y APLICACIONES DE ANSWER SET PROGRAMMING)
| Tipo | Proyecto Otros Programas |
| Fechas | Desde 01/10/2006 a 30/09/2009 |
Certified Genetic Algorithms: Crossover Operators for Permutations
| Autores | Felicidad Aguado, José Luis Doncel Juárez, Lin, J, Gilberto Pérez, Concepción Vidal, Ana Maria Vieites Rodriguez |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (págs. 282 a 289) |
Internal q-homology of crossed modules
| Autores | Manuel Ladra, Ana Maria Vieites Rodriguez |
| Revista | PROCEEDINGS OF THE EDINBURGH MATHEMATICAL SOCIETY Vol. 47 (págs. 1 a 13) |
TEORIA DE GRAFOS: EJERCICIOS RESUELTOS Y PROPUESTOS. LABORATORIO CON SAGE
| Autores | Concepción Vidal, Ana Maria Vieites Rodriguez, Felicidad Aguado, Gilberto Pérez, Manuel Ladra González, Felipe Gago Couso |
| Editorial | Ediciones Paraninfo S.A, Madrid (España) |
| ISBN | 978-84-283-3707-6 |
Cálculo Integral y Aplicaciones con Matlab
| Autores | Mª del Carmen Suárez Rodríguez, Ana Maria Vieites Rodriguez |
| Editorial | Pearson Prentice Hall, Madrid (España) |
| ISBN | 84-205-4215-6 |
Generalización de los cruces basados en el orden y en la posición. Una implementación verificada
CLEI 2007, XXXIII Conferencia Latinoamericana de Informática
Internacional
| Autores | Felicidad Aguado, Lin, J, Gilberto Pérez, Concepción Vidal, Ana Maria Vieites Rodriguez |
| Lugar | San José (Costa Rica) |
Generalización de los cruces basados en el orden y en la posición. Una implementación verificada
CLEI 2007, XXXIII Conferencia Latinoamericana de Informática
Internacional
| Autores | Felicidad Aguado, Lin, J, Gilberto Pérez, Concepción Vidal, Ana Maria Vieites Rodriguez |
| Lugar | San José (Costa Rica) |
Cargos académicos o de gestión para el/la docente.