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