مشارکتهای کاربری آمنه قلی پور
یک کاربر با ۲۲ ویرایش. حساب ایجاد شده در ۱۵ مارس ۲۰۰۹ .
۲۲ مهٔ ۲۰۰۹
- ۰۸:۲۰۲۲ مهٔ ۲۰۰۹، ساعت ۰۸:۲۰ تفاوت تاریخچه +۶٬۹۶۹ صورها ( عمومی و وجودی ) در منطق گزارهای بدون خلاصۀ ویرایش
- ۰۸:۲۰۲۲ مهٔ ۲۰۰۹، ساعت ۰۸:۲۰ تفاوت تاریخچه +۳۴ الگوریتم پریم بدون خلاصۀ ویرایش
- ۰۸:۱۴۲۲ مهٔ ۲۰۰۹، ساعت ۰۸:۱۴ تفاوت تاریخچه −۶۱ صورها ( عمومی و وجودی ) در منطق گزارهای صفحه را خالی کرد
- ۰۷:۵۹۲۲ مهٔ ۲۰۰۹، ساعت ۰۷:۵۹ تفاوت تاریخچه +۱۳ سور عمومی ←منفی سازی
- ۰۷:۵۷۲۲ مهٔ ۲۰۰۹، ساعت ۰۷:۵۷ تفاوت تاریخچه +۲۶ سور عمومی ←صور عمومی
- ۰۷:۵۲۲۲ مهٔ ۲۰۰۹، ساعت ۰۷:۵۲ تفاوت تاریخچه +۴۰۳ الگوریتم پریم بدون خلاصۀ ویرایش
- ۰۷:۵۲۲۲ مهٔ ۲۰۰۹، ساعت ۰۷:۵۲ تفاوت تاریخچه −۳۲۳ سور عمومی ←منابع
- ۰۷:۴۳۲۲ مهٔ ۲۰۰۹، ساعت ۰۷:۴۳ تفاوت تاریخچه +۲ سور عمومی ←قوانین استنتاج
۱۴ مهٔ ۲۰۰۹
- ۱۹:۲۷۱۴ مهٔ ۲۰۰۹، ساعت ۱۹:۲۷ تفاوت تاریخچه −۵۷ سور عمومی ←قوانین استنتاج
- ۱۹:۲۴۱۴ مهٔ ۲۰۰۹، ساعت ۱۹:۲۴ تفاوت تاریخچه +۲۴ سور عمومی ←قوانین استنتاج
- ۱۹:۲۲۱۴ مهٔ ۲۰۰۹، ساعت ۱۹:۲۲ تفاوت تاریخچه +۲۵ سور عمومی ←قوانین استنتاج
- ۱۹:۱۲۱۴ مهٔ ۲۰۰۹، ساعت ۱۹:۱۲ تفاوت تاریخچه ۰ سور عمومی ←منفی سازی
- ۱۹:۰۳۱۴ مهٔ ۲۰۰۹، ساعت ۱۹:۰۳ تفاوت تاریخچه −۱۲ سور عمومی ←صور وجودی
- ۱۸:۵۸۱۴ مهٔ ۲۰۰۹، ساعت ۱۸:۵۸ تفاوت تاریخچه ۰ سور عمومی ←صور عمومی
- ۱۸:۴۶۱۴ مهٔ ۲۰۰۹، ساعت ۱۸:۴۶ تفاوت تاریخچه −۲۱ سور عمومی بدون خلاصۀ ویرایش
۱۰ مهٔ ۲۰۰۹
- ۰۷:۳۸۱۰ مهٔ ۲۰۰۹، ساعت ۰۷:۳۸ تفاوت تاریخچه +۵ الگوریتم پریم ←شرح الگوریتم
- ۰۷:۳۷۱۰ مهٔ ۲۰۰۹، ساعت ۰۷:۳۷ تفاوت تاریخچه +۶٬۶۵۳ نو الگوریتم پریم صفحهای جدید با 'الگوریتم پریم، الگوریتمی در مبحث نظریه گراف هاست که زیردرخت پوشای کمینه را برا…' ایجاد کرد
- ۰۷:۰۱۱۰ مهٔ ۲۰۰۹، ساعت ۰۷:۰۱ تفاوت تاریخچه +۴۷۲ سور عمومی ←قوانین استنتاج
۱۹ آوریل ۲۰۰۹
- ۱۱:۴۰۱۹ آوریل ۲۰۰۹، ساعت ۱۱:۴۰ تفاوت تاریخچه +۲٬۶۷۷ سور عمومی بدون خلاصۀ ویرایش
- ۰۷:۳۳۱۹ آوریل ۲۰۰۹، ساعت ۰۷:۳۳ تفاوت تاریخچه +۳۳ سور عمومی بدون خلاصۀ ویرایش
- ۰۷:۲۵۱۹ آوریل ۲۰۰۹، ساعت ۰۷:۲۵ تفاوت تاریخچه +۳٬۹۴۱ نو سور عمومی صفحهای جدید با 'در منطق گزاره ای، سمبل <math>\exists \;</math> که به صورت "وجود دارد" خوانده می…' ایجاد کرد