Grado en Ingeniería Informática (2010) |
Asignaturas |
LENGUAJES FORMALES |
DATOS IDENTIFICATIVOS | 2022_23 | |||||||||||||||||
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 | silvia.pelegri@urv.cat stephane.salaet@urv.cat |
|||||||||||||||
Profesores/as |
|
|||||||||||||||||
Web | http://moodle.urv.cat/ | |||||||||||||||||
Descripción general e información relevante |
DESCRIPCIÓ GENERAL DE L'ASSIGNATURA: Els llenguatges formals són un component fonamental del camp de la informàtica. En aquest curs introduirem els tipus de llenguatges formals i practicarem tècniques i eines per processar-los. Això servirà de base per introduir-nos en els fonaments de la calculabilitat i de la complexitat, així com dels processadors de llenguatges formals. |
|||||||||||||||||
| ||||||||||||||||||
(*)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. |