Entradas

Colección de Libros leidos

Libros, novelas, cuentos, etc. leidos en mis ratos libres 2017 Enero Navidad en las montañas Ignacio Manuel Altamirano Leer Febrero El Principito ANTOINE DE SAINT-EXUPÉRY Leer Marzo No te enganches #TodoPasa Cesar Lozano Leer Abril Introducción a la Lógica Matemática P.SUPPES, S.HILL Leer Mayo Introducción a la Lógica Matemática P.SUPPES, S.HILL Leer Junio Julio Introducción a la Lógica Matemática P.SUPPES, S.HILL Leer Agosto Introducción a la Lógica Matemática P.SUPPES, S.HILL Leer Septiembre Introducción a la Lógica Matemática P.SUPPES, S.HILL Leer Octubre Introducción a la Lógica Matemática P.SUPPES, S.HILL Leer Noviembre Introducción a la Lógica Matemática P.SUPPES, S.HILL Leer Diciembre Introducción a la Lógica Matemática P.SUPPES, S.HILL Leer

Introducción a la lógica matemática - Cap. 2 Reglas de Inferencia.

Imagen
Reglas de Inferencia En el capitulo uno, hemos aprendido a dividir las proposiciones en sus partes lógicas y de este modo se ha llegado a conocer algo sobre la forma lógica  de las proposiciones. La idea de  forma  se puede ilustrar con alguno de los resultados del capítulo anterior.  La proposición P -> Q es la misma, en cuanto a la forma lógica se refiere, cualesquiera que sean las proposiciones en castellano que sustituyan a la P y a la Q . Los términos de enlace determinan la forma de la proposición. Las reglas de inferencia que rigen el uso de los términos de enlace son muy simples. Se pueden aprender estas reglas y su uso, como se aprenden las reglas de un juego. El Juego se juega con proposiciones , o fórmulas lógicas, nombre que se dará a las proposiciones simbolizadas. Se empieza con conjuntos de fórmulas que se denominan premisas . el objetivo del juego es utilizar las reglas de inferencia de manera que conduzcan a otras formulas que se denominan c...

Aprendiendo Desarrollo Android - TextView

TextView Un TextView muestra texto al usuario y, opcionalmente, permite editarlo. Un TextView es un editor de texto completo, sin embargo la clase básica está configurada para no permitir la edición. Atributos de TextView Los siguientes son los atributos importantes relacionados con el control TextView. Puede comprobar la documentación oficial de Android para ver la lista completa de atributos y métodos relacionados que puede utilizar para cambiar estos atributos en tiempo de ejecución. <TextView android:id = "@+id/text_id" android:layout_width = "300dp" android:layout_height = "200dp" android:capitalize = "characters" android:text = "hello_world" android:textColor = "@android:color/holo_blue_dark" android:textColorHighlight = "@android:color/primary_text_dark" android:layout_centerVertical = "true" android:layout_alignParentEnd = ...

Programación Android - Content Providers

Content Providers Los proveedores de contenido administran el acceso a un conjunto estructurado de datos. Encapsulan los datos y proporcionan mecanismos para definir la seguridad de los datos. Los proveedores de contenido son la interfaz estándar que conecta datos en un proceso con código que se ejecuta en otro proceso. Cuando quieres acceder a datos en un proveedor de contenido, usas el objeto ContentResolver en el Context de tu aplicación para comunicarte con el proveedor como cliente. El objeto ContentResolver se comunica con el objeto del proveedor, una instancia de una clase que implementa ContentProvider. El objeto del proveedor recibe solicitudes de datos de clientes, realiza la acción solicitada y devuelve resultados. continuara ....

Aprendiendo Desarrollo Android - Fragments

Imagen
Fragmentos Un Fragment representa un comportamiento o una parte de la interfaz de usuario en una Activity. Puedes combinar múltiples fragmentos en una sola actividad para crear una IU multipanel y volver a usar un fragmento en múltiples actividades. Puedes pensar en un fragmento como una sección modular de una actividad que tiene su ciclo de vida propio, recibe sus propios eventos de entrada y que puedes agregar o quitar mientras la actividad se esté ejecutando (algo así como una "subactividad" que puedes volver a usar en diferentes actividades). Un fragmento siempre debe estar integrado a una actividad y el ciclo de vida del fragmento se ve directamente afectado por el ciclo de vida de la actividad anfitriona. Por ejemplo, cuando la actividad está pausada, también lo están todos sus fragmentos, y cuando la actividad se destruye, lo mismo ocurre con todos los fragmentos. Sin embargo, mientras una actividad se está ejecutando (está en el estado del ciclo de vida reanudada ...

Licencias de prueba - ESET

Licencias de prueba - ESET En ESET contamos con soluciones de seguridad para todo tipo de empresas. Comprendemos sus necesidades y nos adaptamos a ellas, brindando soluciones para endpoints, servidores, gateway, dispositivos móviles, así como servicios de diagnóstico de seguridad y capacitación para sus empleados. Página principal licencias gratis(de prueba) :) Dentro del comprimido vienen las instrucciones de configuración. Espero no me reporten :(

Aprendiendo Desarrollo Android - AsyncTask

Imagen
AsyncTask AsyncTask permite el uso adecuado y sencillo del subproceso de interfaz de usuario(UI). Esta clase le permite realizar operaciones en segundo plano y publicar resultados en el subproceso de interfaz de usuario sin tener que manipular subprocesos y / o controladores. AsyncTask está diseñado para ser una clase auxiliar en torno a Thread y Handler y no constituye un marco de subprocesamiento genérico. AsyncTasks idealmente debe ser utilizado para operaciones cortas (unos pocos segundos a lo mucho). Si necesita mantener los threads en ejecución durante largos períodos de tiempo, se recomienda utilizar las diversas API proporcionadas por el paquete java.util.concurrent tales como Executor, ThreadPoolExecutor y FutureTask. Una tarea asincrónica se define por un cálculo que se ejecuta en un subproceso de fondo y cuyo resultado se publica en el subproceso de interfaz de usuario. Una tarea asincrónica está definida por 3 tipos genéricos, llamados Params, Progress y Result, y 4 ...