Logical Facts 2010

Logical Facts 2010

& Nbsp; Besøg os for bredden af ​​logiske fakta, kan vi sige, at det er en slags system, som vi bruger til at konstruere et argument fra observation og kendte fakta. Vi kan bruge logisk ræsonnement at gøre antagelser gennem kendte fakta. En meget populær sætning, skildrer logik er dette: Hver mand er dødelig, Sokrates er en mand, derfor Sokrates er dødelig. Logic er naturligvis bruges alle steder, på arbejde, da vi er ved at lære et nyt sprog, etc. etc. Nu noget, du ikke klar over normalt, er,...

Læs mere

Pocket Sensei

Pocket Sensei

Pocket Sensei er et værktøj til japansk sprogundervisning. Det lære dig mere end 6000 mest almindelige ord og 1000 kanjis. Du kan se kanji oplysninger og statistik over dine fremskridt. Arbejder i hver MIDP 2.0-enheder. Kræver ingen japansk...

Læs mere

Pocket KrHyper

Pocket KrHyper

er et teorem bevise bibliotek for J2ME mobiltelefoner. Det understøtter ræsonnement i udsagnslogik, første ordre, og beskrivelse logik og er rettet mod mobile videnledelse eller semantiske web-applikationer. & Middot; Den første Reasoner til mobiltelefoner & Middot; Bruger få ressourcer & Middot; Interfaces til clausal første ordre logik og beskrivelse...

Læs mere

Stroke Painter

Stroke Painter

Slagtilfælde Painter er en overlegen cjkmobile projekt (http://code.google.com/p/cjkmobile/) at indføre animerede Java mobil læring program til at vise, hvordan man male streger bestille for kinesisk, japansk, koreansk fælles tegn. Stroke maler formodes at være bærbar og egnet til enhver mobil understøtter Java MIDlet 2.1. Egenskaber 1- Mindre størrelse i forhold til cjkmobile 2 Support 3199 tegn 3 Give animeret slagtilfælde orden 4- det datasæt batched med krukken (ikke nødvendigt at downloade...

Læs mere