Logical Facts 2010

Logical Facts 2010

& Nbsp; Visítenos para el banco de hechos lógicos, podemos decir que es un sistema amable que utilizamos para construir un argumento a partir de la observación y hechos conocidos. Podemos utilizar el razonamiento lógico para hacer suposiciones, a través de hechos conocidos. Una frase muy popular que describe la lógica es esta: Cada hombre es mortal, Sócrates es un hombre, por lo tanto Sócrates es mortal. La lógica es obviamente usada en todas partes, en el trabajo, cuando estamos aprendiendo un...

Leer más

Pocket Sensei

Pocket Sensei

Pocket Sensei es una herramienta para el aprendizaje del idioma japonés. Te enseña más de 6000 palabras más comunes y 1000 kanjis. Puede ver la información kanji y las estadísticas de su progreso. Funciona en todos los dispositivos MIDP 2.0. No necesita ninguna fuente...

Leer más

Pocket KrHyper

Pocket KrHyper

Es una biblioteca de prueba de teoremas para teléfonos móviles J2ME. Apoya el razonamiento en lógica proposicional, de primer orden y de descripción y está dirigido a la gestión del conocimiento móvil oa aplicaciones web semánticas. & Middot; El primer motivo para teléfonos móviles & Middot; Utiliza pocos recursos & Middot; Interfaces para lógica lógica de primer orden y lógica de...

Leer más

Stroke Painter

Stroke Painter

Stroke Painter es superior al proyecto cjkmobile (http://code.google.com/p/cjkmobile/) para introducir la aplicación de aprendizaje Java móvil animada para mostrar cómo pintar el orden de trazos para caracteres comunes en chino, japonés y coreano. Stroke pintor supuestamente portátil y adecuado para cualquier móvil compatible Java MIDlet 2.1. Caracteristicas 1- Un tamaño menor comparado con cjkmobile 2- Soporte de caracteres 3199 3- Proporcionar orden de trazo animado 4- el conjunto de datos se...

Leer más