Logical Facts 2010

Logical Facts 2010

& Nbsp; Besøk oss for bredden av logiske fakta, kan vi si at det er et slags system som vi bruker til å konstruere et argument fra observasjon og kjente fakta. Vi kan bruke logiske resonnementer for å gjøre antagelser, gjennom kjente fakta. En meget populær frase som skildrer logikk er dette: Hver mann er dødelig, Sokrates er en mann, derfor Sokrates er dødelig. Logic er tydeligvis brukt overalt, på jobben, når vi lærer et nytt språk, etc. etc. Nå noe som du ikke skjønner normalt, er at din...

Les mer

Pocket Sensei

Pocket Sensei

Pocket Sensei er et verktøy for japansk språkopplæring. Det lærer du mer enn 6000 vanligste ordene og 1000 kanjis. Du kan se kanji informasjon og statistikk over din fremgang. Fungerer i hvert MIDP 2.0-enheter. Trenger ingen japansk...

Les mer

Pocket KrHyper

Pocket KrHyper

er et teorem beviser bibliotek for J2ME mobiltelefoner. Den støtter resonnement i propositional, første ordre, og beskrivelse logikk og er rettet mot mobile knowledge management eller semantiske web-applikasjoner. & Middot; Den første reasoner for mobiltelefoner & Middot; Bruker lite ressurser & Middot; Grensesnitt for clausal første ordens logikk og beskrivelse...

Les mer

Stroke Painter

Stroke Painter

Stroke Painter er en overlegen cjkmobile prosjekt (http://code.google.com/p/cjkmobile/) å innføre animerte Java mobil læring program for å vise hvordan å male slag bestille for kinesisk, japansk, koreansk vanlige tegn. Stroke maleren ment å være bærbar og passer for alle mobile støtter Java MIDlet 2.1. Egenskaper 1- Mindre størrelse i forhold til cjkmobile 2- Support 3199 tegn 3- Gi animerte slag orden 4- datasettet dosert med glasset (ikke nødvendig å laste ned og installere datasettet...

Les mer