Posts etiquetados como ‘Universidad’

Día de la Ciencia en la Calle: Mañana.

Sábado, Mayo 8th, 2010

Mañana es el día de la Ciencia en la Calle.
Una iniciativa de la alianza de museos de A Coruña que realiza una exposición anual, que cae en el primer sábado después del primer viernes del mes de mayo. Es decir, mañana.

Es un evento en el que facultades e institutos tratan de acercar la ciencia al público general, mediante ejemplos que tratan de ser lo más claros e ilustrativos que pueden sobre algún tema científico o tecnológico.

Nosotros aquí, desde la Facultad de Informática de A Coruña (FIC) vamos a llevar varios proyectos entre los que está muy presente el software libre.

Entre ellos, un coche teledirigido, un proyecto de interfaces modernas (una mesa táctil), realidad aumentada, un stand de software libre, ‘temas’ sobre wifi y seguridad informática (incluyendo probablemente un ataque man-in-the-middle en directo), y una casa domótica.

Más tarde se dará información más particular sobre esto. Que es el día antes y no hay que adelantar acontecimientos.
Así que si no quereis perdéroslo y verlo en primicia, os invito a venir al Parque de Santa Margarita (alrededores de la Casa de las Ciencias) mañana, a cualquier hora del día.

Actualización: Estoy demasiado dormido para escribir sobre este día, así que os remito al blog de Linealibre para mayor información al respecto. Hemos estado programando toda la noche.

Ejercicio 2: Examen de Matemática Discreta

Martes, Febrero 9th, 2010

Enunciado

Sean { x e y } dos personas, y la proposición p(x, y) “x puede mentir a y”.
Enuncia, tanto en lenguaje formal como en lenguaje natural, la proposición contraria a “∃x ∀y p(x, y)”
Nota: No puede haber una negación antes de un cuantificador, y la frase no puede empezar por construcciones del tipo “No es cierto que…”.

En lenguaje natural, ∃x ∀y p(x, y) se lee «Existe alguien que es capaz de mentir a todo el mundo».

Buscamos ¬ [ ∃x, ∀y, p(x, y) ] <=> ∀x ¬[ ∀y, p(x, y) ] <=> ∀x ∃y ¬p(x, y).
La lectura, en lenguaje natural, de esto último, es:
«Todo el mundo tiene alguien a quien no puede mentir».