Pocket KrHyper

Pocket KrHyper

یک کتابخانه اثبات قضیه برای گوشی های موبایل J2ME است. این پشتیبانی از استدلال در گزاره، مرتبه اول، و منطق توضیحات و است که در مدیریت دانش تلفن همراه و یا برنامه های کاربردی وب معنایی است. و middot. اولین reasoner برای گوشی های موبایل و middot. با استفاده از منابع کمی و middot. رابط برای clausal منطق مرتبه اول و منطق...

اطلاعات بیشتر

PRIMElet

PRIMElet

یک برنامه ساده برای انجام عملیات عدد صحیح است. پشتیبانی از عملیات زیر: - تجزیه محاسبه نیز: * تعداد مقسوم علیههای ان، * حسابی اویلر (PHI)، * عملکرد Carcmichael است (LAMDA)، * چک میکند که آیا تعداد یک کارمایکل است و اگر چنین صفحه نمایش پیام مربوطه، - اول بودن تست، - modPower (توان مدولار)، - modInverse (وارون ضربی پیمانه)، - بعد احتمالی نخست، - تصادفی احتمالی نخست، - GCD (بزرگترین مقسوم علیه مشترک) و LCM (ضرب حداقل مشترک) از دو یا چند عدد صحیح. پشتیبانی تا شماره 18 رقم برای فاکتور و تا شماره 30 رقم برای عملیات دیگر، بسته به قابلیت های...

اطلاعات بیشتر

PRIMElet V1.01

PRIMElet V1.01

یک برنامه ساده برای انجام عملیات عدد صحیح است. پشتیبانی از عملیات زیر: - تجزیه محاسبه نیز: * تعداد مقسوم علیههای ان، * حسابی اویلر (PHI)، * عملکرد Carcmichael است (LAMDA)، * چک میکند که آیا تعداد یک کارمایکل است و اگر چنین صفحه نمایش پیام مربوطه، - اول بودن تست، - modPower (توان مدولار)، - modInverse (وارون ضربی پیمانه)، - بعد احتمالی نخست، - تصادفی احتمالی نخست، - GCD (بزرگترین مقسوم علیه مشترک) و LCM (ضرب حداقل مشترک) از دو یا چند عدد صحیح. نسخه آزمایشی تنها پشتیبانی از اعداد 2 رقم. نسخه کامل پشتیبانی تا شماره 18 رقم برای فاکتور و تا شماره 30 رقم برای عملیات...

اطلاعات بیشتر

Quad2Go

Quad2Go

اکتشافات با Quad2Go به وی?ه برای دانش آموزان قدیمی 11-12 سال مناسب است. تدریس هندسه به دانش آموزان از این سن در صفات مهم از چهار ضلعی و در روابط سلسله مراتبی در میان آنها، تمرکز دارد. یادگیری به معنای شناسایی وی?گی های مهم و وی?گی های غیر ضروری است. به عنوان مثال، و & quot؛ چهار طرف، و & quot؛ و & quot؛ دو جفت ضلع موازی، و & quot؛ یا & quot؛ دو جفت زاویه برابر مخالف و & quot؛ برخی از وی?گی های مهم یک متوازی الاضلاع است. و & quot؛ دو طرف طولانی و دو طرف کوتاه و & quot؛ یا & quot؛ دو زاویه حاد و دو زاویه منفرجه و & quot؛ وی?گی های غیر حیاتی هستند. یادگیری در این معنا به معنای یادگیری به تجزیه و تحلیل وی?گی های مربع های مختلف، به تمایز بین صفات مهم و غیر مهم خود را، و یادگیری سلسله مراتب در میان مربع. Quad2Go نمونه های بسیاری از مربع به صورت تصادفی ساخته فراهم می کند. هر مثال می توان با کشیدن هم راس و یا دو طرف آن را تغییر داد. امکاناتQuad2Go یک ابزار مفید برای یادگیری در مورد چهار ضلعی با تولید نمونه، مشاهده، و آزمایش با نمونه با در نظر نسبت به تشکیل حدس تعمیم است. به طور مشابه به اغلب استفاده می شود پویا هندسه محیط (DGE) مانند هندسی Supposer، Cabri هندسه و هندسه دان طراحی، Quad2Go ارائه می دهد اشیاء هندسی، ابزار به آنها را دستکاری، و ابزار اندازه گیری. آن را محدود به چهار ضلعی و ساخت و...

اطلاعات بیشتر

QWERTY Convert

QWERTY Convert

تبدیل QWERTY یک ابزار هدف نسبت به تلفن های هوشمند که با یک صفحه کلید کامل آمده است. ابزار را قادر می سازد شماره گیری آسان از اعداد غرور، مانند 1800-گل از یک صفحه کلید کامل غیر الفبایی، مانند یک در BlackBerry خود را در بر...

اطلاعات بیشتر

Ruler

Ruler

این برنامه تبدیل گوشی شما به یک خط کش جیب دستی است که می تواند در هر دو اینچ و سانتی متر اندازه گیری کند. امکانات: - طراحی زیبا - اندازه گیری در اینچ و سانتی متر - لغزنده برای اندازه گیری اشیاء کوچک با...

اطلاعات بیشتر