IL-2003

        

Introducció a la Lògica. Assignatura del departament de LSI-MA2. Se sol pronunciar ilo.

Objectius

Els objectius generals són dos:

• Conèixer que és la lògica i quin és el rol que aquesta ciència juga en la informàtica.

• Conèixer, tant de la Lògica Proposicional (LProp) com de la Lògica de Primer Ordre (LPO) els següents aspectes: la sintaxi, el significat, els mètodes de demostració més importants i les possibilitats d'aplicació a la informàtica.

• Intentar engañarte diciendote que la Lógica sirve para algo en esta carrera.

Professors

• Lluís Vila Grabulosa: Aquest profesor ha aconseguit l'índex més alt de suspesos de tots els grups de IL (quadrimestre tardor 2006-2007) (100%). Ha estat degut al mal rollo entre ell i el seu company coordinador Nieuehumans o com s'escrigui. Ell explica bé encara que li falta gracia, alguna broma o un poc més de "xispa" seria ideal.
• Edelmira Pasarella Sanchez: Li agrada molt la lògica i es nota, pots preguntarli qualsevol dubte estigui o no al temari, que estarà encantada de resoldre't.
• Glyn Morrill: Profesor extranjero. Se esfuerza en hacerse entender, aún sobre las barreras que supone el lenguaje. Es posible que durante los primeros días cueste entenderle, por el acento; luego uno se acostumbra. Es bastante accesible a dudas, en especial en el entreclase o al final de la misma, o asaltándolo en el bar de la FIB mientras se toma una cerveza, un café o un carajillo. Sus clases se limitan a copiar los apuntes del CPET (disponibles y descargables gratis en su web, en .ps o .pdf) en la pizarra. Bastante metódico y sistemático. No recomendable como corrector.
• Jesús Ángel Giménez Linares: Tot i que no acaba de fer-se entendre a la pissarra, es mostra molt obert a ajudar a l'alumne en el que faci falta.
• Juan José Morales Ruiz: Si te toca como profesor...¡HUYE!. También conocido como cifra (el de Matrix). Extremadamente borde.
• Luis Marquez Villodre: Professor àcid però extremadament ordenat. Fa bones pissarres i anima a participar l'alumnat. Reparteix dos o tres puntets extra entre els més participatius. Dona la impressió de tenir la assignatura totalment controlada i se'n surt perfectament amb qualsevol dubte d'alumnes. Comentari d'un altre: Pel meu gust és "soporifer", t'adorms a les seves classes. Altre comentari: Qui no s'adorm a les classes d'IL per molt bo que sigui el professor?
• *Luis Valentin-Fernádez [EPD]: Un dels millors professors que havia tingut el departament de l'LSI, sempre el recordarem.
• Raimon Elgueta Monto: Recomendable. Pasota donde los haya (frases como “Los apuntes tienen errores pero me da mucho palo corregirlos” son ya un clásico). Pero a su favor tiene su capacidad de hacer accesible a todos, una asignatura tan pesada como la lógica (primero lo explica todo con ejemplos cotidianos para que se entienda, y luego da la definición formal, que no hay nadie que tenga narices de entenderla)
• Pilar Nivela: Buf... es dedica a anar explicant i escrivint a la pissarra els apunts que va penjant a la web. Posa exemples i s'explica força bé. La pega més gran, a part d'explicar monòtonament (més encara) la lògica, és que es una professora extremadament borde. Fa el temari amb un ordre realment caòtic, PACs salvatges (que el títol no t'enganyi... pot fer-la del tema que vulgui encara que no sigui el que toca) i una diferencia de nomenclatura i temari massa diferent del que et trobes a l'examen (coses de l'estil "mis apuntes son mejores, no me gustan los del coordinador" no et traumaràn fins que arribis a l'examen final).
• Robert Nieuwenhuis: Coordinador desde el quatri de tardor 06/07. Molt bo explicant, es preocupa perquè la gent intervingui a classe i entengui les coses, dona bons exemples quan alguna cosa costa d'entendre, no posa dificultat per a resoldre dubtes en entre-hora, fi de classe o consultes, i es nota que li agrada la part docent del seu treball. Així i tot és imparcial, no accepta cap idea exterior. "Els seus apunts són els millors i amb ells ho pots fer tot". Ha aconseguit un 83% de suspesos, donant eternament la culpa als alumnes, esperant un nivell que gairebé ningú té i que no pot adquirir amb 2 mesos, i no important-li en absolut. Si que es preocupa pels alumnes, però creu que no és culpa seua que s'hagi suspès, lo cual amb aquests percentatges dona que pensar. No vol fer canvis i únicament s'ha limitat a posar "el que s'ha de fer per aprovar" a la web de IL per, en opinio meva, cobrir-se les espatlles.
• Albert Oliveras: Muy buen profesor, se nota que tiene las ideas claras. Explica muy bien y no tiene problemas para resolver tus dudas. Recomendable.

Re-tratats

Lluís Vila

Temari

El temario puede parecer largo y complicado, pero no son más que diferentes “juegos” con nombres complicados (Skolemització,…). Aprende a jugar (no tiene una mie de facil), y practica un poco en casa con todos los juegos, y no tendrás ningún problema en suspender con toda seguridad. Actualmente el temario abarca, entre otros: problemas NP-completos, grafos, inducción e incluso se han llegado a ver ejercicios de combinatoria, además de programación lógica (PROLOG, antes dado en clases de laboratorio). Es todo un logro si consigues estudiarlo todo (además del temario de toda la vida, claro) i sacar un miserable 5. El temario básicamente se corresponde con el estudiado en la asignatura optativa de cuarto cuatrimestre, llamada LI (Lògica a la Informàtica).

Problemes

El profesor de teoría ira proponiendo algunos ejercicios para hacer i entregar el siguiente día o hacerlos en la pizarra (la dificultad i el numero de ellos dependerá del profesor). No suelen ser muy difíciles, así que vale la pena ir haciéndolos y entregándolos pues puede suponer un punto extra sobre la nota final (así como ayudarte de cara al examen).

Examens

Sabes más o menos que va a entrar, pero, según la inspiración divina del redactor del examen, caerá un nivel random(), lo cual hará variar el porcentaje de suspensos entre el 80% y el 99%, dejemos el 1% restante como beneficio de la duda.

Dificultat de l'assignatura

La dificultad de la asignatura ha aumentado considerablemente, con el nuevo temario del cuatrimestre otoño 2006-2007. El porcentaje de aprobados fue de un 15%, con una media que apenas llegaba al 2.3. Te encontrarás con partes del temario que no vienen a cuento y se dan en asignaturas como MATD, además de que muchas cosas las dan por sabidas/un poco por encima. Sudaréis tinta para aprobarla. Esta asignatura es un infien·no!.

Enllaços

• http://www.fib.upc.es/ca/Estudis/Assignatures/IL.html
• http://www.lsi.upc.es/~vila/ilo.html
• http://www-ma2.upc.es/~elgueta/

Opinions

• Es l'assignatura més dificil de tot el segon quatri, tens poques possibilitats si es que no tens sort o ets Deu. Has de fer els problemes EXACTAMENT com ells volen, no et permetis tenir creativitat ni et permetis res més que escriure el que ells tenen a la correció. Aquesta assignatura ÉS UN INFERN, t'ho passaras fatal i per molt que estudiis t'arribaras a sentir estupid perquè no sabràs fer gairebé cap problema.

• Sorprende la libertad que tiene cada profesor respecto al qué, cuando y cómo enseñar. Para el examen final más vale mirarse solo los apuntes del coordinador, pues te puedes llevar una decepción al darte cuenta que tu profesor se ha saltado medio temario que sí entra en examen, así como cabrearte aun más al leer en la primera hoja del examen la frase "puede que la nomenclatura sea diferente a la usada en tu grupo". Resumiendo, si no tienes al coordinador o no usas sus apuntes, puedes llevarte un buen Pwn3d. Kerrigan

• Es la asignatura más difícil de toda la Fase Selectiva. Su temario abarca varias cosas como conceptos de complejidad y traducción de enunciados a problemas NP-Completos, con procesos de resolución en LPO y LP, junto con demostracións "a lo burro" de propiedades básicas (como si te piden que demuestres que 2+2=4 utilizando palabrerío). El porcentaje de aprobados ronda el 13% actualmente. La recomendación es: machaca el resto de asignaturas, y haz lo que puedas con esta - Elmenda