 |
Educational guide |
| IDENTIFYING DATA |
2011_12 |
| Subject |
LOGICA COMPUTACIONAL |
Code |
00702012 |
| Study programme |
|
|
|
| Descriptors |
Credit. |
Type |
Year |
Period |
| 6 |
Optional |
Second |
First
|
| Language |
|
| Prerequisites |
|
| Department |
MATEMATICAS
|
| Coordinador |
| GONZÁLEZ MARTÍNEZ , JOSÉ RAMÓN |
|
E-mail |
jrgonma@unileon.es
darim@unileon.es
|
| Lecturers |
| ARIAS MOSQUERA , DANIEL | | GONZÁLEZ MARTÍNEZ , JOSÉ RAMÓN |
|
| Web |
http:// |
| General description |
Propositional Logic. First-Order Logic. Other logics. Prolog. " |
| Tribunales de Revisión |
| Tribunal titular |
| Cargo |
Departamento |
Profesor |
| Tribunal suplente |
| Cargo |
Departamento |
Profesor |
|
|