Entradas

Mostrando entradas de agosto, 2017

Programación Java Básico - Tipos de Datos en Java

Imagen
Tipos de datos en Java El lenguaje de programacion Java es un lenguaje tipiado, lo que significa que todas las variables deben de ser declaradas antes de ser usadas. Esto involucra definir el tipo de variable y nombre, como por ejemplo: int edad = 45; En la siguiente imagen podemos ver la definición de estos tipos de variables: Valores por default No siempre es necesario asignar un valor cuando la variable es declarada, las variables que no son inicializadas, el compilar les asignara un valor por default, estos valores se muestran en la siguiente tabla. Código Primero definimos todos los tipos de variables: Después realizamos el código que nos permitirá ver el resultado en consola. Por ultimo ejecutamos nuestro programa y vemos la salida en consola. Bien esto ha sido todo, espero les haya quedado un poco mas claro la forma de declarar variables con los tipos de datos. dejo los enlaces de donde obtuve la info. Saludos.... Enlaces https://docs.or

Introducción a la lógica matemática - Cap. 4 Tablas de certeza

Imagen
Tablas de certeza Así como un diagrama de certeza, presentar los valores de certeza de una fórmula para una sola combinación de asignaciones de certeza para sus proposiciones atómicas, la tabla de certeza muestra los valores de certeza de la fórmula para todas las combinaciones posibles de asignaciones de certeza. Incluso con una tabla de certeza se puede hacer simultáneamente para varias fórmulas diferentes. Para construir una tabla de certeza que dé todas las combinaciones posibles de asignaciones de certeza a n letras atómicas distintas, son necesarias 2^n líneas. Para cada letra atómica distinta se necesita una columna, y también se necesita una columna por cada término de enlace que se presente. Una tautologia es una proposicion molecular cuya columna en una tabla de certeza no posee ninguna F. Hay dos maneras de utilizar una tabla de certeza para determinar si un razonamiento es valido. El primero consiste en construir una tabla de certeza con una columna para cada premisa