לוגיקה ותורת הקבוצות מבחן סופי אביב תשע"ד (2014) דפי עזר

Save this PDF as:
 WORD  PNG  TXT  JPG

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "לוגיקה ותורת הקבוצות מבחן סופי אביב תשע"ד (2014) דפי עזר"

Transcript

1 לוגיקה ותורת הקבוצות מבחן סופי אביב תשע"ד (2014) דפי עזר תורת הקבוצות: סימונים.N + = N \ {0} קבוצת המספרים הטבעיים; N Z קבוצת המספרים השלמים. Q קבוצת המספרים הרציונליים. R קבוצת המספרים הממשיים. הרכבת יחסים דו מקומים בהנתן יחס R 2 B C ויחס R 1 A B נגדיר את יחס ההרכבה ביניהם באופן הבא:.R 1 R 2 = {(a, c) A C (a, b) ו R 1 (b, c) כך ש R 2 b B {קיים A C עבור יחס,R A 2 נסמן.R 2 = R R בנוסף נסמן,R 1 = R ולכל + N i נסמן.R i+1 = R i R בהנתן יחס דו מקומי,R A 2 נסמן.R = i N + Ri תכונות של יחסים דו מקומיים תהי A קבוצה ויהי יחס.R A 2.(a, a) R מתקיים a A רפלקסיבי אמ"מ לכל R.(b, a) R אז (a, b) R מתקיים: אם a, b A סימטרי אמ"מ לכל R.(b, a) / R אזי (a, b) R מתקיים: אם a כך ש b a, b A אנטי סימטרי אמ"מ לכל R.(a, c) R אז (a, b), (b, c) R מתקיים: אם a, b, c A טרנזיטיבי אמ"מ לכל R יחס שקילות: יחס E A 2 הוא יחס שקילות אמ"מ הוא רפלקסיבי, סימטרי וטרנזיטיבי..[a] E מחלקת השקילות של איבר a A ביחס השקילות E היא הקבוצה: E} {b A (a, b) = קבוצת המנה של יחס השקילות E, היא קבוצת מחלקות השקילות שלו, כלומר: A/E = {[a] E a A} 1

2 יחס שקילות וחלוקה: תהי A קבוצה כלשהי. קבוצה P של קבוצות נקראת חלוקה של A אם מתקיימים התנאים הבאים: P = A.1.2 לכל B, C P כך ש C B מתקיים = C.B / P.3 בהנתן חלוקה P של קבוצה A נגדיר את היחס הדו מקומי E P מעל A באופן הבא: {קיימת B P כך ש E P = {(x, y) A 2 x, y B 1. אם E הוא יחס שקילות על A, אז A/E היא חלוקה של A. 2. אם P היא חלוקה של A, אז E P הוא יחס שקילות על A. משפט: פונקציות: יחס f A B נקרא פונקציה אמ"מ לכל a A קיים b B יחיד כך ש f.(a, b) במקרה זה נסמן את הפונקציה f : A B וכן f (a) = b עבור.(a, b) f פונקציה f : A B היא חד חד ערכית (חח"ע, 1 1 ) אם לכל a 1, a 2 A כך ש a 1 a 2 מתקיים.f (a 1 ) f (a 2 ) פונקציה f : A B היא על אם לכל b B קיים a A כך ש b.f (a) = הוכחה באינדוקציה: תהי (P I,A) קבוצה המוגדרת באינדוקציה, באמצעות קבוצת בסיס A וקבוצת פונקציות P. תהי Y קבוצה כלשהי. כדי להוכיח כי I (A, P) Y מספיק להוכיח: בסיס: A Y סגור: Y סגורה תחת הפונקציות ב P, כלומר לכל פונקציה n מקומית f ב P מתקיים: אם a 1, a 2,..., a n Y אז.f(a 1, a 2,..., a n ) Y נאמר שקבוצות A, B הן שוות עוצמה, ונסמן,A B אם קיימת f : A B חד חד ערכית ועל. עוצמות: הגדרות: אם קבוצות,A B אינן שוות עוצמה, נסמן A. B נאמר שקבוצה A קטנה או שווה בעוצמתה לקבוצה B, ונסמן A, B אם קיימת f : A B חד חד ערכית. נאמר שקבוצה A קטנה ממש בעוצמתה מקבוצה,B ונסמן,A B אם A B וגם.A B קבוצה A נקראת סופית אם קיים n N כך ש { 1 n.a {0, 1,..., הגדרה שקולה: קבוצה A נקראת סופית אם A. N קבוצה A נקראת אינסופית אם.N A קבוצה A נקראת בת מניה אם.A N 2

3 משפטים שהוכחנו: איחוד בן מניה של קבוצות בנות מניה הוא קבוצה בת מניה. משפט קנטור: לכל קבוצה A מתקיים P(A) A. משפט קנטור ברנשטיין: בהנתן שתי קבוצות A ו B : קיימת פונקציה f : A B חח"ע וגם פונקציה g : B A חח"ע אמ"מ קיימת פונקציה h : A B חח"ע ועל (כלומר, A B וגם B A אמ"מ.(A B.R P(N) לכל קבוצה B מתקיים.P(B) {0, 1} B תחשיב הפסוקים: מושגי יסוד סמנטים: פסוק α נקרא טאוטולוגיה (ומסומן ) α אם לכל השמה v מתקיים.v(α) = T פסוק α נקרא סתירה אם לכל השמה v מתקיים.v(α) = F פסוק α נקרא ספיק אם קיימת השמה v כך שמתקיים.v(α) = T עבור פסוקים,α, β נאמר ש α גורר לוגית את β (או β נובע לוגית מ α ) ונסמן α, β אם לכל השמה v מתקיים: אם v(α) = T אז.v(β) = T עבור פסוקים,α, β נאמר ש α ו β שקולים לוגית, ונסמן α, β אם לכל השמה v מתקיים v(β).v(α) = עבור קבוצת פסוקים Σ והשמה v, נאמר ש v מספקת את Σ, אם לכל α Σ מתקיים.v(α) = T קבוצת פסוקים Σ תקרא ספיקה, אם קיימת השמה v המספקת אותה. עבור קבוצת פסוקים Σ ופסוק α, נאמר ש Σ גוררת לוגית את α (או α נובעת לוגית מ Σ ) ונסמן Σ, α אם לכל השמה v המספקת את Σ, מתקיים.v(α) = T נאמר שקבוצות פסוקים Σ 1, Σ 2 הן שקולות לוגית, ונסמן,Σ 1 Σ 2 אם לכל השמה v מתקיים:.v אמ"מ Σ 2 v Σ 1 הצבה במשתנים פסוקיים: בהינתן פונקצית הצבה,s : {p i i N} WFF הפסוק s) subst (α, מוגדר באינדוקציה על מבנה הפסוק: בסיס: לכל אטום.subst (p i, s) = s (p i ) :p i סגור: לכל :α, β.subst ( α, s) = subst (α, s) s)),subst ((α β), s) = (subst (α, s) subst (β, עבור קשר }, {,. צורות נורמליות של פסוקים קבוצת הפסוקים Disj היא הקבוצה האינדוקטיבית הבאה: בסיס: N} {p i i N} { p i i 3

4 פעולות: } {F קבוצת הפסוקים בצורת CNF היא הקבוצה האינדוקטיבית הבאה: בסיס: Disj פעולות: } {F קבוצת הפסוקים Conj היא הקבוצה האינדוקטיבית הבאה: בסיס: N} {p i i N} { p i i פעולות: } {F קבוצת הפסוקים בצורת DNF היא הקבוצה האינדוקטיבית הבאה: בסיס: Conj פעולות: } {F משפט: לכל פסוק ϕ WFF קיים פסוק שקול ϕ 1 בצורת CNF ופסוק שקול ϕ 2 בצורת.DNF מערכת הוכחה עבור {, } WFF האקסיומות של מערכת ההוכחה הן: לכל {, } WFF,α,,β γ (α (β α)) :A1 ((α (β γ)) ((α β) (α γ))) :A2 (( α β) (β α)) :A3 תהי {, } WFF Σ. נגדיר באינדוקציה את (Σ),Ded קבוצת הפסוקים היכיחים מ Σ : בסיס:,Σ A1 A2 A3 כאשר Ai היא קבוצת הפסוקים המתקבלים מהצבת {, } WFF α, β, γ באקסיומה.Ai סגור: Ponens).MP (ϕ, ϕ ψ) = ψ (Modus הגדרה: בהינתן קבוצת פסוקים {, } WFF Σ ופסוק {, } WFF,α נסמן Σ α ונאמר ש α יכיח מתוך Σ אם (Σ).α Ded משפט ההיסק (דדוקציה): לכל קבוצת פסוקים {, } WFF Σ, ולכל שני פסוקים {, } WFF,α, β מתקיים: β) Σ (α אמ"מ.Σ {α} β משפט הנאותות (במובן הרחב): לכל קבוצת פסוקים {, } WFF Σ ולכל פסוק {, } WFF α מתקיים: אם.Σ α אז Σ α (במילים אחרות, (Σ),Ded (Σ) Con כאשר (Σ) Con היא קבוצת הפסוקים הנובעים לוגית מ Σ ). 4

5 משפט הנאותות (במובן הצר): לכל פסוק {, } WFF α מתקיים: אם α אז. α (במילים אחרות, ( ) Con,Ded ( ) כאשר ( ) Con היא קבוצת הטאוטולוגיות). משפט השלמות: לכל קבוצת פסוקים {, } WFF Σ ולכל פסוק {, } WFF α מתקיים: אם Σ α אז.Σ α (במילים אחרות, (Σ).(Con (Σ) Ded עקביות: הגדרה: קבוצת פסוקים Σ היא עקבית אם לא קיים פסוק α כך ש α Σ וגם Σ. α הגדרה שקולה: קבוצת פסוקים Σ היא עקבית אם קיים פסוק β כך ש β Σ. משפט: קבוצת פסוקים Σ היא עקבית אמ"מ היא ספיקה. עקביות מקסימלית: הגדרה: קבוצת פסוקים Σ היא עקבית מקסימלית אם Σ עקבית ולכל פסוק α מתקיים:.Σ α או Σ α משפט: קבוצת פסוקים Σ היא עקבית מקסימלית אמ"מ יש בדיוק השמה אחת המספקת את Σ. משפט הקומפקטיות: קבוצת פסוקים Σ היא ספיקה אמ"מ כל תת קבוצה סופית שלה היא ספיקה. גדירות בתחשיב הפסוקים: נסמן ב Ass את קבוצת כל ההשמות. עבור קבוצת פסוקים Σ נסמן v} מספקת את.M (Σ) = {v Ass Σ נאמר שקבוצת פסוקים Σ מגדירה קבוצת השמות K אם מתקיים M. (Σ) = K קבוצת השמות K תקרא גדירה אם קיימת קבוצת פסוקים Σ שמגדירה אותה (כלומר, M). (Σ) = K תחשיב היחסים: אוסף שמות העצם (ש"ע) מעל מילון τ היא קבוצה אינדוקטיבית (P Term (τ) = I,A) כאשר: בסיס: }..., 2 A = {x 0, x 1,... } {c 1, c (משתנים וסמני הקבוע שבמילון (τ פעולות: {סימני הפונקציה שבמילון P = τ} אוסף הנוסחאות האטומיות מעל מילון τ היא הקבוצה (τ) AF המוגדרת באופן הבא: לכל סימן יחס, n מקומי R i במילון τ ולכל (τ) t 1, t 2,..., t n Term (ש"ע), הביטוי ) n R i (t 1, t 2,..., t הוא נוסחה אטומית. כמו כן, לכל (τ) t 1, t 2 Term (ש"ע),הביטוי ) 2 (t 1 t הוא נוסחה אטומית. 5

6 אוסף הנוסחאות מעל מילון τ היא קבוצה אינדוקטיבית (P I,A) כאשר: בסיס: (τ) A = AF (הנוסחאות האטומיות) פעולות: N} P = {,,, } { x i i N} { x i i כאשר הפעלת קשרים מתבצעת באופן זהה לתחשיב הפסוקים והפעלת כמתים באופן הבא: אם ϕ נוסחה אז לכל i N גם ϕ) ( x i ו ( ϕ ( x i הן נוסחאות. נוסחאות בצורת (Prenex Normal Form) PNF קבוצת הנוסחאות חסרות הכמתים מעל מילון τ היא הקבוצה (τ) QF המוגדרת באינדוקציה: בסיס: (τ) AF (הנוסחאות האטומטיות) פעולות: },, {, (קבוצת הקשרים) קבוצת הנוסחאות בצורת PNF מעל מילון τ היא הקבוצה (τ) PNF המוגדרת באינדוקציה: בסיס: (τ) QF (הנוסחאות חסרות הכמתים) פעולות: } i { x i, x (הכמתים) משפט ה PNF : לכל נוסחה ϕ מעל τ קיימת נוסחה ψ בצורת PNF כך ש ϕ ψ. הגדרות: בהינתן נוסחה ϕ, מופע של משתנה x i ב ϕ נקרא קשור אם הוא נמצא בטווח של כמת x i או x. i עבור משתנה x i בנוסחה ϕ נאמר ש x i חופשי ב ϕ אם קיים מופע של x i ב ϕ שאינו קשור. הנוסחה ϕ תקרא פסוק אם אין ב ϕ משתנים חופשיים. מבנה: בהינתן מילון..., 2.τ = R 1, R 2,..., F 1, F 2,..., c 1, c מבנה..., 2 M = D M, R1 M, RM 2,..., F 1 M, F 2 M,..., cm 1, cm עבור τ מורכב מהחלקים הבאים: M D קבוצת התחום, העולם. D. M מעל הוא יחס n מקומי Ri M n מקומי, R i עבור סימן יחס R. i הפירוש של סימן יחס Ri M D. M מעל היא פונקציה n מקומית F M i n מקומי, F i עבור סימן פו' F. i הפירוש של סימן פונקציה F M i.d M איבר בתחום.c i הפירוש של סימן קבוע c M i לכל השמה s, ההשמה המורחבת היא פונקציה s : Term (τ) D M המוגדרת באינדוקציה על מבנה שמות העצם: בסיס: לכל משתנה s (x i ) = s (x i ),x i לכל סימן קבוע s (c i ) = c M i,c i 6

7 s (F i (t 1, t 2,..., t n )) = Fi סגור: לכל סימן פונקציה n מקומי, F i )) n M (s (t 1 ), s (t 2 ),..., s (t עבור מבנה M, השמה s ונוסחה ϕ היחס (M M s ϕ ו s מספקים את ϕ) מוגדר באינדוקציה: בסיס: ) n M = s R i (t 1, t 2,..., t אמ"מ (s (t 1 ), s (t 2 ),..., s (t n )) Ri M s (t 1 ) = s (t 2 ) אמ"מ M = s (t 1 t 2 ) סגור: ( ϕ) M s אמ"מ M s ϕ M s או ϕ 1 M s אמ"מ ϕ 2 M s (ϕ 1 ϕ 2 ) M s וגם ϕ 1 M s אמ"מ ϕ 2 M s (ϕ 1 ϕ 2 ) M s או ϕ 2 M s כלומר ϕ 1 (M s אז ϕ 2 M s אמ"מ (אם ϕ 1 M s (ϕ 1 ϕ 2 ) M = s[xi d] ϕ מתקיים d D M אמ"מ לכל M = s ( x i ϕ) M = s[xi d] ϕ שמקיים d D M אמ"מ קיים M = s ( x i ϕ) מושגי יסוד סמנטים: עבור קבוצת נוסחאות Σ, מבנה M והשמה s ב M, נאמר ש Σ מסתפקת במבנה M תחת השמה s, ונסמן.M s ϕ מתקיים: ϕ Σ אם לכל,M s Σ נוסחה ϕ תקרא אמת לוגית אם לכל מבנה M ולכל השמה s ב M מתקיים M. s ϕ נוסחה ϕ תקרא סתירה אם לכל מבנה M וכל השמה s ב M מתקיים M. s ϕ נוסחה ϕ תקרא ספיקה אם קיים מבנה M וקיימת השמה s ב M כך שמתקיים M. s ϕ קבוצת נוסחאות Σ נקראת ספיקה אם קיימים מבנה M והשמה s ב M כך שמתקיים M. s Σ עבור קבוצת נוסחאות Σ ונוסחה ϕ, נאמר ש Σ גוררת לוגית את ϕ, ונסמן Σ, ϕ אם לכל מבנה M ולכל השמה.M s ϕ אז M s Σ אם מתקיים: ב M s משפט הקומפקטיות: קבוצת נוסחאות Σ היא ספיקה אמ"מ כל תת קבוצה סופית של Σ היא ספיקה. גדירות של אוסף מבנים בתחשיב היחסים: בהנתן מילון τ נסמן ב ( τ ) Str את אוסף המבנים מעל τ. עבור קבוצת פסוקים Σ (מעל (τ נסמן Σ}.M (Σ) = {M Str (τ) M קבוצת פסוקים Σ (מעל τ) מגדירה אוסף מבנים K (מעל τ) אם מתקיים (Σ) K. = M אוסף מבנים K יקרא גדיר (מעל τ) אם קיימת קבוצת פסוקים Σ (מעל τ) שמגדירה אותו. בהינתן קבוצה Ω וקבוצת מבנים K (מעל τ), נאמר ש K גדירה ב Ω אם קיימת קבוצת פסוקים Σ (מעל τ) כך שלכל מבנה (τ) M Str המקיים,D M Ω מתקיים M K אמ"מ M(Σ).M גדירות של יחס בתוך מבנה: יהי M מבנה מעל מילון τ. עבור יחס P ( D (M n נאמר ש P יחס גדיר במבנה M אם קיימת נוסחה ϕ מעל τ עם משתנים חופשיים x 1, x 2,..., x n כך שלכל השמה s מתקיים:.(s (x 1 ), s (x 2 ),..., s (x n )) P אמ"מ M s ϕ במקרה זה נאמר כי ϕ מגדירה את P במבנה M. 7

לוגיקה ותורת הקבוצות מבחן סופי אביב תשע"ב (2012) דפי עזר

לוגיקה ותורת הקבוצות מבחן סופי אביב תשעב (2012) דפי עזר לוגיקה ותורת הקבוצות מבחן סופי אביב תשע"ב (2012) דפי עזר תורת הקבוצות: סימונים.N + = N \ {0} קבוצת המספרים הטבעיים; N Z קבוצת המספרים השלמים. Q קבוצת המספרים הרציונליים. R קבוצת המספרים הממשיים. הרכבת

Διαβάστε περισσότερα

לוגיקה ותורת הקבוצות אביבתשס ז מבחןסופי מועדב בהצלחה!

לוגיקה ותורת הקבוצות אביבתשס ז מבחןסופי מועדב בהצלחה! הטכניון מכון טכנולוגי לישראל הפקולטה למדעי המחשב 24/10/2007 מרצה: פרופ אורנה גרימברג מתרגלים: גבי סקלוסוב,קרן צנזור,רותם אושמן,אורלי יהלום לוגיקה ותורת הקבוצות 234293 אביבתשס ז מבחןסופי מועדב הנחיות: משךהבחינה:

Διαβάστε περισσότερα

Logic and Set Theory for Comp. Sci.

Logic and Set Theory for Comp. Sci. 234293 - Logic and Set Theory for Comp. Sci. Spring 2008 Moed A Final [partial] solution Slava Koyfman, 2009. 1 שאלה 1 לא נכון. דוגמא נגדית מפורשת: יהיו } 2,(p 1 p 2 ) (p 2 p 1 ).Σ 2 = {p 2 p 1 },Σ 1 =

Διαβάστε περισσότερα

לוגיקה ותורת הקבוצות פתרון תרגיל בית 4 אביב תשע"ו (2016)

לוגיקה ותורת הקבוצות פתרון תרגיל בית 4 אביב תשעו (2016) לוגיקה ותורת הקבוצות פתרון תרגיל בית 4 אביב תשע"ו (2016)............................................................................................................. חלק ראשון: שאלות שאינן להגשה 1. עבור

Διαβάστε περισσότερα

הגדרה 0.1 טיעון הוא תקף אם בכל פעם שההנחות נכונות גם המסקנה נכונה.

הגדרה 0.1 טיעון הוא תקף אם בכל פעם שההנחות נכונות גם המסקנה נכונה. 1 לוגיקה סיכום הגדרות משפטים ודברים חשובים אחרים תודה רבה לניצן פומרנץ על הסיכום הכולל של החומר הקדמה הגדרה 0.1 טיעון הוא תקף אם בכל פעם שההנחות נכונות גם המסקנה נכונה. הערה 0.2 נשים לב שלכל שפה יש רובד

Διαβάστε περισσότερα

דף פתרונות 7 נושא: תחשיב הפסוקים: צורה דיסיונקטיבית נורמלית, מערכת קשרים שלמה, עקביות

דף פתרונות 7 נושא: תחשיב הפסוקים: צורה דיסיונקטיבית נורמלית, מערכת קשרים שלמה, עקביות יסודות לוגיקה ותורת הקבוצות למערכות מידע (סמסטר ב 2012) דף פתרונות 7 נושא: תחשיב הפסוקים: צורה דיסיונקטיבית נורמלית, מערכת קשרים שלמה, עקביות 1. מצאו צורה דיסיונקטיבית נורמלית קנונית לפסוקים הבאים: (ג)

Διαβάστε περισσότερα

לדוגמה: במפורט: x C. ,a,7 ו- 13. כלומר בקיצור

לדוגמה: במפורט: x C. ,a,7 ו- 13. כלומר בקיצור הרצאה מס' 1. תורת הקבוצות. מושגי יסוד בתורת הקבוצות.. 1.1 הקבוצה ואיברי הקבוצות. המושג קבוצה הוא מושג בסיסי במתמטיקה. אין מושגים בסיסים יותר, אשר באמצעותם הגדרתו מתאפשרת. הניסיון והאינטואיציה עוזרים להבין

Διαβάστε περισσότερα

רשימת משפטים והגדרות

רשימת משפטים והגדרות רשימת משפטים והגדרות חשבון אינפיניטיסימאלי ב' מרצה : למברג דן 1 פונקציה קדומה ואינטגרל לא מסויים הגדרה 1.1. (פונקציה קדומה) יהי f :,] [b R פונקציה. פונקציה F נקראת פונקציה קדומה של f אם.[, b] גזירה ב F

Διαβάστε περισσότερα

תורת הקבוצות מושגי יסוד בתורת הקבוצות קבוצה אוסף של אלמנטים הנקראים אברי הקבוצה. אין חשיבות לסדר האיברים בקבוצה. אין חשיבות לחזרות.

תורת הקבוצות מושגי יסוד בתורת הקבוצות קבוצה אוסף של אלמנטים הנקראים אברי הקבוצה. אין חשיבות לסדר האיברים בקבוצה. אין חשיבות לחזרות. תורת הקבוצות מושגי יסוד בתורת הקבוצות קבוצה אוסף של אלמנטים הנקראים אברי הקבוצה. אין חשיבות לסדר האיברים בקבוצה. אין חשיבות לחזרות. A = 1,4,7,17,20 B = 1, a, b, c 2 נאמר ש x שייך ל A ונסמן x A אם x הוא

Διαβάστε περισσότερα

לוגיקה למדעי המחשב ניצן פומרנץ 25 ביוני 2015

לוגיקה למדעי המחשב ניצן פומרנץ 25 ביוני 2015 לוגיקה למדעי המחשב ניצן פומרנץ 25 ביוני 2015 רשימות בקורס לוגיקה למדעי המחשב, סמסטר אביב תשע"ה, אוניברסיטת תל אביב. טעויות קורות אשמח שתעדכנו אותי עליהן ושאתקנן. אמיר שפילקה shpilka@post.tau.ac.il שרייבר

Διαβάστε περισσότερα

ל הזכויות שמורות לדפנה וסטרייך

ל הזכויות שמורות לדפנה וסטרייך מרובע שכל זוג צלעות נגדיות בו שוות זו לזו נקרא h באיור שלעיל, הצלעות ו- הן צלעות נגדיות ומתקיים, וכן הצלעות ו- הן צלעות נגדיות ומתקיים. תכונות ה כל שתי זוויות נגדיות שוות זו לזו. 1. כל שתי צלעות נגדיות

Διαβάστε περισσότερα

מתמטיקה בדידה תרגול מס' 2

מתמטיקה בדידה תרגול מס' 2 מתמטיקה בדידה תרגול מס' 2 נושאי התרגול: כמתים והצרנות. משתנים קשורים וחופשיים. 1 כמתים והצרנות בתרגול הקודם עסקנו בתחשיב הפסוקים, שבו הנוסחאות שלנו היו מורכבות מפסוקים יסודיים (אשר קיבלו ערך T או F) וקשרים.

Διαβάστε περισσότερα

"שקר". במקום המילים "אמת" או "שקר" משתמשים באותיות T ו- F (באנגלית truth אמת, false שקר (

שקר. במקום המילים אמת או שקר משתמשים באותיות T ו- F (באנגלית truth אמת, false שקר ( . חלק : 1 תחשיב הפסוקים. 1) פסוקים. משתנים פסוקיים. ערכי האמת. בדיבור יום-יומי אנו משתמשים במשפטים שונים. לדוגמא: " יורם סטודנט ", "בישראל בקיץ חם.", "מה השעה?", "דג כרפיון עף בשמיים.", "לך הביתה!", "פרות

Διαβάστε περισσότερα

לוגיקה למדעי המחשב תרגולים

לוגיקה למדעי המחשב תרגולים לוגיקה למדעי המחשב תרגולים ניצן פומרנץ 17 ביוני 2015 אתר הקורס: במודל בשבוע הראשון התרגילים ייועלו גם ל www.cs.tau.ac.il/~shpilka/teaching לירון כהן: liron.cohen@math.tau.ac.il (לא לשלוח שאלות על החומר

Διαβάστε περισσότερα

תורת הקבוצות יובל קפלן סיכום הרצאות פרופ ארז לפיד בקורס "תורת הקבוצות" (80200) באוניברסיטה העברית,

תורת הקבוצות יובל קפלן סיכום הרצאות פרופ ארז לפיד בקורס תורת הקבוצות (80200) באוניברסיטה העברית, תורת הקבוצות יובל קפלן סיכום הרצאות פרופ ארז לפיד בקורס "תורת הקבוצות" (80200) באוניברסיטה העברית, 7 2006. תוכן מחברת זו הוקלד ונערך על-ידי יובל קפלן. אין המרצה אחראי לכל טעות שנפלה בו. סודר באמצעות L

Διαβάστε περισσότερα

צעד ראשון להצטיינות מבוא: קבוצות מיוחדות של מספרים ממשיים

צעד ראשון להצטיינות מבוא: קבוצות מיוחדות של מספרים ממשיים מבוא: קבוצות מיוחדות של מספרים ממשיים קבוצות של מספרים ממשיים צעד ראשון להצטיינות קבוצה היא אוסף של עצמים הנקראים האיברים של הקבוצה אנו נתמקד בקבוצות של מספרים ממשיים בדרך כלל מסמנים את הקבוצה באות גדולה

Διαβάστε περισσότερα

I. גבולות. x 0. מתקיים L < ε. lim אם ורק אם. ( x) = 1. lim = 1. lim. x x ( ) הפונקציה נגזרות Δ 0. x Δx

I. גבולות. x 0. מתקיים L < ε. lim אם ורק אם. ( x) = 1. lim = 1. lim. x x ( ) הפונקציה נגזרות Δ 0. x Δx דפי נוסחאות I גבולות נאמר כי כך שלכל δ קיים > ε לכל > lim ( ) L המקיים ( ) מתקיים L < ε הגדרת הגבול : < < δ lim ( ) lim ורק ( ) משפט הכריך (סנדוויץ') : תהיינה ( ( ( )g ( )h פונקציות המוגדרות בסביבה נקובה

Διαβάστε περισσότερα

שדות תזכורת: פולינום ממעלה 2 או 3 מעל שדה הוא פריק אם ורק אם יש לו שורש בשדה. שקיימים 5 מספרים שלמים שונים , ראשוני. שעבורם

שדות תזכורת: פולינום ממעלה 2 או 3 מעל שדה הוא פריק אם ורק אם יש לו שורש בשדה. שקיימים 5 מספרים שלמים שונים , ראשוני. שעבורם תזכורת: פולינום ממעלה או מעל שדה הוא פריק אם ורק אם יש לו שורש בשדה p f ( m i ) = p m1 m5 תרגיל: נתון עבור x] f ( x) Z[ ראשוני שקיימים 5 מספרים שלמים שונים שעבורם p x f ( x ) f ( ) = נניח בשלילה ש הוא

Διαβάστε περισσότερα

אי שלמות ואי כריעות בשפות פורמליות ד ר אסף חסון, אוניברסיטת בן גוריון בנגב

אי שלמות ואי כריעות בשפות פורמליות ד ר אסף חסון, אוניברסיטת בן גוריון בנגב אי שלמות ואי כריעות בשפות פורמליות ד ר אסף חסון, אוניברסיטת בן גוריון בנגב יובל אדם Young man, in mathematics you don t understand things. You just get used to them. - John von Neumann תוכן עניינים 2 פרולוג....................................

Διαβάστε περισσότερα

תורת המספרים 1 פירוק לגורמים ראשוניים סיכום הגדרות טענות ומשפטים אביב הגדרות 1.2 טענות

תורת המספרים 1 פירוק לגורמים ראשוניים סיכום הגדרות טענות ומשפטים אביב הגדרות 1.2 טענות תורת המספרים סיכום הגדרות טענות ומשפטים אביב 017 1 פירוק לגורמים ראשוניים 1.1 הגדרות חוג A C נקראת חוג אם: היא מכילה את 0 ואת 1 סגורה תחת חיבור, חיסור, וכפל הפיך A חוג. a A נקרא הפיך אם 0,a.a 1 A קבוצת

Διαβάστε περισσότερα

תורת הקבוצות תרגיל בית 2 פתרונות

תורת הקבוצות תרגיל בית 2 פתרונות תורת הקבוצות תרגיל בית 2 פתרונות חיים שרגא רוזנר כ"ה בניסן, תשע"ה תזכורות תקציר איזומורפיזם סדר, רישא, טרנזיטיביות, סודרים, השוואת סודרים, סודר עוקב, סודר גבולי. 1. טרנזיטיבות וסודרים קבוצה A היא טרנזיטיבית

Διαβάστε περισσότερα

תורת הקבוצות בפברואר 2012 תקציר סיכום הרצאות של פרופסור רון לבנה בשנת לימודים 2012

תורת הקבוצות בפברואר 2012 תקציר סיכום הרצאות של פרופסור רון לבנה בשנת לימודים 2012 תורת הקבוצות 80200 אור דגמי, ÓÖ Ñ ºÓÖ 11 בפברואר 2012 אתר אינטרנט: ØØÔ»» Ñ ºÓÖ תקציר סיכום הרצאות של פרופסור רון לבנה בשנת לימודים 2012 1 תוכן עניינים תוכן עניינים תוכן עניינים מבוא.............................................

Διαβάστε περισσότερα

קבוצה היא שם כללי לתיאור אוסף כלשהו של איברים.

קבוצה היא שם כללי לתיאור אוסף כלשהו של איברים. א{ www.sikumuna.co.il מהי קבוצה? קבוצה היא שם כללי לתיאור אוסף כלשהו של איברים. קבוצה היא מושג יסודי במתמטיקה.התיאור האינטואיטיבי של קבוצה הוא אוסף של עצמים כלשהם. העצמים הנמצאים בקבוצה הם איברי הקבוצה.

Διαβάστε περισσότερα

חשבון אינפיניטסימלי 1 סיכום הרצאות באוניברסיטה חיפה, חוג לסטטיסטיקה.

חשבון אינפיניטסימלי 1 סיכום הרצאות באוניברסיטה חיפה, חוג לסטטיסטיקה. חשבון אינפיניטסימלי 1 סיכום הרצאות באוניברסיטה חיפה, חוג לסטטיסטיקה. מרצה: למברג דן תוכן העניינים 3 מספרים ממשיים 1 3.................................. סימונים 1. 1 3..................................

Διαβάστε περισσότερα

לוגיקה מתמטית הוא התחום במתמטיקה שחוקר בצורה מדויקת מושגים כמו טענה ו- הוכחה. על מנת לספק מוטיבציה, נתבונן בשתי דוגמאות היסטוריות.

לוגיקה מתמטית הוא התחום במתמטיקה שחוקר בצורה מדויקת מושגים כמו טענה ו- הוכחה. על מנת לספק מוטיבציה, נתבונן בשתי דוגמאות היסטוריות. לוגיקה מתמטית משה קמנסקי 1. מבוא לוגיקה מתמטית הוא התחום במתמטיקה שחוקר בצורה מדויקת מושגים כמו טענה ו- הוכחה. על מנת לספק מוטיבציה, נתבונן בשתי דוגמאות היסטוריות. 1.1. גאומטריית המישור. אוקלידס רצה לדעת

Διαβάστε περισσότερα

הגדרה: מצבים k -בני-הפרדה

הגדרה: מצבים k -בני-הפרדה פרק 12: שקילות מצבים וצמצום מכונות לעי תים קרובות, תכנון המכונה מתוך סיפור המעשה מביא להגדרת מצבים יתי רים states) :(redundant הפונקציה שהם ממלאים ניתנת להשגה באמצעו ת מצבים א חרים. כיוון שמספר רכיבי הזיכרון

Διαβάστε περισσότερα

סיכום בנושא של דיפרנציאביליות ונגזרות כיווניות

סיכום בנושא של דיפרנציאביליות ונגזרות כיווניות סיכום בנושא של דיפרנציאביליות ונגזרות כיווניות 25 בדצמבר 2016 תזכורת: תהי ) n f ( 1, 2,..., פונקציה המוגדרת בסביבה של f. 0 גזירה חלקית לפי משתנה ) ( = 0, אם קיים הגבול : 1 0, 2 0,..., בנקודה n 0 i f(,..,n,).lim

Διαβάστε περισσότερα

{ : Halts on every input}

{ : Halts on every input} אוטומטים - תרגול 13: רדוקציות, משפט רייס וחזרה למבחן E תכונה תכונה הינה אוסף השפות מעל.(property המקיימות תנאים מסוימים (תכונה במובן של Σ תכונה לא טריביאלית: תכונה היא תכונה לא טריוויאלית אם היא מקיימת:.

Διαβάστε περισσότερα

gcd 24,15 = 3 3 =

gcd 24,15 = 3 3 = מחלק משותף מקסימאלי משפט אם gcd a, b = g Z אז קיימים x, y שלמים כך ש.g = xa + yb במלים אחרות, אם ה כך ש.gcd a, b = xa + yb gcd,a b של שני משתנים הוא מספר שלם, אז קיימים שני מקדמים שלמים כאלה gcd 4,15 =

Διαβάστε περισσότερα

תרגיל 13 משפטי רול ולגראנז הערות

תרגיל 13 משפטי רול ולגראנז הערות Mthemtics, Summer 20 / Exercise 3 Notes תרגיל 3 משפטי רול ולגראנז הערות. האם קיים פתרון למשוואה + x e x = בקרן )?(0, (רמז: ביחרו x,f (x) = e x הניחו שיש פתרון בקרן, השתמשו במשפט רול והגיעו לסתירה!) פתרון

Διαβάστε περισσότερα

חדוו"א 2 סיכום טענות ומשפטים

חדווא 2 סיכום טענות ומשפטים חדוו"א 2 סיכום טענות ומשפטים 3 ביוני 2 n S(f, T ) := (t k+ t k ) inf k= סכום דרבו תחתון מוגדר על ידי [t k,t k+ ] f אינטגרל רימן חלוקות של קטע חלוקה של קטע [,] הינה אוסף סדור סופי של נקודות מהצורה: טענה.2

Διαβάστε περισσότερα

חשבון אינפיניטסימלי 1

חשבון אינפיניטסימלי 1 חשבון אינפיניטסימלי 1 יובל קפלן סיכום הרצאות פרופ צליל סלע בקורס "חשבון אינפיניטסימלי 1" (80131) באוניברסיטה העברית, 7 2006. תוכן מחברת זו הוקלד ונערך על-ידי יובל קפלן. אין המרצה אחראי לכל טעות שנפלה בו.

Διαβάστε περισσότερα

לוגיקה ותורת הקבוצות למדעי המחשב הרצאות

לוגיקה ותורת הקבוצות למדעי המחשב הרצאות לוגיקה ותורת הקבוצות למדעי המחשב הרצאות גדי אלכסנדרוביץ' תוכן עניינים 2..................................................... מבוא 1 3.................................... תורת הקבוצות הנאיבית מושגי יסוד

Διαβάστε περισσότερα

לוגיקה מתמטית משה קמנסקי 23 בינואר 2018

לוגיקה מתמטית משה קמנסקי 23 בינואר 2018 לוגיקה מתמטית משה קמנסקי 23 בינואר 2018 1 מבוא לוגיקה מתמטית הוא התחום במתמטיקה שחוקר בצורה מדויקת מושגים כמו טענה ו- הוכחה. על מנת לספק מוטיבציה, נתבונן בשתי דוגמאות היסטוריות. 1.1 גאומטריית המישור אוקלידס

Διαβάστε περισσότερα

מתמטיקה בדידה תרגול מס' 13

מתמטיקה בדידה תרגול מס' 13 מתמטיקה בדידה תרגול מס' 13 נושאי התרגול: תורת הגרפים. 1 מושגים בסיסיים נדון בגרפים מכוונים. הגדרה 1.1 גרף מכוון הוא זוג סדור E G =,V כך ש V ו E. V הגרף נקרא פשוט אם E יחס אי רפלקסיבי. כלומר, גם ללא לולאות.

Διαβάστε περισσότερα

טענה חשובה : העתקה לינארית הינה חד חד ערכית האפס ב- הוא הוקטור היחיד שמועתק לוקטור אפס של. נקבל מחד חד הערכיות כי בהכרח.

טענה חשובה : העתקה לינארית הינה חד חד ערכית האפס ב- הוא הוקטור היחיד שמועתק לוקטור אפס של. נקבל מחד חד הערכיות כי בהכרח. 1 תשע'א תירגול 8 אלגברה לינארית 1 טענה חשובה : העתקה לינארית הינה חד חד ערכית האפס ב- הוא הוקטור היחיד שמועתק לוקטור אפס של וקטור אם הוכחה: חד חד ערכית ויהי כך ש מכיוון שגם נקבל מחד חד הערכיות כי בהכרח

Διαβάστε περισσότερα

משוואות רקורסיביות רקורסיה זו משוואה או אי שוויון אשר מתארת פונקציה בעזרת ערכי הפונקציה על ארגומנטים קטנים. למשל: יונתן יניב, דוד וייץ

משוואות רקורסיביות רקורסיה זו משוואה או אי שוויון אשר מתארת פונקציה בעזרת ערכי הפונקציה על ארגומנטים קטנים. למשל: יונתן יניב, דוד וייץ משוואות רקורסיביות הגדרה: רקורסיה זו משוואה או אי שוויון אשר מתארת פונקציה בעזרת ערכי הפונקציה על ארגומנטים קטנים למשל: T = Θ 1 if = 1 T + Θ if > 1 יונתן יניב, דוד וייץ 1 דוגמא נסתכל על האלגוריתם הבא למציאת

Διαβάστε περισσότερα

אלגברה ליניארית (1) - תרגיל 6

אלגברה ליניארית (1) - תרגיל 6 אלגברה ליניארית (1) - תרגיל 6 התרגיל להגשה עד יום חמישי (12.12.14) בשעה 16:00 בתא המתאים בבניין מתמטיקה. נא לא לשכוח פתקית סימון. 1. עבור כל אחד מתת המרחבים הבאים, מצאו בסיס ואת המימד: (א) 3)} (0, 6, 3,,

Διαβάστε περισσότερα

תרגול מס' 1 3 בנובמבר 2012

תרגול מס' 1 3 בנובמבר 2012 תרגול מס' 1 3 בנובמבר 2012 1 מערכת המספרים השלמים בשיעור הקרוב אנו נעסוק בקבוצת המספרים השלמים Z עם הפעולות (+) ו ( ), ויחס סדר (>) או ( ). כל התכונות הרגילות והידועות של השלמים מתקיימות: חוק הקיבוץ (אסוציאטיביות),

Διαβάστε περισσότερα

1 תוחלת מותנה. c ארזים 3 במאי G מדיד לפי Y.1 E (X1 A ) = E (Y 1 A )

1 תוחלת מותנה. c ארזים 3 במאי G מדיד לפי Y.1 E (X1 A ) = E (Y 1 A ) הסתברות למתמטיקאים c ארזים 3 במאי 2017 1 תוחלת מותנה הגדרה 1.1 לכל משתנה מקרי X אינטגרבילית ותת סיגמא אלגברה G F קיים משתנה מקרי G) Y := E (X המקיים: E (X1 A ) = E (Y 1 A ).G מדיד לפי Y.1.E Y

Διαβάστε περισσότερα

גירסה liran Home Page:

גירסה liran   Home Page: גירסה 1.00 26.10.03 סיכום באלגברה א מסמך זה הורד מהאתר.hp://uderwar.liveds.co.il אין להפיץ מסמך זה במדיה כלשהי, ללא אישור מפורש מאת המחבר. מחבר המסמך איננו אחראי לכל נזק, ישיר או עקיף, שיגרם עקב השימוש

Διαβάστε περισσότερα

אימות חומרה תוכנה אלי דיין 1 6 בדצמבר

אימות חומרה תוכנה אלי דיין 1 6 בדצמבר אימות חומרה תוכנה אלי דיין 1 6 בדצמבר 2013 1 תקציר מסמך זה יביא את סיכומי השיעורים מהקורס אימות חומרה תוכנה, שהועבר על ידי פרופ אלכסנדר רבינוביץ בסמסטר א בשנה ל תשע ד. תוכן עניינים

Διαβάστε περισσότερα

אינפי - 1 תרגול בינואר 2012

אינפי - 1 תרגול בינואר 2012 אינפי - תרגול 4 3 בינואר 0 רציפות במידה שווה הגדרה. נאמר שפונקציה f : D R היא רציפה במידה שווה אם לכל > 0 ε קיים. f(x) f(y) < ε אז x y < δ אם,x, y D כך שלכל δ > 0 נביט במקרה בו D הוא קטע (חסום או לא חסום,

Διαβάστε περισσότερα

אלגברה לינארית 1 יובל קפלן

אלגברה לינארית 1 יובל קפלן אלגברה לינארית 1 יובל קפלן מחברת סיכום הרצאות ד"ר אלי בגנו בקורס "אלגברה לינארית 1" (80134) באוניברסיטה העברית, 7 2006 תוכן מחברת זו הוקלד ונערך על-ידי יובל קפלן אין המרצה אחראי לכל טעות שנפלה בו סודר

Διαβάστε περισσότερα

פרק 5 טורי חזקות 5.5 טור לורן. (z z 0 ) m. c n = 1. 2πi γ (ξ z 0 ) n+1dξ, .a 1 = 1 f(z)dz בפרט,.a 2πi γ m וגם 0 0 < z z 0 < r בעיגול הנקוב z.

פרק 5 טורי חזקות 5.5 טור לורן. (z z 0 ) m. c n = 1. 2πi γ (ξ z 0 ) n+1dξ, .a 1 = 1 f(z)dz בפרט,.a 2πi γ m וגם 0 0 < z z 0 < r בעיגול הנקוב z. פרק 5 טורי חזקות 5.5 טור לורן הגדרה 5. טורלורןסביבקוטב z מסדרm שלפונקציה( f(z הואמהצורה n m a n(z z m. למשל,טורלורן שלהפונקציה e z /z 2 סביב הוא + 2./z 2 +/z+/2+/3!z+/4!z משפט 5. תהי f פונקציה אנליטית

Διαβάστε περισσότερα

פתרון תרגיל 6 ממשוואות למבנים אלגברה למדעי ההוראה.

פתרון תרגיל 6 ממשוואות למבנים אלגברה למדעי ההוראה. פתרון תרגיל 6 ממשוואות למבנים אלגברה למדעי ההוראה. 16 במאי 2010 נסמן את מחלקת הצמידות של איבר בחבורה G על ידי } g.[] { y : g G, y g כעת נניח כי [y] [] עבור שני איברים, y G ונוכיח כי [y].[] מאחר והחיתוך

Διαβάστε περισσότερα

מודלים חישוביים תרגולמס 5

מודלים חישוביים תרגולמס 5 מודלים חישוביים תרגולמס 5 30 במרץ 2016 נושאי התרגול: דקדוקים חסרי הקשר. למת הניפוח לשפות חסרות הקשר. פעולות סגור לשפות חסרות הקשר. 1 דקדוקים חסרי הקשר נזכיר כי דקדוק חסר הקשר הוא רביעיה =(V,Σ,R,S) G, כך

Διαβάστε περισσότερα

חשבון אינפיניטסמלי מתקדם 1 סיכומי הרצאות

חשבון אינפיניטסמלי מתקדם 1 סיכומי הרצאות חשבון אינפיניטסמלי מתקדם 1 סיכומי הרצאות 13 בינואר 211 מרצה: אילון לינדנשטראוס מתרגל: רון רוזנטל סוכם ע י: אור שריר פניות לתיקונים והערות: tnidtnid@gmail.com אתר הסיכומים שלי: http://bit.ly/huji_notes

Διαβάστε περισσότερα

מינימיזציה של DFA מינימיזציה של הקנוני שאותה ראינו בסעיף הקודם. בנוסף, נוכיח את יחידות האוטומט המינימלי בכך שנראה שכל אוטומט על ידי שינוי שמות

מינימיזציה של DFA מינימיזציה של הקנוני שאותה ראינו בסעיף הקודם. בנוסף, נוכיח את יחידות האוטומט המינימלי בכך שנראה שכל אוטומט על ידי שינוי שמות מינימיזציה של DFA L. הוא אוטמומט מינימלי עבור L של שפה רגולרית A ראינו בסוף הסעיף הקודם שהאוטומט הקנוני קיים A DFA בכך הוכחנו שלכל שפה רגולרית קיים אוטומט מינמלי המזהה אותה. זה אומר שלכל נקרא A A לאוטומט

Διαβάστε περισσότερα

רשימת משפטים וטענות נכתב על ידי יהונתן רגב רשימת משפטים וטענות

רשימת משפטים וטענות נכתב על ידי יהונתן רגב רשימת משפטים וטענות λ = 0 A. F n n ערך עצמי של A אם ורק אם A לא הפיכה..det(λ I ערך עצמי של λ F.A F n n n A) = 0 אם ורק אם: A v וקטור עצמי של Tהמתאים יהי T: V V אופרטור לינארי. אם λ F ערך עצמי של,T לערך העצמי λ, אזי λ הוא

Διαβάστε περισσότερα

מבחן במודלים חישוביים + פתרון מוצע

מבחן במודלים חישוביים + פתרון מוצע מבחן במודלים חישוביים + פתרון מוצע סמסטר ב' התשס"ט, מועד ב' תאריך: 1.9.2009 מרצים: ד"ר מירי פרייזלר, פרופ' בני שור מתרגלים: יהונתן ברנט, רני הוד מומלץ לקרוא את כל ההנחיות והשאלות בתחילת המבחן, לפני תחילת

Διαβάστε περισσότερα

logn) = nlog. log(2n

logn) = nlog. log(2n תכנוןוניתוחאלגוריתמים סיכוםהתרגולים n log O( g( n)) = Ω( g( n)) = θ ( g( n)) = תרגול.3.04 סיבוכיות { f ( n) c> 0, n0 > 0 n> n0 0 f ( n) c g( n) } { f ( n) c> 0, n0 > 0 n> n0 0 c g( n) f ( n) } { f ( n)

Διαβάστε περισσότερα

חישוביות הרצאה 4 לא! זיהוי שפות ע''י מכונות טיורינג הוכחה: הגדרת! : f r

חישוביות הרצאה 4 לא! זיהוי שפות ע''י מכונות טיורינג הוכחה: הגדרת! : f r ל' ' פונקציות פרימיטיביות רקורסיביות חישוביות הרצאה 4 האם כל פונקציה מלאה היא פרימיטיבית רקורסיבית? לא נראה שתי הוכחות: פונקציות רקורסיביות (המשך) זיהוי שפות ע''י מכונות טיורינג הוכחה קיומית: קיימות פונקציות

Διαβάστε περισσότερα

הרצאה תרגילים סמינר תורת המספרים, סמסטר אביב פרופ' יעקב ורשבסקי

הרצאה תרגילים סמינר תורת המספרים, סמסטר אביב פרופ' יעקב ורשבסקי הרצאה תרגילים סמינר תורת המספרים, סמסטר אביב 2011 2010 פרופ' יעקב ורשבסקי אסף כץ 15//11 1 סמל לזנדר יהי מספר שלם קבוע, ו K שדה גלובלי המכיל את חבורת שורשי היחידה מסדר µ. תהי S קבוצת הראשוניים הארכימדיים

Διαβάστε περισσότερα

חישוביות הרצאה 6 אותה מ M תקודד ע''י מחרוזת רווח ! מכונת טיורינג אוניברסלית

חישוביות הרצאה 6 אותה מ M תקודד ע''י מחרוזת רווח ! מכונת טיורינג אוניברסלית לשיה ספציפית ול ל שיה כללית חישוביות הרצאה 6 כונת טיורינג כונת טיורינג אוניברסלית פונקציות שאינן ניתנות לחישוב עד כה נקטנו בגישה שלכל שיה יש לבנות שלה שבצעת את השיה הספציפית הזו אך בציאות לא בונים חשב

Διαβάστε περισσότερα

מערך תרגיל קורס סמסטר ב תשע ה בחשבון אינפיניטסימלי 2 למדעי המחשב

מערך תרגיל קורס סמסטר ב תשע ה בחשבון אינפיניטסימלי 2 למדעי המחשב מערך תרגיל קורס 89-33 סמסטר ב תשע ה בחשבון אינפיניטסימלי למדעי המחשב יוני 05, גרסה 0.9 מבוא נתחיל עם כמה דגשים: דף הקורס נמצא באתר.www.math-wiki.com שאלות בנוגע לחומר הלימודי מומלץ לשאול בדף השיחה באתר

Διαβάστε περισσότερα

אלגברה ליניארית 1 א' פתרון 11

אלגברה ליניארית 1 א' פתרון 11 אלגברה ליניארית 1 א' פתרון 11.1 K α : F איזומורפיזם של שדות. א. טענה 1 :.α(0 F ) = 0 K עלינו להוכיח כי לכל,b K מתקיים.b + α(0 F ) = α(0 F ) + b = b עבור b K (כיוון ש α חח"ע ועל), קיים ויחיד x F כך ש.α(x)

Διαβάστε περισσότερα

אלגברה ליניארית 1 א' פתרון 2

אלגברה ליניארית 1 א' פתרון 2 אלגברה ליניארית א' פתרון 3 4 3 3 7 9 3. נשתמש בכתיבה בעזרת מטריצה בכל הסעיפים. א. פתרון: 3 3 3 3 3 3 9 אז ישנו פתרון יחיד והוא = 3.x =, x =, x 3 3 הערה: אפשר גם לפתור בדרך קצת יותר ארוכה, אבל מבלי להתעסק

Διαβάστε περισσότερα

C.C Ωשרשרת. Eחסומה. E אם לכל x Rb x E

C.C Ωשרשרת. Eחסומה. E אם לכל x Rb x E של הלמה של צורן י י י י שומים של צורן הל מה תזכרת יהי R יחס טרנזיטיבי מעל קבוצה Ω 1 הג הג a< Rb ( arb bra), a Rb ( arb a= א לכל, ab Ωנגדיר (b R >סדר R קדם-סדר קהה מעל Ω (=טרנזיטיבי ורפלקסיבי מעל Ω) ו לא

Διαβάστε περισσότερα

xpy xry & ~yrx xiy xry & yrx

xpy xry & ~yrx xiy xry & yrx האם קיים קשר בין העדפה ובחירה? ההנחה שקיים קשר הדוק בין מערכת ההעדפות של היחידה הכלכלית ובין התנהגותה המתבטאת בבחירה בין האפשרויות העומדות בפניה מקובלת מאד בתיאוריה הכלכלית. למעשה הנחת העבודה הבלעדית בניתוח

Διαβάστε περισσότερα

אוטומטים ושפות פורמליות תרגולים

אוטומטים ושפות פורמליות תרגולים אוטומטים ושפות פורמליות תרגולים מבוסס על תרגולים של מר גולדגביכט עומר, אוניברסיטת בר אילן 2012. שיעור 1 הגדרות: א"ב: אוסף סופי ולא ריק של סימנים/אותיות/תווים. נסמן אותו באות. דוגמאות: 9},... 1,,{0, {א,..,.

Διαβάστε περισσότερα

פונקציות מרוכבות בדצמבר 2012

פונקציות מרוכבות בדצמבר 2012 פונקציות מרוכבות 80519 אור דגמי, or@digmi.org 30 בדצמבר 2012 אתר אינטרנט: http://digmi.org סיכום הרצאות של פרופ גנאדי לוין בשנת לימודים 2013 מייל של המרצב: levin@math.huji.ac.il אפשר לקבוע פגישה. הקורסלאמבוססעלאףספרספציפי,

Διαβάστε περισσότερα

חשבון אינפיניטסימלי מתקדם II 21 ביוני 2012

חשבון אינפיניטסימלי מתקדם II 21 ביוני 2012 חשבון אינפיניטסימלי מתקדם 836 II אור דגמי, or@digmi.org ביוני אתר אינטרנט: http://digmi.org סיכום הרצאות של פרופ ארז לפיד בשנת לימודים נושאים לקורס. המרחב.C(K). קירוב ע י פולינומים, משפט Stone-Weirstrss

Διαβάστε περισσότερα

שפות פורמאליות אוטומטים

שפות פורמאליות אוטומטים שפות פורמאליות אוטומטים תורת הקומפילציה אהרון נץ מבוסס על השקפים של עומר ביהם שמבוססים על שקפי הרצאה מהקורס אוטומטים ושפות פורמאליות בטכניון, פרופ' שמואל זקס 1 הנושאים שנעבור שפות פורמאליות מכונות/אוטומטים

Διαβάστε περισσότερα

הגדרה: קבוצת פעילויות חוקית היא קבוצה בה כל שתי פעילויות

הגדרה: קבוצת פעילויות חוקית היא קבוצה בה כל שתי פעילויות אלגוריתמים חמדניים אלגוריתם חמדן, הוא כזה שבכל צעד עושה את הבחירה הטובה ביותר האפשרית, ולא מתחרט בהמשך גישה זו נראית פשטנית מדי, וכמובן שלא תמיד היא נכונה, אך במקרים רבים היא מוצאת פתרון אופטימאלי בתרגול

Διαβάστε περισσότερα

מבנים אלגבריים למדעי המחשב מערכי תרגול קורס אבי אלון, תומר באואר וגיא בלשר ינואר 2016, גרסה 0.22

מבנים אלגבריים למדעי המחשב מערכי תרגול קורס אבי אלון, תומר באואר וגיא בלשר ינואר 2016, גרסה 0.22 מבנים אלגבריים למדעי המחשב מערכי תרגול קורס 89-214 אבי אלון, תומר באואר וגיא בלשר ינואר 2016, גרסה 0.22 אוניברסיטת בר אילן סמסטר א תשע ו תוכן העניינים 3 מבוא.............................. 3 מבוא לתורת

Διαβάστε περισσότερα

חשבון אינפיניטסימלי (2)

חשבון אינפיניטסימלי (2) חשבון אינפיניטסימלי (2) איתי שפירא 30 ביוני 2017 מתוך הרצאות מהאונברסיטה העברית 2017. i.j.shpir@gmil.com תוכן עניינים 1 מבוא והשלמות 5 1.1 כלל לופיטל................................. 5 1.2 חקירת פונקציות..............................

Διαβάστε περισσότερα

שדות הגדרת השדה: חשבון מודולו n: הגדרה: שדה F הוא קבוצה שיש בין אבריה שתי פעולות משפט: יהא F שדה. משפט: יהא F שדה ו- (mod )

שדות הגדרת השדה: חשבון מודולו n: הגדרה: שדה F הוא קבוצה שיש בין אבריה שתי פעולות משפט: יהא F שדה. משפט: יהא F שדה ו- (mod ) שדות הגדרת השדה: הגדרה: שדה F הוא קבוצה שיש בין אבריה שתי פעולות אחת נקראת חיבור ותסומן ב + האחרת נקראת כפל ותסומן ב * כך שתתקיימנה הדרישות הבאות: a, b F a b. סגירות לחיבור: F a F a 0 0 a a a, b, c F a

Διαβάστε περισσότερα

סיכום אינפי 2 19 ביוני 2010 מרצה: צביק איתמר, בעזרת סיכומים משיעוריו של נועם ברגר מתרגלים: ינאי ג', איב גודין

סיכום אינפי 2 19 ביוני 2010 מרצה: צביק איתמר, בעזרת סיכומים משיעוריו של נועם ברגר מתרגלים: ינאי ג', איב גודין סיכום אינפי 2 9 ביוני 200 מרצה: צביק איתמר, בעזרת סיכומים משיעוריו של נועם ברגר מתרגלים: ינאי ג', איב גודין אין המרצה או המתרגלים קשורים לסיכום זה בשום דרך. סוכם ע"י נגה רוטמן בשעות לא הגיוניות בעליל,

Διαβάστε περισσότερα

מבוא לתורת החבורות עוזי וישנה

מבוא לתורת החבורות עוזי וישנה מבוא לתורת החבורות עוזי וישנה 12 בפברואר 2017 מבוא לתורת החבורות מהדורה 3.931 הקדמה. חוברת זו ערוכה ומסודרת לפי תוכנית הלימודים בקורס "אלגברה מופשטת 1" לתלמידי מתמטיקה, 88-211, באוניברסיטת בר אילן. הקורס

Διαβάστε περισσότερα

סדרות - תרגילים הכנה לבגרות 5 יח"ל

סדרות - תרגילים הכנה לבגרות 5 יחל סדרות - הכנה לבגרות 5 יח"ל 5 יח"ל סדרות - הכנה לבגרות איברים ראשונים בסדרה) ) S מסמן סכום תרגיל S0 S 5, S6 בסדרה הנדסית נתון: 89 מצא את האיבר הראשון של הסדרה תרגיל גוף ראשון, בשנייה הראשונה לתנועתו עבר

Διαβάστε περισσότερα

תורת ההסתברות 2: (או הסתברות ותהליכים סטוכסטים)

תורת ההסתברות 2: (או הסתברות ותהליכים סטוכסטים) תורת ההסתברות : או הסתברות ותהליכים סטוכסטים סוכם על ידי תום חן tomhen@gmail.com בדצמבר 04 שימו לב יתכנו שגיאות בטקסט עידכונים יתבצעו במהלך הסמסטר נא לדווח שגיאות ל gidi.amir@gmail.com או לחלופין שלשמור

Διαβάστε περισσότερα

1 סכום ישר של תת מרחבים

1 סכום ישר של תת מרחבים אלמה רופיסה :הצירטמ לש ןדרו'ג תרוצ O O O O O O ןאבצ זעוב סכום ישר של תת מרחבים פרק זה כולל טענות אלמנטריות, שהוכחתן מושארת לקורא כתרגיל הגדרה: יהיו V מרחב וקטורי, U,, U k V תת מרחבים הסכום W U + U 2 +

Διαβάστε περισσότερα

תורת ההסתברות 1 יובל קפלן סיכום הרצאות פרופ יורי קיפר בקורס "תורת ההסתברות 1" (80420) באוניברסיטה העברית,

תורת ההסתברות 1 יובל קפלן סיכום הרצאות פרופ יורי קיפר בקורס תורת ההסתברות 1 (80420) באוניברסיטה העברית, תורת ההסתברות יובל קפלן סיכום הרצאות פרופ יורי קיפר בקורס "תורת ההסתברות " (80420) באוניברסיטה העברית, 8 2007. תוכן מחברת זו הוקלד ונערך על-ידי יובל קפלן. אין המרצה אחראי לכל טעות שנפלה בו. סודר באמצעות

Διαβάστε περισσότερα

אוטומט סופי דטרמיניסטי מוגדר ע"י החמישייה:

אוטומט סופי דטרמיניסטי מוגדר עי החמישייה: 2 תרגול אוטומט סופי דטרמיניסטי אוטומטים ושפות פורמליות בר אילן תשעז 2017 עקיבא קליינרמן הגדרה אוטומט סופי דטרמיניסטי מוגדר ע"י החמישייה: (,, 0,, ) כאשר: א= "ב שפת הקלט = קבוצה סופית לא ריקה של מצבים מצב

Διαβάστε περισσότερα

מושגי יסוד בטופולוגיה אלגברית

מושגי יסוד בטופולוגיה אלגברית מושגי יסוד בטופולוגיה אלגברית 1 תוכן עניינים תוכן עניינים תוכן עניינים I הרצאות 5 1 מנהלות......................................... 5 2 חבורה יסודית...................................... 5 2.1 הגדרות ועובדות

Διαβάστε περισσότερα

מבנים אלגבריים II 27 במרץ 2012

מבנים אלגבריים II 27 במרץ 2012 מבנים אלגבריים 80446 II אור דגמי, or@digmi.org 27 במרץ 2012 אתר אינטרנט: http://digmi.org סיכום הרצאות של פרופ אלכס לובוצקי בשנת לימודים 2012 1 תוכן עניינים 1 שדות 3 1.1 תזכורת מהעבר....................................................

Διαβάστε περισσότερα

מתכנס בהחלט אם n n=1 a. k=m. k=m a k n n שקטן מאפסילון. אם קח, ניקח את ה- N שאנחנו. sin 2n מתכנס משום ש- n=1 n. ( 1) n 1

מתכנס בהחלט אם n n=1 a. k=m. k=m a k n n שקטן מאפסילון. אם קח, ניקח את ה- N שאנחנו. sin 2n מתכנס משום ש- n=1 n. ( 1) n 1 1 טורים כלליים 1. 1 התכנסות בהחלט מתכנס. מתכנס בהחלט אם n a הגדרה.1 אומרים שהטור a n משפט 1. טור מתכנס בהחלט הוא מתכנס. הוכחה. נוכיח עם קריטריון קושי. יהי אפסילון גדול מ- 0, אז אנחנו יודעים ש- n N n>m>n

Διαβάστε περισσότερα

ביטויים רגולריים הפקולטה למדעי המחשב אוטומטים ושפות פורמליות (236353) הרצאה 5

ביטויים רגולריים הפקולטה למדעי המחשב אוטומטים ושפות פורמליות (236353) הרצאה 5 הפקולטה למדעי המחשב אוטומטים ושפות פורמליות (236353) ביטויים רגולריים הרצאה 5 המצגת מבוססת על ספרם של פרופ' נסים פרנסיז ופרופ' שמואל זקס, "אוטומטים ושפות פורמליות", האוניברסיטה הפתוחה, 1987. גרסה ראשונה

Διαβάστε περισσότερα

מודלים חישוביים מבחן מועד א', סמסטר א' תשע''ה (2015)

מודלים חישוביים מבחן מועד א', סמסטר א' תשע''ה (2015) מודלים חישוביים מבחן מועד א', סמסטר א' תשע''ה (2015) מרצה: פרופ' בני שור מתרגלים: אורית מוסקוביץ' וגל רותם 28.1.2015 הנחיות: 1. מומלץ לקרוא את כל ההנחיות והשאלות בתחילת המבחן, לפני כתיבת התשובות. 2. משך

Διαβάστε περισσότερα

תורת ההסתברות (1) 80420

תורת ההסתברות (1) 80420 תורת ההסתברות (1) 80420 איתי שפירא 4 באוקטובר 2017 מתוך הרצאות מהאונברסיטה העברית 2017. i.j.shapira@gmail.com תוכן עניינים 0 מבוא והשלמות 6 0.1 נושאים מתורת הקבוצות.......................... 6 0.2 נושאים

Διαβάστε περισσότερα

מבוא לאלגברה ליניארית

מבוא לאלגברה ליניארית BEN GURION UNIVERSITY BE ER SHEVA, ISRAEL אוניברסיטת בן גוריון בנגב באר שבע מבוא לאלגברה ליניארית אמנון יקותיאלי המחלקה למתמטיקה אוניברסיטת בן גוריון amyekut@mathbguacil חוברת זו מיועדת לקורסים באלגברה

Διαβάστε περισσότερα

פתרונות , כך שאי השוויון המבוקש הוא ברור מאליו ולכן גם קודמו תקף ובכך מוכחת המונוטוניות העולה של הסדרה הנתונה.

פתרונות , כך שאי השוויון המבוקש הוא ברור מאליו ולכן גם קודמו תקף ובכך מוכחת המונוטוניות העולה של הסדרה הנתונה. בחינת סיווג במתמטיקה.9.017 פתרונות.1 סדרת מספרים ממשיים } n {a נקראת מונוטונית עולה אם לכל n 1 מתקיים n+1.a n a האם הסדרה {n a} n = n היא מונוטונית עולה? הוכיחו תשובתכם. הסדרה } n a} היא אכן מונוטונית

Διαβάστε περισσότερα

3-9 - a < x < a, a < x < a

3-9 - a < x < a, a < x < a 1 עמוד 59, שאלהמס', 4 סעיףג' תיקוני הקלדה שאלון 806 צריך להיות : ג. מצאאתמקומושלאיברבסדרהזו, שקטןב- 5 מסכוםכלהאיבריםשלפניו. עמוד 147, שאלהמס' 45 ישלמחוקאתהשאלה (מופיעהפעמיים) עמוד 184, שאלהמס', 9 סעיףב',תשובה.

Διαβάστε περισσότερα

חשבון אינפיניטסמלי 2 סיכומי הרצאות

חשבון אינפיניטסמלי 2 סיכומי הרצאות חשבון אינפיניטסמלי סיכומי הרצאות 9 ביולי מרצה: פרופ מתניה בן ארצי מתרגל: מני אקא mennyk@mth.huji.c.il סוכם ע י: אור שריר פניות לתיקונים והערות: tnidtnid@gmil.com הערה לקראת המבחנים כרגע חסרים מספר דברים

Διαβάστε περισσότερα

Regular Expressions (RE)

Regular Expressions (RE) Regular Expressions (RE) ביטויים רגולריים עד כה דנו במספר מודלים חישוביים להצגת (או ליצור) שפות רגולריות וראינו שכל המודלים האלה הם שקולים מבחינת כוח החישובי שלהם. בסעיף זה נראה עוד דרך להצגת (או ליצור)

Διαβάστε περισσότερα

אוסף שאלות מס. 3 פתרונות

אוסף שאלות מס. 3 פתרונות אוסף שאלות מס. 3 פתרונות שאלה מצאו את תחום ההגדרה D R של כל אחת מהפונקציות הבאות, ושרטטו אותו במישור. f (x, y) = x + y x y, f 3 (x, y) = f (x, y) = xy x x + y, f 4(x, y) = xy x y f 5 (x, y) = 4x + 9y 36,

Διαβάστε περισσότερα

אלגברה לינארית 2 יובל קפלן סיכום הרצאות מר שמואל ברגר בקורס "אלגברה לינארית 2" (80135) באוניברסיטה העברית,

אלגברה לינארית 2 יובל קפלן סיכום הרצאות מר שמואל ברגר בקורס אלגברה לינארית 2 (80135) באוניברסיטה העברית, אלגברה לינארית 2 יובל קפלן סיכום הרצאות מר שמואל ברגר בקורס "אלגברה לינארית 2" (80135 באוניברסיטה העברית, 7 2006 תוכן מחברת זו הוקלד ונערך על-ידי יובל קפלן אין המרצה אחראי לכל טעות שנפלה בו סודר באמצעות

Διαβάστε περισσότερα

מכניקה אנליטית תרגול 6

מכניקה אנליטית תרגול 6 מכניקה אנליטית תרגול 6 1 אלימינציה של קואורדינטות ציקליות כאשר יש בבעיה קואורדינטה ציקלית אחת או יותר, לעתים נרצה לכתוב פעולה חדשה (או, באופן שקול, לגראנז'יאן חדש) אשר לא כולל את הקואורדינטות הללו, וממנו

Διαβάστε περισσότερα

אלגוריתמים בתורת הגרפים חלק שני

אלגוריתמים בתורת הגרפים חלק שני גירסה 1.00 5.12.2002 אלגוריתמים בתורת הגרפים חלק שני מסמך זה הינו השני בסדרת מסמכים אודות תורת הגרפים, והוא חופף בחלקו לקורס "אלגוריתמים בתורת הגרפים" בטכניון (שאינו מועבר יותר). ברצוני להודות תודה מיוחדת

Διαβάστε περισσότερα

התחפושות הרבות של אינדוקציה

התחפושות הרבות של אינדוקציה התחפושות הרבות של אינדוקציה מוטי בן ארי המחלקה להוראת המדעים מכון ויצמן למדע http://www.weizmann.ac.il/sci tea/benari/ גרסה 1.4.1 c 016 17 by Moti Ben-Ari. This work is licensed under the Creative Commons

Διαβάστε περισσότερα

A-PDF Merger DEMO : Purchase from to remove the watermark

A-PDF Merger DEMO : Purchase from  to remove the watermark A-PDF Merger DEMO : Purchase from wwwa-pdfcom to remove the watermark סוכם על ידי אבי שוע shuaav@gmalcom http://wwwcshujacl/~shuaav אני מקווה שהסיכומים יעזרו לכם ולעוד רבים טעויות אני (ואף אחד אחר) לא

Διαβάστε περισσότερα

,24 אוקטובר 2007 הזמן: 3 שעות סה"כ הנחיות: 7. בהצלחה עמוד 1 מתוך 17

,24 אוקטובר 2007 הזמן: 3 שעות סהכ הנחיות: 7. בהצלחה עמוד 1 מתוך 17 הטכניון - מכון טכנולוגי לישראל הפקולטה למדעי המחשב דר' אמיר שפילקה סעאב מנסור ארינה לווה אביב תשס"ז,24 אוקטובר 2007 מערכות מסדי נתונים 236363 מועד ב' הזמן: 3 שעות במבחן זה 17 עמודים שאלה 1 שאלה 2 שאלה

Διαβάστε περισσότερα

"קשר-חם" : לקידום שיפור וריענון החינוך המתמטי

קשר-חם : לקידום שיפור וריענון החינוך המתמטי הטכניון - מכון טכנולוגי לישראל המחלקה להוראת הטכנולוגיה והמדעים "קשר-חם" : לקידום שיפור וריענון החינוך המתמטי נושא: חקירת משוואות פרמטריות בעזרת גרפים הוכן ע"י: אביבה ברש. תקציר: בחומר מוצגת דרך לחקירת

Διαβάστε περισσότερα

מבוא לחוגים ומודולים עוזי וישנה

מבוא לחוגים ומודולים עוזי וישנה מבוא לחוגים ומודולים עוזי וישנה 25 באוקטובר 2015 מבוא לחוגים ומודולים מהדורה 1.311 הקדמה. תורת החוגים עשירה בשיטות ורעיונות, וחובקת דוגמאות מכל תחומי המתמטיקה. קורס ראשון בתחום מוגבל, מטבע הדברים, למושגים

Διαβάστε περισσότερα

(2) מיונים השאלות. .0 left right n 1. void Sort(int A[], int left, int right) { int p;

(2) מיונים השאלות. .0 left right n 1. void Sort(int A[], int left, int right) { int p; מבני נתונים פתרונות לסט שאלות דומה לשאלות בנושאים () זמני ריצה של פונקציות רקורסיביות () מיונים השאלות פתרו את נוסחאות הנסיגה בסעיפים א-ג על ידי הצבה חוזרת T() כאשר = T() = T( ) + log T() = T() כאשר =

Διαβάστε περισσότερα

סיכום- בעיות מינימוםמקסימום - שאלון 806

סיכום- בעיות מינימוםמקסימום - שאלון 806 סיכום- בעיות מינימוםמקסימום - שאלון 806 בבעיותמינימום מקסימוםישלחפשאתנקודותהמינימוםהמוחלטוהמקסימוםהמוחלט. בשאלות מינימוםמקסימוםחובהלהראותבעזרתטבלה אובעזרתנגזרתשנייהשאכן מדובר עלמינימוםאומקסימום. לצורךקיצורהתהליך,

Διαβάστε περισσότερα

הרצאה נושאי הקורס 0.2 א"ב ומילים 0.3 שפות 1. מהו חישוב? 2. מהו מחשב? 3. מהו אלגוריתם? 4. מה ניתן לחשב? מה לא ניתן?

הרצאה נושאי הקורס 0.2 אב ומילים 0.3 שפות 1. מהו חישוב? 2. מהו מחשב? 3. מהו אלגוריתם? 4. מה ניתן לחשב? מה לא ניתן? הרצאה 1 0.1 נושאי הקורס 1. מהו חישוב? 2. מהו מחשב? 3. מהו אלגוריתם? 4. מה ניתן לחשב? מה לא ניתן? בקורס זה נעסוק בבעיות חישוב הנקראות בעיות הכרעה. בהינתן קלט, אנו נבצע "חישוב" ובסופו נחזיר תשובה האם הקלט

Διαβάστε περισσότερα

מבני נתונים מבחן מועד ב' סמסטר חורף תשס"ו

מבני נתונים מבחן מועד ב' סמסטר חורף תשסו TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY DEPARTMENT OF COMPUTER SCIENCE הטכניון - מכון טכנולוגי לישראל הפקולטה למדעי המחשב מרצים: רן אל-יניב, נאדר בשותי מבני נתונים 234218-1 מבחן מועד ב' סמסטר חורף תשס"ו

Διαβάστε περισσότερα

קיום ויחידות פתרונות למשוואות דיפרנציאליות

קיום ויחידות פתרונות למשוואות דיפרנציאליות קיום ויחידות פתרונות למשוואות דיפרנציאליות 1 מוטיבציה למשפט הקיום והיחידות אנו יודעים לפתור משוואות דיפרנציאליות ממחלקות מסוימות, כמו משוואות פרידות או משוואות לינאריות. עם זאת, קל לכתוב משוואה דיפרנציאלית

Διαβάστε περισσότερα