Grado en Ingeniería Informática (2010) |
Asignaturas |
LENGUAJES FORMALES |
DATOS IDENTIFICATIVOS | 2023_24 | |||||||||||||||||
Asignatura (*) | LENGUAJES FORMALES | Código | 17234110 | |||||||||||||||
Titulación |
|
Ciclo | 1º | |||||||||||||||
Descriptores | Cr.totales | Tipo | Curso | Periodo | Horarios y datos del examen | |||||||||||||
6 | Obligatoria | Tercer | 2Q |
|||||||||||||||
Modalidad y lengua de impartición | Ver grupos de trabajo | |||||||||||||||||
Prerrequisitos | ||||||||||||||||||
Departamento | Ingeniería Informática y Matemáticas |
|||||||||||||||||
Coordinador/a |
|
Correo-e | rolando.trujillo@urv.cat silvia.buira@urv.cat |
|||||||||||||||
Profesores/as |
|
|||||||||||||||||
Web | http://moodle.urv.cat/ | |||||||||||||||||
Descripción general e información relevante |
DESCRIPCIÓN GENERAL DE LA ASIGNATURA: Los lenguajes formales son un componente fundamental del campo de la informática. En este curso introduciremos los tipos de lenguajes formales y practicaremos técnicas y herramientas para procesarlos. Esto servirá de base para introducirnos en los fundamentos de la calculabilidad y de la complejidad, así como de los procesadores de lenguajes formales. |
|||||||||||||||||
| ||||||||||||||||||
(*)La Guía docente es el documento donde se visualiza la propuesta académica de la URV. Este documento es público y no es modificable, excepto en casos excepcionales revisados por el órgano competente o debidamente revisado de acuerdo la normativa vigente. |