LÓGICA COMPUTACIONAL
Información General
| Código | Plan | Tipo | Curso/s | Cuatrim. | Créditos | |||||
|---|---|---|---|---|---|---|---|---|---|---|
| TE | PR | CL | PB | Totales | ECTS | |||||
| Tipo de asignatura: TR = Troncal; BO = Básica Optativa; OB = Obligatoria; OP = Optativa; LE = Libre Elección Créditos: TE = Teóricos; PR = Prácticos; CL = Clínicos; PB = Problemas |
||||||||||
| 0702012 | 1997 | OP | 2 | 1 | 3 | 3 | 0 | 0 | 6 | 5 |
| Campus | CAMPUS DE VEGAZANA |
|---|---|
| Centro | ESC.ING.INDUSTR.,INFORMÁT.Y AEROES |
| Titulación | INGENIERO EN INFORMATICA |
| Departamento | MATEMATICAS |
| Área | ALGEBRA |
| Nombre de la asignatura en inglés | LOGIC FOR COMPUTER SCIENCE |
Guía Docente
Grupos
* NO EXISTEN GRUPOS PARA ESTA ASIGNATURA
Profesorado
| Profesor | Categoría | Situación |
|---|---|---|
| GONZALEZ MARTINEZ , JOSE RAMON | Profesor Titular Escuela Universitaria | Responsable |
| Perfil Docente | Perfil Docente (pendiente) | |
| Departamento | MATEMATICAS | |
| Área | MATEMATICA APLICADA | |
| ARIAS MOSQUERA , DANIEL | PROFESOR CONTRATADO DOCTOR | Resp.Suplente |
| Perfil Docente | Perfil Docente | |
| Departamento | MATEMATICAS | |
| Área | MATEMATICA APLICADA | |