|
|
|
|
|
|
|
סמ' א' | 1000-1200 | 'ד | 106 | הנדסת תוכנה | תרגיל | מר רוטברט אביב |
|
D:\Inetpub\shared\yedion\syllabus\03\2014\0368\0368111816_desc.txt סילבוס מקוצר 1. מושגי יסוד בתורת הקבוצות: הגדרות בסיסיות, אלגברה של קבוצות, טרמינולוגיה של תורת ההגיון, תחשיב פסוקים, אלגברה בוליאנית, כמתים, סימון למדא, פונקציות, עוצמה של קבוצה, משפט קנטור-ברנשטיין, עוצמות אינסופיות שונות, משפט קנטור, אריתמטיקה של עוצמות.
2. קומבינטוריקה: טכניקות מניה אלמנטריות, פונקציות יוצרות, משוואות רקורסיה, משפטי פוליה, עקרון ההכלה וההפרדה, הגדרות יסוד בתורת הגרפים, גרפים מישוריים, עצים ותכונותיהם, משפטי רמזי - מקרים פרטיים.
|
|