Créditos
6
Tipos
Obligatoria de especialidad (Computación)
Departamento
CS
Profesorado
Responsable
- Jose Miguel Rivero Almeida (rivero@cs.upc.edu)
Otros
- Antoni Lozano Boixadors (antoni.lozano@upc.edu)
- 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
Cualquier acto de fraude académico, plagio o uso o mera tenencia al alcance de medios no autorizados en cualquier actividad de
evaluación comportará la calificación de cero (0) en la prueba o entrega afectada. Además, de acuerdo con la normativa de la
Universidad, la posible derivación de los hechos para la apertura de un expediente disciplinario implicará que la asignatura quede en
el estado provisional de "pendiente de evaluación" hasta la resolución del expediente. La gestión de estas incidencias se lleva a cabo
de acuerdo con el Marco de actuación para la integridad académica en la evaluación de la UPC.
...
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.