Relaciones de Dependencia de los temas. Autor: Carlos Ivorra profesor de la Universidad de Valencia. Lógica y teoría de conjuntos (Simplificación de la construcción de los números naturales en el Capítulo VIII 16-9-11) Contiene los resultados esenciales sobre la fundamentación de la matemática. Se divide en tres partes:Primera parte:Lógica de primer ordenTeorías axiomáticas, introducción a la teoría de modelos, el teorema de completitud de Gödel, introducción a la teoría de la recursión, los teoremas de incompletitud de Gödel. Segunda parte: La lógica de la teoría de conjuntos Las axiomáticas de Zermelo-Fraenkel y von Neumann-Bernays-Gödel, modelos de la teoría de conjuntos, la formalización de la lógica en la teoría de conjuntos. Tercera parte: Teoría de conjuntos Ordinales, inducción y recursión sobre relaciones bien fundadas, cardinales. En la primera parte se incide en los problemas de fundamentación de la matemática, defendiendo en todo momento una postura finitista al estilo de Hilbert pero ampliada para reconocer la legitimidad de los razonamientos metamatemáticos en torno a colecciones numerables. En la segunda parte se incide en la particularización de los resultados obtenidos en la primera parte al caso concreto de la teoría de conjuntos. Doy una prueba específica del segundo teorema de incompletitud. La tercera parte está encaminada a estudiar la exponenciación cardinal. Se estudian las consecuencias de la hipótesis de los cardinales singulares, y en particular de la hipótesis del continuo generalizada. Pruebas de consistencia (Añadidos dos teoremas en la sección 9.1, 28-4-11) Consta de dos partes:Primera parte:Teoría básica y aplicacionesModelos de la teoría de conjuntos, constructibilidad, extensiones genéricas, álgebras de Boole. Aplicaciones.Segunda parte: Cardinales grandes Cardinales medibles, débilmente compactos, de Ramsey, compactos, supercompactos y enormes. Aplicaciones. En la primera parte se introducen las técnicas básicas de pruebas de consistencia. Como aplicaciones se demuestra (entre otros muchos ejemplos) el teorema de Easton sobre las posibilidades de la función del continuo sobre cardinales
Lana Del Rey – Born To Die (Lyrics Subtitulada / Español -Ingles)
Born to Die fue lanzado el 27 de enero de 2012 en Irlanda,29 el 30 de enero de 2012 en el Reino Unido y el 31 de enero en el resto del mundo. En el Reino Unido el álbum debutó en el número uno, vendiendo 117.000 copias en su primera semana. En Estados Unidos, Born to Die vendió 77 000 copias en su semana de lanzamiento, debutando en la segunda posición del Billboard 200. Born to Die recibió críticas generalmente favorables por parte de los críticos profesionales, según Metacritic. Para promocionar el álbum, Del Rey se presentó en Saturday Night Live el 14 de enero de 2012, en general recibiendo críticas mixtas por su presentación. Durante 2012, Born to Die vendió 3.400.000 copias a nivel mundial, con las cuales se convirtió en el quinto álbum más vendido durante aquel año. La mano izquierda de Lana tiene tatuadas una «M», en referencia a su abuela Madeleine, y la palabra «paradise». Su mano derecha está tatuada con la frase «trust no one.» También tiene tatuada la frase «die young» en el dedo anular derecho. Why, who me, why Feet don’t fail me now Take me to the finish line Ohh my heart it breaks every step that I take But I’m hoping at the gates, They’ll tell me that you’re mine Walking through the city streets Is it by mistake or design I feel so alone on the friday night Can you make it feel like home, if I tell you you’re mine Is like i told you honey Don’t make me sad, don’t make me cry Sometimes love is not enough and the road gets tough I don’t know why Keep making me laugh, Lets go get high The road is long, we carry on Try to have fun in the meantime
Proteger Dropbox. Cómo cifrar Dropbox y evitar ojos ajenos.
En esta entrada os mostraré cómo proteger vuestra cuenta Dropbox, de forma gratuita, a medida y mediante el empleo de trucos y consejos aplicables de forma sencilla. Dropbox permite dejar archivos en la nube, y trabajar de forma realmente cómoda desde diversas ubicaciones y dispositivos. Es una servicio de calidad, bastante difundido, siendo en mi opinión el software de almacenamiento en la nube más empleado. Pero existe un gran problema, aunque se emplean conexiones seguras, no se cifran los datos e información en cada dispositivo que usamos y aun menos en la nube (remotamente). Es decir, en un equipo sobremesa, cualquiera puede acceder a la información de la carpeta personal dropbox, una vez hemos validado en el sistema. Además los datos que se depositan en esa carpeta no están cifrados. Cualquiera que pueda acceder a la cuenta mediante el navegador (por un fallo de seguridad, robo de credenciales, etc) podría consultar la información que depositamos en los servidores de dropbox, exponer nuestros datos, un problema bastante «genérico» con el almacenamiento cloud. Si disponemos en el equipo de un sistema de cifrado Bitlocker (disponible en versiones de sistemas Ultimate y Enterprise de Windows) o chip TPM , no habría en principio ese «problema» localmente, pero remotamente los datos almacenados no quedan cifrados. Veamos como crear un propio sistema de cifrado y como proteger los terminales para ojos extraños…
Bebidas con más cafeina.
Bebidas con mas cafeína, por orden La cantidad de cafeina en mg por cada 100ml de producto Cafeina en Por Javier Solas 100 ml (3*) Taza de cafe expres 72,22 Taza de cafe filtrado (soluble o normal) 66,67 Vaso coca cola de grifo 43,54 Lata de Coca cola Light 36,64 Lata de Pepsi Light 34,23 Red Bull (4,6g tauria) 34,10 Dynamite 33,60 Speed Unlimited (0,7g tauria) 32,20 Lata de Pepsi 31,83 Guaraná Natural 30,00 Lata de coca cola Zero 27,93 Lata de coca cola normal 27,93 B52 (0,5g tauria) 26,30 Taza de te negro 22,22 Taza de café descafeinado 1,11 Guaraná Lamanita 0,60 Detalle del cuadro (1) Cantidad de liquido en mililitros del envase presentado. (2) Cantidad de cafeína en miligramos del envase presentado. (3) Cantidad de cafeína en 100 mililitros del producto. (4) Porcentaje del correspondiente del envase a una taza de café normal (5) Porcentaje de la cantidad máxima recomendada diaria (300mg) de un envase tabla de contenidos en cafeína de las principales bebidas La cantidad de cafeina en mg segund prodcuto, 100ml, % taza café, % maximo Presentacion Cafeina en Cafeina en Porcentaje de % del maximo Por Javier Solas en ml (1*) unidad (2*) 100 ml (3*) una taza café diario (5*) Bebidas de cola Lata de Pepsi 333 106 31,83 47,75% 10,61 Lata de Pepsi Light 333 114 34,23 51,35% 11,41 Lata de Coca cola Light 333 122 36,64 54,95% 12,21 Lata de coca cola Zero 333 93 27,93 41,89% 9,31 Lata de coca cola normal 333 93 27,93 41,89% 9,31 Vaso coca cola de grifo 333 145 43,54 65,31% 14,51 Bebidas energeticas/estimulantes Guaraná Lamanita 1000 6 0,60 0,90% 0,20 Dynamite 1000 336 33,60 50,40% 11,20 Red Bull (4,6g tauria) 1000 341 34,10 51,15% 11,37 Speed Unlimited (0,7g tauria) 1000 322
Imprimir desde el Ipad
En esta entrada os mostraré todos los mecanismos existentes para poder imprimir desde el Ipad o Iphone. Cuando digo todos, son TODOS, desde los más sencillos como disponer de una impresora Airprint hasta la instalación de drivers especificos. Son una serie de consideraciones, que he recopilado y considero que es necesario tener presente si deseas imprimir cualquier cosa desde el Ipad o Iphone y no sabes como. OS CUENTO TODO SOBRE LA IMPRESIÓN DE DOCUMENTOS DESDE el IPAD e IPHONE …
Novedades de Photoshop CC
NOVEDAD Photoshop con más conectividad Photoshop® CC forma parte de Creative Cloud™, lo que significa que tienes acceso a las actualizaciones más recientes y a las versiones futuras desde el momento en el que están disponibles. Usa Guardar en la nube para mantener organizados tus archivos en varios ordenadores. Además, gracias a la integración con Behance®, puedes compartir tus proyectos directamente desde Photoshop CC y recibir inmediatamente comentarios de profesionales creativos de todo el mundo. Más información › NOVEDAD Enfoque suavizado completamente nuevo Texturas sofisticadas, bordes nítidos y detalles definidos. Enfoque suavizado completamente nuevo es la tecnología de enfoque más avanzada que existe actualmente. Analiza las imágenes para maximizar la claridad y minimizar el ruido y los halos, y te permite realizar ajustes para conseguir resultados de alta calidad y de aspecto natural. NOVEDAD Aumento de la resolución inteligente Agranda imágenes con baja resolución de modo que tengan un aspecto genial al imprimirlas o utiliza esta función con una imagen más grande y amplíala hasta que tenga un tamaño de cartel o de póster. El nuevo aumento de la resolución conserva los detalles y la nitidez sin introducir ruido. NOVEDAD Estabilizador de imágenes de cámara Recupera instantáneas que dabas por perdidas debido al movimiento de la cámara. Con independencia de que el desenfoque se deba a una velocidad de obturación baja o a una longitud focal prolongada, este estabilizador analiza la trayectoria y te ayuda a restablecer la nitidez. NOVEDAD Generación de activos de imagen en tiempo real Evita las molestias de la división y exportación de secciones de activos manual cuando diseñes para pantallas. A medida que trabajas, Photoshop CC utiliza la tecnología Generator para guardar capas etiquetadas y grupos de capas como archivos de imagen individuales en el formato que elijas, todos recopilados en una sola carpeta. NOVEDAD Compatibilidad con capas y Camera Raw 8
Los Secretos de las herramientas de desarrollo y depuración web.
En esta entrada os voy a mostrar una serie de secretos muy interesantes para los desarrolladores, que nos permitirán agilizar los trabajos web, así como sacar provecho al máximo de las herramientas que poseen los diferentes navegadores para depurar y revisar los códigos (HTML, Javascript, CSS) de las páginas que visitas o creas. Antiguamente, la depuración de componentes de las páginas era una tarea tediosa, al menos para mi. Muchas depuraciones en javascript se hacían con el comando Alert, mediante diferentes ventanas popup podíamos ver los valores que determinaban ciertos comportamientos de nuestras aplicaciones. Hoy en día, por fortuna eso ha cambiado, y disponemos de verdaderos entornos de depuración que agilizan el desarrollo web. Pero que no exprimimos, ni sacamos partido. Comencemos categorizando estos secretos.
Primer día.
Hoy es primer día de muchos estudiantes en sus centros educativos. El primer dia en la vida de mi hija, su primera asistencia al colegio de «Mayores». Es por ello, que la deseo suerte en esta nueva etapa. Una nueva etapa seguro que llena de cosas nuevas y lecciones por aprender. Tal y como dijo Coelho, es justamente la posibilidad de realizar un sueño, lo que hace que la vida sea interesante … Deseo de corazón que esta nueva etapa lo sea para ella, tenga suerte, ganas e ilusión y le posibilite ser lo que desee en el futuro. De todo corazón. Su Padre.
La Constitución Española en Inglés. Método muy cómodo de aprendizaje por repetición en Castellano-Inglés.
En esta entrada os mostraré un método para aprender la Constitución Española en Inglés o Castellano de forma sencilla. Para ello es necesario instalar el programa Remember-Me, e incorporar estos ficheros que contienen la constitución Española. – Constitución Española , Inglés – Castellano (actualmente desde el artículo 1 hasta el 18, estoy trabajando en ello). Aunque puedes colaborar (howto). Gracias 🙂 – Constitución Española, sólo Castellano. Es ideal para el aprendizaje y extensión de nuestros derechos a otros usuarios de otras lenguas. Perfecta para perfeccionar nuestro inglés. Por otro lado, la versión del fichero, solo Castellano, es muy recomendable para estudiar la constitución (oposiciones) o tenerla siempre presente. Veamos cómo utilizar estos ficheros …
Nacho´s Dick
Nacho´s Dick es una banda bilbaína de rock en castellano. El estilo se podría denominar como rock setentero, pero con una mezcla distinta de diferentes estilos. Con diversas influencias que van desde The Who, AC/DC, Bon Jovi, The Doors, Aerosmith hasta M-Clan o Barón Rojo. Se formó en 2006 por Raúl, Beñat y Aitor, en principio como tres guitarristas y únicos miembros originales en la actualidad. En 2008 grabaron una maqueta con título homónimo, formada por temas propios. En 2010 el grupo decide grabar su primer disco llamado “Despierta”. Actualmente, completan la formación Víctor como batería, Fernan a las teclas y Hugz a la guitarra, dando un aire fresco y revitalizador a la banda. Este periodo ilusionante fructifica con un fantástico EP en el 2013 titulado “Prueba”. Destaca por acercarse a las raíces y recobrar la naturalidad del rock de los setenta. VIDEOCLIP DE LA CANCIÓN » NADA VA A CAMBIAR « Web del grupo. www.nachosdick.net
Alternativas para realizar presentaciones tipo Powerpoint pero en la web
En esta entrada os dejo unos enlaces de herramientas para crear presentaciones online o mediante la web (empleo del navegador) a diferencia de otros software tipo Powerpoint, Keynote, Impress, etc, de uso local.
