Académique Documents
Professionnel Documents
Culture Documents
Coordinador
Borja Calvo
Facultad de Informtica, Donostia
Estructura de la especialidad de
Computacin
Tres submdulos
Minera
de Datos
Diseo de
Algoritmos
Ocho asignaturas
Modelos
Computacin Abstractos
Cientfica
de Cmputo
Inteligencia
Artificial
Grficos por
Computador
Visualizacin
y Entornos
Virtuales
Compilacin
Minera de
Datos
Diseo de
Algoritmos
Modelos
Computacin Abstractos
Cientfica
de Cmputo
Inteligencia
Artificial
Grficos por
Computador
Visualizacin
y Entornos
Virtuales
Compilacin
Modelos
Minera de Computacin Abstractos
Cientfica
Datos
de Cmputo
Diseo de
Algoritmos
Inteligencia
Artificial
Grficos por
Computador
Visualizacin
y Entornos
Virtuales
Compilacin
Minera de
Datos
Diseo de
Algoritmos
Modelos
Computacin Abstractos
Cientfica
de Cmputo
Inteligencia
Artificial
Grficos por
Computador
Visualizacin
y Entornos
Virtuales
Compilacin
Minera de
Datos
Computacin
Cientfica
Diseo de
Algoritmos
Inteligencia
Artificial
Modelos
Abstractos de
Cmputo
Grficos por
Computador
Compilacin
Visualizacin y
Entornos
Virtuales
10
11
12
13
14
Productos, i=1,...,n
15
Minera de
Datos
Computacin
Cientfica
Diseo de
Algoritmos
Inteligencia
Artificial
Modelos
Abstractos de
Cmputo
Grficos por
Computador
Compilacin
Visualizacin y
Entornos
Virtuales
16
17
18
19
20
Objetivo:
21
Halt ( x , y )
Si al ejecutar el programa x
True
sobre el dato y el programa se para
False
En caso contrario
No cumple Ud. con
su trabajo. Le
pedimos una
aplicacin capaz
de analizar el
texto de un
programa para
saber si cae en un
bucle infinito, un
tcnico de FP lo
hara mejor!
Yo soy
ingeniero y
s que me
pide un
imposible: la
funcin Halt
no es
computable
22
Compilacin (C)
23
Compilacin (C)
16
17
18
19
20
21
...
t1 = j+10
if i > t1 goto 20
goto 21
i = i + 1 ;
...
24
Compilacin (C)
C++
void Kodea::aginduaGehitu(const string &aginduKatea) {
stringstream agindua;
agindua << hurrengoAgindua() << ": " << aginduKatea;
aginduak.push_back(agindua.str());
}
25
Minera de
Datos
Computacin
Cientfica
Diseo de
Algoritmos
Inteligencia
Artificial
Aplicaciones 3D
Aplicaciones en tiempo real
Entornos virtuales
Modelos y abstraccin
Modelos
Abstractos de
Cmputo
Grficos por
Computador
Compilacin
Visualizacin y
Entornos
Virtuales
26
27
28
29
30
31
Optativas
Recomendadas para completar la especialidad (eus/es,
puede cambiar cada curso acadmico):
- Sistemas Basados en el Conocimiento (es)
- Tcnicas Avanzadas de Inteligencia Artificial (es)
- Hizkuntzaren Prozesamendua (eus)
- Robotika eta Kontrol Adimenduna (eus)
- Bilaketarako Heuristikoak (eus)
- Visin por Computador (es)
- Ingeniera de Control (es)
- Modelado 3D (es)
Facultad de Informtica, Donostia
32
33
34
Masteres
35
Para ms informacin
MoodleTIC de Computacin:
http://moodletic.ehu.es/moodle
Centros > Informatika Fakultatea > Informatika
Ingeniaritzako Konputazioko espezialitatea
borja.calvo@ehu.eus
Borja Calvo
Coordinador de la especialidad de
Computacin
Facultad de Informtica, Donostia
36