‫ינואר ‪2014‬‬ ‫בס"ד‬

‫פרק ‪ - 1‬מבוא ללוגיקה מתמטית‬

‫קשרים לוגיים בסיסיים‬
‫ינואר ‪2014‬‬ ‫בס"ד‬

‫מספיק והכרחי‬

‫זהויות (שקילויות) לוגיות יסודיות‬

‫ינואר ‪2014‬‬ ‫בס"ד‬

‫סדר קדימויות‬

‫‪CNF / DNF‬‬

‫קבוצות שלמות של קשרים‬

‫ינואר ‪2014‬‬ ‫בס"ד‬

‫תחשיב פסוקים – תקפות טיעונים וכללי היסק‬

‫תחשיב הפרדיקטים – מונחים בסיסיים‬

‫כמתים‬
‫ינואר ‪2014‬‬ ‫בס"ד‬

‫זהויות (שקילויות) לוגיות בסיסיות בתחשיב הפרדיקטים‬

‫הוכחת ‪ /‬הפרכת משפטי (טענות) הכללה וקיום‬

‫ינואר ‪2014‬‬ ‫בס"ד‬

‫פרק ‪ - 2‬מבוא לתורת הקבוצות‬

‫יחסים בין קבוצות‬

‫פעולות על קבוצות‬

‫‪ .5‬משלים הקבוצה – הגדרה וסימון‪:‬‬

‫ינואר ‪2014‬‬ ‫בס"ד‬

‫חוקי תורת הקבוצות‬

‫ינואר ‪2014‬‬ ‫בס"ד‬

‫הרחבת ההגדרות של פעולות על קבוצות‬

‫קבוצת החזקה‬

‫תכונות קבוצת החזקה‬

‫ינואר ‪2014‬‬ ‫בס"ד‬

‫זוגות סדורים‬

‫מכפלה קרטזית‬

‫תכונות המכפלה הקרטזית‬

‫הרחבת ההגדרות של "קבוצה סדורה" ומכפלה קרטזית‬

‫ינואר ‪2014‬‬ ‫בס"ד‬

‫פרק ‪ - 3‬יחסים בינאריים‬

‫הגדרה‬

‫ייצוג‬

‫מטריצת סמיכויות בינארית‬ ‫גרף מכוון‬

‫תחום וטווח היחס‬

‫ינואר ‪2014‬‬ ‫בס"ד‬

‫היחס ההפוך‬

‫תכונות‬

‫כפל יחסים‬

‫תכונות‬
‫ינואר ‪2014‬‬ ‫בס"ד‬

‫סווג יחסים‬
‫ינואר ‪2014‬‬ ‫בס"ד‬

‫סגור של יחס ביחס לתכונה מסוימת שלו‬

‫יחסי שקילות‬
‫ינואר ‪2014‬‬ ‫בס"ד‬

‫יחסי סדר‬
‫ינואר ‪2014‬‬ ‫בס"ד‬

‫שרשראות ואנטי שרשראות‬