Logical Facts 2010

Logical Facts 2010

& Nbsp; Visitez-nous pour la banque de faits logiques, nous pouvons dire que c'est un système bon que nous utilisons pour construire un argument à partir de l'observation et des faits connus. Nous pouvons utiliser le raisonnement logique pour faire des hypothèses, à travers des faits connus. Une phrase très populaire qui dépeint la logique est la suivante: Chaque homme est mortel, Socrate est un homme, donc Socrate est mortel. La logique est évidemment utilisée partout, au travail, lorsque...

En savoir plus

Pocket Sensei

Pocket Sensei

Pocket Sensei est un outil pour la formation linguistique japonaise. Il vous apprend plus de 6000 mots les plus communs et 1000 kanjis. Vous pouvez afficher les informations kanji et les statistiques de vos progrès. Fonctionne dans tous les périphériques MIDP 2.0. Ne nécessite aucune police...

En savoir plus

Pocket KrHyper

Pocket KrHyper

Est une bibliothèque prouvant le théorème pour les téléphones mobiles J2ME. Il prend en charge le raisonnement dans la logique propositionnelle, de premier ordre et de description et vise la gestion des connaissances mobiles ou les applications Web sémantiques. & Middot; Le premier raisonnement pour les téléphones portables & Middot; Utilise peu de ressources & Middot; Interfaces pour logique de premier ordre et logique de description de...

En savoir plus

Stroke Painter

Stroke Painter

Stroke Painter est supérieur au projet cjkmobile (http://code.google.com/p/cjkmobile/) pour présenter l'application d'apprentissage mobile Java animé pour montrer comment peindre l'ordre des traits pour les caractères chinois, japonais et coréens. Stroke peintre supposé être portable et adapté à tout mobile support Java MIDlet 2.1. Caractéristiques 1- Plus petite taille par rapport à cjkmobile 2- Support du caractère 3199 3- Fournir un ordre de course animé 4- le jeu de données...

En savoir plus