Anar al contingut (clic a Intro)
UdG Home UdG Home
UdG 30 anys
Tancar
Menú

Investiga

Línia de recerca: Aplicacions de la lògica a la informàtica

Lògica a la Informàtica. Estudi i desenvolupament de fonaments, mètodes i eines basats en la lògica per a la resolució de problemes computacionalment complexos.

Codis UNESCO vinculats

Codi UNESCO Nom
1101 Aplicacions de la lògica
1203.04 Intel•ligència artificial
1203.23 Llenguatges de programació (vegeu 5701.04)

Escull quins tipus de galetes acceptes que el web de la Universitat de Girona pugui guardar en el teu navegador.

Les imprescindibles per facilitar la vostra connexió. No hi ha opció d'inhabilitar-les, atès que són les necessàries pel funcionament del lloc web.

Permeten recordar les vostres opcions (per exemple llengua o regió des de la qual accediu), per tal de proporcionar-vos serveis avançats.

Proporcionen informació estadística i permeten millorar els serveis. Utilitzem cookies de Google Analytics que podeu desactivar instal·lant-vos aquest plugin.

Per a oferir continguts publicitaris relacionats amb els interessos de l'usuari, bé directament, bé per mitjà de tercers (“adservers”). Cal activar-les si vols veure els vídeos de Youtube incrustats en el web de la Universitat de Girona.