Lógicas, deducción y programación para sistemas inteligentes (ampliaciones y aplicaciones de Answer Set Programming)
| Tipo | Proxecto Outros Programas |
| Datas | Desde 01/10/2006 ata 30/09/2009 |
| Departamento | Ciencias da Computación e Tecnoloxías da Información |
| Área | Álxebra |
| Contacto | Directorio da UDC |
| Scopus6505828014 | |
Neste apartado móstrase a docencia impartida en graos, másteres e resto de titulacións oficiais ata os últimos 6 anos.
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
| Álxebra | Formación básica | 0 | 90 |
| Álxebra Lineal | Formación básica | 0 | 120 |
| Matemática Discreta | Formación básica | 0 | 30 |
| Traballo Fin de Grao | Obrigatorio | 0 | 1,5 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Álxebra
Grao en Enxeñaría Informática
|
Formación básica | 0 | 110 |
|
Álxebra
Grao en Intelixencia Artificial
|
Formación básica | 0 | 22 |
|
Álxebra Lineal
Grao en Ciencia e Enxeñaría de Datos
|
Formación básica | 0 | 120 |
|
Matemática Discreta
Grao en Enxeñaría Informática
|
Formación básica | 0 | 54 |
|
Traballo Fin de Grao. Mención en Enxeñaría de Computadores
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 1,5 |
|
Traballo Fin de Grao. Mención en Enxeñaría do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte
|
Obrigatorio | 0 | 3 |
|
Traballo Fin de Grao. Mención en Sistemas de Información
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 1 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Álxebra
Grao en Enxeñaría Informática
|
Formación básica | 0 | 128 |
|
Álxebra Lineal
Grao en Ciencia e Enxeñaría de Datos
|
Formación básica | 0 | 120 |
|
Matemática Discreta
Grao en Enxeñaría Informática
|
Formación básica | 0 | 30 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Álxebra
Grao en Enxeñaría Informática
|
Formación básica | 0 | 127 |
|
Álxebra Lineal
Grao en Ciencia e Enxeñaría de Datos
|
Formación básica | 0 | 90 |
|
Matemática Discreta
Grao en Enxeñaría Informática
|
Formación básica | 0 | 66 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Álxebra
Grao en Enxeñaría Informática
|
Formación básica | 0 | 120 |
|
Álxebra Lineal
Grao en Ciencia e Enxeñaría de Datos
|
Formación básica | 0 | 90 |
|
Matemática Discreta
Grao en Enxeñaría Informática
|
Formación básica | 0 | 66 |
|
Traballo Fin de Grao. Mención en Enxeñaría do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte
|
Obrigatorio | 0 | 4 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Álxebra
Grao en Enxeñaría Informática
|
Formación básica | 0 | 139 |
|
Álxebra Lineal
Grao en Ciencia e Enxeñaría de Datos
|
Formación básica | 0 | 90 |
|
Matemática Discreta
Grao en Enxeñaría Informática
|
Formación básica | 0 | 87 |
Titorías definidas polo/a docente para o curso académico 2024/2025.
| Cuadrimestre | Día | Lugar |
|---|---|---|
| Primeiro cuadrimestre |
luns
10:30 a 13:00 |
despacho 4.19 |
| Primeiro cuadrimestre |
xoves
09:30 a 12:30 |
despacho 4.19 |
Dirixidos ou codirixidos polo/a docente desde o ano 2013.
Pode consultar os méritos de investigación seleccionando un tipo de mérito e o ano.
Lógicas, deducción y programación para sistemas inteligentes (ampliaciones y aplicaciones de Answer Set Programming)
| Tipo | Proxecto Outros Programas |
| Datas | Desde 01/10/2006 ata 30/09/2009 |
LÓGICAS, DEDUCCIÓN Y PROGRAMACIÓN PARA SISTEMAS INTELIGENTES (AMPLIACIONES Y APLICACIONES DE ANSWER SET PROGRAMMING)
| Tipo | Proxecto Outros Programas |
| Datas | Desde 01/10/2006 ata 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áxs. 282 ata 289) |
Internal q-homology of crossed modules
| Autores | Manuel Ladra, Ana Maria Vieites Rodriguez |
| Revista | PROCEEDINGS OF THE EDINBURGH MATHEMATICAL SOCIETY Vol. 47 (páxs. 1 ata 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 ou de xestión para o/a docente.