Créditos
6
Tipos
Obligatoria de especialidad (Computación)
Departamento
CS
Profesorado
Responsable
- Jose Miguel Rivero Almeida ( rivero@cs.upc.edu )
Otros
- Elisabet Burjons Pujol ( elisabet.burjons@upc.edu )
- Enric Rodriguez Carbonell ( erodri@cs.upc.edu )
- Ilario Bonacina ( ilario.bonacina@upc.edu )
Horas semanales
Teoría
2
Problemas
0
Laboratorio
2
Aprendizaje dirigido
0
Aprendizaje autónomo
6
Competencias
Competencias técnicas comunes
- CT1.1A - Demostrar conocimiento y comprensión de los conceptos fundamentales de la programación y de la estructura básica de un computador. CEFB4. Conocimiento de los fundamentos del uso y programación de los computadores, los sistemas operativos, las bases de datos y, en general, los programas informáticos con aplicación en ingeniería.
- CT1.2C - Interpretar, seleccionar y valorar conceptos, teorías, usos y desarrollos tecnológicos relacionados con la informática y su aplicación a partir de los fundamentos matemáticos, estadísticos y físicos necesarios. CEFB1: Capacidad para la resolución de los problemas matemáticos que puedan plantarse en la ingeniería. Aptitud para aplicar los conocimientos sobre: algebra, cálculo diferencial e integral i métodos numéricos; estadística y optimización.
- CT2.3 - Diseñar, desarrollar, seleccionar y evaluar aplicaciones, sistemas y servicios informáticos, y al mismo tiempo asegurar su fiabilidad, su seguridad y su calidad, conforme a principios éticos y a la legislación y la normativa vigente.
- CT4.1 - Identificar las soluciones algorítmicas más adecuadas para resolver problemas de dificultad mediana.
- CT4.2 - Razonar sobre la corrección y la eficiencia de una solución algorítmica.
- CT4.3 - Demostrar conocimiento y capacidad de aplicación de los principios fundamentales y las técnicas básicas de los sistemas inteligentes y su aplicación práctica.
- CT5.1 - Escoger, combinar y explotar diferentes paradigmas de programación, en el momento de construir software, atendiendo a criterios como la facilidad de desarrollo, la eficiencia, la portabilidad y la mantenibilidad.
- CT5.2 - Conocer, diseñar y utilizar de forma eficiente los tipos y las estructuras de datos más adecuados para la resolución de un problema.
- CT5.3 - Diseñar, escribir, probar, depurar, documentar y mantener código en un lenguaje de alto nivel para resolver problemas de programación aplicando esquemas algorítmicos y usando estructuras de datos.
- CT5.4 - Diseñar la arquitectura de los programas utilizando técnicas de orientación a objetos, de modularización y de especificación e implementación de tipos abstractos de datos.
Razonamiento
- G9.3 - Capacidad crítica, capacidad de evaluación.
Lengua extranjera
- G3.2 - Estudiar con materiales escritos en inglés. Redactar un informe o trabajo de tipo técnico en inglés. Participar en una reunión técnica llevada a cabo en inglés.
Especialidad de computación
- CCO1.1 - Evaluar la complejidad computacional de un problema, conocer estrategias algorítmicas que puedan conducir a su resolución, y recomendar, desarrollar e implementar la que garantice el mejor rendimiento de acuerdo con los requisitos establecidos.
- CCO2.1 - Demostrar conocimiento de los fundamentos, los paradigmas y las técnicas propias de los sistemas inteligentes y analizar, diseñar y construir sistemas, servicios y aplicaciones informáticas que utilicen estas técnicas en cualquier ámbito de aplicación.
- CCO2.2 - Capacidad para adquirir, obtener, formalizar y representar el conocimiento humano de una forma computable para la resolución de problemas mediante un sistema informático en cualquier ámbito de aplicación, particularmente los relacionados con aspectos de computación, percepción y actuación en ambientes o entornos inteligentes.
- CCO3.1 - Implementar código crítico siguiendo criterios de tiempo de ejecución, eficiencia y seguridad.
- CCO3.2 - Programar considerando la arquitectura hardware, tanto en ensamblador como en alto nivel.
Objetivos
-
...
Competencias relacionadas: G9.3, CCO2.1, CCO2.2, -
...
Competencias relacionadas: G9.3, CCO2.1, CT4.1, CT4.2, CCO2.2, CT4.3, -
...
Competencias relacionadas: G9.3, G3.2, CCO1.1, CCO2.1, CT4.1, CT4.2, CCO2.2, CT2.3, -
...
Competencias relacionadas: G9.3, G3.2, CCO1.1, CCO2.1, CT4.1, CT4.2, CCO2.2, CT2.3, -
...
Competencias relacionadas: G9.3, CT1.2C, G3.2, CCO1.1, CCO2.1, CT4.1, CT4.2, CT5.2, CT5.4, CCO2.2, CCO3.1, CCO3.2, CT4.3, CT5.1, CT5.3, CT1.1A, CT2.3, -
...
Competencias relacionadas: G9.3, G3.2, CCO2.1, CT4.1, CT4.2, CT5.2, CCO2.2, CCO3.1, CT4.3, CT5.1,
Contenidos
-
...
... -
...
... -
...
... -
...
... -
...
... -
...
... -
...
...
Actividades
Actividad Acto evaluativo
Metodología docente
...Método de evaluación
...Bibliografía
Básico
-
Lógica para informáticos
- Farré, R. [et al.],
Marcombo,
2011.
ISBN: 9788426716941
https://discovery.upc.edu/discovery/fulldisplay?docid=alma991003857269706711&context=L&vid=34CSUC_UPC:VU1&lang=ca -
Logic for computer scientists
- Schöning, U,
Birkhäuser,
2008.
ISBN: 9780817647636
https://discovery.upc.edu/discovery/fulldisplay?docid=alma991001174279706711&context=L&vid=34CSUC_UPC:VU1&lang=ca
Complementario
-
Handbook of constraint programming
- Rossi, F.; van Beek, P.; Walsh, T,
Elsevier,
2006.
ISBN: 0444527264
https://discovery.upc.edu/discovery/fulldisplay?docid=alma991003148729706711&context=L&vid=34CSUC_UPC:VU1&lang=ca -
Journal of the ACM (JACM)
- Nieuwenhuis, Oliveras, Tinelli,
http://cataleg.upc.edu/record=b1209995~S1*cat -
Handbook of satisfiability
- Heule, Marijn; Walsh, Toby; van Maaren, Hans; Biere, Armin,
IOS Press,
2021.
ISBN: 9781643681603
https://ebookcentral-proquest-com.recursos.biblioteca.upc.edu/lib/upcatalunya-ebooks/detail.action?pq-origsite=primo&docID=28617772
Web links
- web principal de l'assignatura http://www.cs.upc.edu/~li
Capacidades previas
Coneixements bàsics de matemátiques (conjunts, funcions, relacions, conteig, combinatòria molt bàsica i técniques de demostració: inducció, reducció a l'absurd, contrarrecíproc...).Coneixements d'algorismica, programació (C++) i estructures de dades.
Coneixements de circuits digitals i funcions Booleanes.
Capacitats de treball autònom.