PiBase: Topology

Felipe Cruz‏

מכיל מודעות

מידע על האפליקציה הזו

π-Base Topology הוא מסד נתונים קהילתי של דוגמאות נגד טופולוגיות.

במסד הנתונים יש:
- מרחבים טופולוגיים
- משפטים טופולוגיים.
- מאפיינים טופולוגיים.
- הפניות (ספרים, מאמרים, פורומים).

מידע בתוך האפליקציה:
- תיאורי חלל, משפט ומאפיינים.
- מאפיינים שמסופקים (ואינם) מרווח נתון.
- שיוכים של משפטים שרווח נתון הוא דוגמה נגדית עבורם.
- נתון נכס, שחללים מספקים ואינם מספקים אותו.
- דוגמאות נגד להיפך של משפט נתון. אם ההפך הוא נכון, ניתנת הוכחה או התייחסות.
- רווחים העונים על נוסחה לוגית נתונה שנוצרה עם מאפיינים (חיפוש לפי נוסחה).
- הפניות.

מה חדש?

Bug fixes!