Logical Facts 2010

Logical Facts 2010

& Nbsp; Bezoek ons ​​voor de bank van de logische feiten, kunnen we zeggen dat het een soort systeem dat we gebruiken om een ​​argument van observatie en bekende feiten te construeren. We kunnen logisch redeneren gebruiken om veronderstellingen, door middel van bekende feiten te maken. Een zeer populaire uitdrukking die logica toont is deze: Ieder mens is sterfelijk, Socrates is een mens, dus Socrates is sterfelijk. Logica is natuurlijk overal gebruikt, op het werk, wanneer we een nieuwe taal, etc....

Lees meer

Pocket Sensei

Pocket Sensei

Pocket Sensei is een hulpmiddel voor de Japanse taal training. Het leert je meer dan 6000 meest voorkomende woorden en 1000 kanjis. U kunt de kanji informatie en statistieken van je voortgang te bekijken. Werkt in elke MIDP 2.0-apparaten. Behoeft geen japanse...

Lees meer

Pocket KrHyper

Pocket KrHyper

is een stelling te bewijzen bibliotheek voor J2ME mobiele telefoons. Het ondersteunt redenering in propositioneel, eerste orde, en de beschrijving logica en is gericht op mobiele kennismanagement of semantische web applicaties. & Middot; De eerste Reasoner voor mobiele telefoons & Middot; Gebruikt weinig middelen & Middot; Interfaces voor clausale eerste orde logica en beschrijving...

Lees meer

Stroke Painter

Stroke Painter

Stroke Painter is een superieur naar project (http://code.google.com/p/cjkmobile/) om geanimeerde Java mobiel leren applicatie te laten zien hoe om te schilderen van de slagen te bestellen voor Chinees, Japans, Koreaans gemeenschappelijke karakters introduceren cjkmobile. Stroke schilder verondersteld draagbaar en geschikt voor elke mobiele ondersteuning van Java MIDlet 2.1 te zijn. Kenmerken 1- kleinere omvang ten opzichte van cjkmobile 2- Ondersteuning 3199 karakter 3- Geef geanimeerde beroerte orde 4-...

Lees meer