משתמש:נתיב לה/טיוטה
דף זה אינו ערך אנציקלופדי
| ||
דף זה אינו ערך אנציקלופדי | |
לוגיקת הפסוקים עריכה
מושגי יסוד בלוגיקת הפסוקים עריכה
פסוק • אמת • שקר • קשר • לא • הצרנה • טבלת אמת • אם-אז • וגם • או • או מוציא • תנאי • מסקנה
טבלאות אמת של פסוקים מורכבים עריכה
גרירה לוגית • שקילות לוגית • טאוטולוגיה • סתירה
שקילויות לוגיות חשובות עריכה
אידמפוטנטיות • טאוטולוגיה • סתירה • חוק הזהות • חוק השליטה • חוק החילוף • חוק הקיבוץ • חוק הפילוג • שלילה כפולה • חוקי דה מורגן
פתרון בעיות לוגיות עריכה
תורת הקבוצות עריכה
- ערך מורחב – תורת הקבוצות - מונחים
מושגי יסוד עריכה
קבוצה • שוויון • הכלה • הקבוצה הריקה
מספרים רציונלים ומספרים ממשיים עריכה
מספר רציונלי • מספר ממשי • אינטרוול
פעולות על קבוצות עריכה
איחוד • חיתוך • הפרש • הפרש סימטרי • משלים • קבוצה אוניברסלית • קבוצות זרות • אינוולוציה • דיאגרמת ון
לוגיקת הפרדיקטים עריכה
פרדיקטים - הגדרות, סימונים ושלילה עריכה
פונקציות עריכה
הגדרות בסיסיות עריכה
הרכבת פונקציות עריכה
הרכבת פונקציות • פונקציית הזהות
פונקציה חד חד ערכית ופונקציה על עריכה
פונקציה חד-חד-ערכית • פונקציה על
פונקציות הפיכות עריכה
פונקציה חד-חד-ערכית ועל • פונקציה הפיכה