-
Estudis
-
Màsters
- Vols estudiar un màster?
- Màster en Enginyeria Informàtica
- Màster en Enginyeria Informàtica - Modalitat Empresa
-
Màster en Innovació i Recerca en Informàtica
- Màster en Intel·ligència Artificial
- Master en Ciberseguretat
- Màster en Formació del Professorat d'Educació Secundària
- Erasmus Mundus Master in Big Data Management and Analytics
- Màster en Ciència de Dades
- Màster en Mobilitat Urbana
- Altres Màsters
-
Màsters
-
Mobilitat
- Recerca
- Empresa
-
La FIB
- Estudis
- Graus
- Vols estudiar un grau?
- Grau en Enginyeria Informàtica
- Grau en Ciència i Enginyeria de Dades
- Grau en Intel·ligència Artificial
- Grau en Bioinformàtica
- Grau+Màster en Enginyeria Informàtica (programa successiu)
- Pla d'acció Tutorial
- Guia d'acollida
- Màsters
- Vols estudiar un màster?
- Màster en Enginyeria Informàtica
- Màster en Enginyeria Informàtica - Modalitat Empresa
- Màster en Innovació i Recerca en Informàtica
- Màster en Intel·ligència Artificial
- Master en Ciberseguretat
- Màster en Formació del Professorat d'Educació Secundària
- Erasmus Mundus Master in Big Data Management and Analytics
- Màster en Ciència de Dades
- Màster en Mobilitat Urbana
- Altres Màsters
- Secretaria
- Tràmits
- Acreditació competència genèrica en 3a llengua
- Afegir assignatura al potencial de la matrícula
- Certificacions acadèmiques
- Certificacions de situació d'expedient
- Convalidacions de Cicles Formatius de Grau Superior
- Justificants d'assistència
- Matrícula Incoming (1a matrícula)
- Matrícula Incoming
- Matrícula Outgoing
- Modificació de matrícula i Canvi de Grup
- Paràmetre Alfa
- Quadrimestre addicional (Continuïtat d'Estudis)
- Recollida del títol
- Reconeixement d'assignatures
- Reconeixement de crèdits optatius per activitats universitàries
- Renúncia a la matrícula de primer curs
- Sol·licitud del títol i Suplement Europeu al Títol
- Sol·licitud plaça de mobilitat per a Erasmus+, UPC-Europa, Amèrica Llatina,Taiwan, Xina i Dobles titulacions a Europa
- Calendaris acadèmics
- Plans Extingits
- Tràmits
- Beques i Ajuts
- Graus
- Mobilitat
- Recerca
- Departaments
- Centres de Recerca
- BSC-CNS - Barcelona SuperComputing Center
- CCABA – Centre de Comunicacions Avançades de Banda Ampla
- CEBIM - Centre de Biotecnologia Molecular
- CREB - Centre de Recerca en Enginyeria Biomedica
- CRnE - Centre de Recerca en Nanoenginyeria
- IDEAI - Intelligent Data Science and Artificial Intelligence Research Center
- TALP - Centre de Tecnologies i Aplicacions del Llenguatge i la Parla
- Grups de Recerca
- ARCO - Arquitectures i Compiladors
- ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
- CAP - Computació d'Altes Prestacions
- CBA - Sistemes de Comunicacions de Banda Ampla
- CNDS - Xarxes de Computadors i Sistemes Distribuïts
- DAMA-UPC - Data Management Group
- DCCG - Geometria computacional, combinatoria i discreta
- DMAG - Grup d'Aplicacions Multimèdia Distribuïdes
- GESSI - Grup d'Enginyeria del Software i dels Serveis
- GIE - Grup d'Informàtica en l'Enginyeria
- GNOM - Grup d'Optimització Numèrica i Modelització
- GPLN - Grup de Processament del Llenguatge Natural
- GRBIO - Grup de Recerca en Bioestadística i Bioinformàtica
- GREC - Grup de Recerca en Enginyeria del Coneixement
- GRINS - Grup de Robòtica Intel·ligent i Sistemes
- KEMLG - Grup d´Enginyeria del Coneixement i Aprenentatge Automàtic
- LARCA - Laboratori d´Algorísmia Relacional, Complexitat i Aprenentatge
- LOGPROG - Lògica i Programació
- MD - Matemàtica Discreta
- MPI - Modelització i Processament de la Informació
- SIMCON - Grup de Recerca de Simulació per Ordinador en Matèria Condensada
- SOCO - Soft Computing
- SUSHITOS - Serveis per a tecnologies d'informació socials, ubiqües i humanístiques, i per a software lliure
- VIS - Visió Artificial i Sistemes Intel.ligents
- ViRVIG - Visualització, Realitat Virtual i Interacció Gràfica
- Projectes
- inLab FIB
- Empresa
- La FIB
LOGPROG - Lògica i Programació
Esteu aquí
- ARCO - Arquitectures i Compiladors
- ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
- CAP - Computació d'Altes Prestacions
- CBA - Sistemes de Comunicacions de Banda Ampla
- CNDS - Xarxes de Computadors i Sistemes Distribuïts
- DAMA-UPC - Data Management Group
- DCCG - Geometria computacional, combinatoria i discreta
- DMAG - Grup d'Aplicacions Multimèdia Distribuïdes
- GESSI - Grup d'Enginyeria del Software i dels Serveis
- GIE - Grup d'Informàtica en l'Enginyeria
- GNOM - Grup d'Optimització Numèrica i Modelització
- GPLN - Grup de Processament del Llenguatge Natural
- GRBIO - Grup de Recerca en Bioestadística i Bioinformàtica
- GREC - Grup de Recerca en Enginyeria del Coneixement
- GRINS - Grup de Robòtica Intel·ligent i Sistemes
- KEMLG - Grup d´Enginyeria del Coneixement i Aprenentatge Automàtic
- LARCA - Laboratori d´Algorísmia Relacional, Complexitat i Aprenentatge
- LOGPROG - Lògica i Programació
- MD - Matemàtica Discreta
- MPI - Modelització i Processament de la Informació
- SIMCON - Grup de Recerca de Simulació per Ordinador en Matèria Condensada
- SOCO - Soft Computing
- SUSHITOS - Serveis per a tecnologies d'informació socials, ubiqües i humanístiques, i per a software lliure
- VIS - Visió Artificial i Sistemes Intel.ligents
- ViRVIG - Visualització, Realitat Virtual i Interacció Gràfica
El grup de recerca en Lògica i Programació (LOGPROG) està format per membres del departament de Ciències de la Computació.
El grup focalitza la seva recerca en el camp de lògica i la informàtica teòrica bàsica. Les principals línies de recerca són:
- Lògica a la informàtica
- Complexitat computacional
- Resolució de problemes amb restriccions
- Tècniques de programació avançada
- Deducció automàtica
Producció científica
Dona una ullada a la pàgina web de la producció científica de la recerca de la UPC: futur.upc.eduFUTUR UPC
Descobreix tota la producció Científica dels investigadors de la FIB al portal FUTUR de la UPC
Treballs de fi de grau i màster dels estudiants
Descobreix al portal de coneixement obert de la UPC els projectes duts a terme per estudiants de la FIB
Estudi bibliomètric elaborat per la Biblioteca Gabriel Ferraté
Estudi comparatiu de la publicació científica en l’àmbit de la informàtica a la UPC vs. altres universitats d’àmbit nacional i internacional
On som
Edifici B6 del Campus Nord
C/Jordi Girona Salgado,1-3
08034 BARCELONA Espanya
Tel: (+34) 93 401 70 00
C/Jordi Girona Salgado,1-3
08034 BARCELONA Espanya
Tel: (+34) 93 401 70 00
Contacta amb la FIB
© Facultat d'Informàtica de Barcelona - Universitat Politècnica de Catalunya - Avís legal sobre aquest web
Aquest web utilitza cookies pròpies per oferir una millor experiència i servei. En continuar amb la navegació entenem que acceptes la nostra política de cookies..