חיפוש הקהילה
מציג תוצאות עבור תגיות 'לוגיקה ותורת הקבוצות'.
נמצאו 2 תוצאות
-
היי, אני צריכה את עזרת המדמחניקים המנוסים! :mrgreen: אילו 5-6 מתוך הקורסים הבאים אפשר לבחור בסמסטר אחד, בהנחה שהבוחר מרגיש מאד בנוח עם נושאים בתכנות/מתמטיקה, אך לא כ"כ נוח עם עומס ש"ב, ועליו להגיע לממוצע גבוה במיוחד? להלן הרשימה; קומבינטוריקה, את"ם, מבני נתונים, לוגיקה ותורת הקבוצות, אוטומטים ושפות פורמליות, אלגוריתמים1, תורת החישוביות. אשמח מאד לכל עזרה/עצה מאלה שלמדו את הקורסים!!:)) נ.ב תשובות נוסח 'הדבר בלתי אפשרי ואת משוגעת' לא יתקבלו כי זאת גם המראה יכולה להגיד לי..!!! :twisted: נ.נ.ב איזו מן חיה זו את"ם??
-
http://i.imm.io/S2cp.png (אנו במערכת http://www.codecogs.com/gif.latex?WFF_%7B%5C%7B%5Crightarrow,%5Clnot%5C%7D%7D , הפונקציה subst הוגדרה בעבר והיא הצבה כלשהי של פסוקים במקום משתנים) ברורה לי הנכונות של הטענה, רק לא ברור איך בדיוק להוכיח זאת... האם אפשר לעשות אינדוקציה על אורך סדרת ההוכחה של http://www.codecogs.com/gif.latex?%5Calpha ? ואיך בדיוק עושים את זה? תודה!
