1 שאלו : Together double x 5.0 int from 2 int to 6 One first Two second One n 5.0 Queue<One>q One n 4.0 One n 8.0 One n 16.

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

Download "1 שאלו : Together double x 5.0 int from 2 int to 6 One first Two second One n 5.0 Queue<One>q One n 4.0 One n 8.0 One n 16."

Transcript

1 tg Together double x 5.0 int from 2 int to 6 One first Two second ב' פתרון בחינת הבגרות פרק א - One n 5.0 Queue<One>q : Ï א. One n 4.0 One n 8.0 One n 6.0 One n 32.0 new Two ((from,to) n m i i<m 2 i T 4 3 T 8 4 T 6 5 T 32 6 F פלט הפעולה main() methoda() methodb() println first.f() println first,g() second.f() -- MethodA() -- f of One -- MethodB -- g of One 5.0 f of Two 4.0 ב. א התור לא ריק, הפעולה מוציאה את האיבר שבראש התור ומדפיסה את ערכו בצירו הודעה. וא התור ריק, מדפיסה רק את ההודעה. אי משמעות להנחה ששני המספרי גדולי מ 0. ההנחה צריכה להתייחס למספרי השני והשלישי המקיימי : השלישי גדול מהראשו.

2 a a.length = 5 :2 Ï א. (a,) sod ערך k i i<4 j j<5 a[i] a[j] a[i]+a[j] == k מוחזר 0 T T 2 4 F 2 T 7 F 3 T 2 F 4 T 8 F 5 F אמת T 2 T 4 7 T ב. (a,0) sod ערך k i i<4 j j<5 a[i] a[j] a[i]+a[j] == k מוחזר 0 0 T T 2 4 F 2 T 7 F 3 T 2 F 4 T 8 F 5 F T 2 T 4 7 F 3 T 2 F 4 T 8 F 5 F 2 T 3 T 7 2 F 4 T 8 F 5 F 3 T 4 T 2 8 F 5 F שקר 4 F

3 3 ג. ד. ה. הפעולה מחזירה "אמת" א קיימי שני איברי במער שסכומ k, ו "שקר" אחרת. סיבוכיות הפעולה sod היא ) 2.O(n בהנחה שיש במער n איברי : הלולאה החיצונית רצה על כל המער סה"כ n צעדי ובתוכה לולאה פנימית הרצה בכל פע על איבר אחד פחות: 2 ( + n )( n ) n n 2 ( n ) + ( n 2) + ( n 3) Sn = O( n ) 2 2 what (a, k) a.length = a k left right left<right I a[left] II a[right] I+II == k I+II < k 0 4 T 2 8 F F 3 T 2 F F 2 T 7 F T ערך מוחזר אמת T 4 T.O(n) what ו. סיבוכיות הפעולה היא הפעולה עוברת לכל היותר מעבר אחד על כל נתוני המער, עד שמוצאת או לא מוצאת שני איברי שסכומ k. O(n 2 ) O(n) ז. סיבוכיות הפעולה sod ריבועית סיבוכיות הפעולה what ליניארית ולכ what, יעילה יותר. () (2) ח. אחר מול כול. איבר תשיג את מטרתה, כי היא בודקת בכל פע sod what לא תשיג את המטרתה, כי היא אינה בודקת את כל האפשרויות. למשל: עבור המער הבא תחזיר sod "אמת", ואילו what תחזיר "שקר" a

4 4 :3 Ï א. ההוראה מצב התור לאחר האתחול [] q.insert () [] q.insert (2) [, 2] q.insert (3) [, 2, 3] q.remove() [2, 3] q.insert (4) [2, 3, 4] q.undo() [2, 3] q.undo() [, 2, 3] סעי א' לאחר הרצת התכנית: start : [] [] 0 for remove for insert 2 for undo - to end --> type a number --> op : [] [(,)] 0 for remove for insert 2 for undo - to end --> type a number --> 2 op : [, 2] [(2,), (,)] 0 for remove for insert 2 for undo - to end --> type a number --> 3 op : [, 2, 3] [(3,), (2,), (,)] 0 for remove for insert 2 for undo - to end --> 0 op 0: [2, 3] [(,0), (3,), (2,), (,)] 0 for remove for insert 2 for undo - to end --> type a number --> 4 op : [2, 3, 4] [(4,), (,0), (3,), (2,), (,)] 0 for remove for insert 2 for undo - to end --> 2 op 2: [2, 3] [(,0), (3,), (2,), (,)] 0 for remove for insert 2 for undo - to end --> 2 op 2: [, 2, 3] [(3,), (2,), (,)] 0 for remove for insert 2 for undo - to end --> -

5 5 /* מחלקה המגדירה פעולה עבור * Undo */ public class Item הערך // val; private int הפעולה :,insert private int op; // remove :0 java: /* * QueueUndo תור- ביטול */ public class UndoQueue private Queue <Integer> que; private Stack<Item> stk; תור הפעולות // מחסנית ה - undo // public UndoQueue() this.que = new Queue<Integer>(); this.stk = new Stack<Item>(); --- הכנסה לתור ביטול ---// public void insert(int x) this.que.insert(x); this.stk.push(new Item(x,)); --- הוצאה מתור ביטול ---// public int remove() int x = this.que.remove(); this.stk.push(new Item(x,0)); return x; --- פעולת //--- undo public void undo() if(!stk.isempty()) Item item = this.stk.pop(); if (item.getop() == 0) undoremove (item.getval()); else undoinsert ();

6 6 --- הוצאת הערך שנמצא בסוף התור ---// ---// --- הנחה: התור לא ריק private void undoinsert() --- דחיפת סימן לתור ---// int sign = -; this.que.insert(sign); // כל איברי התור חיוביים. מספר שלילי מהווה סימן טוב // --- העברת כל האיברים פרט לאחרון לסוף התור ---// int x = this.que.remove(); boolean finish = false; while (! finish) if (this.que.head() == sign) this.que.remove(); finish = true; else this.que.insert(x); x = this.que.remove(); --- הכנסת ערך לתחילת התור ---// private void undoremove(int x) Queue<Integer>q = new Queue<Integer>(); דחיפת הערך לתחילת תור העזר // q.insert(x); --- העברת כל האיברים לתור העזר ---// while (! this.que.isempty()) q.insert(this.que.remove()); החזרת האיברים מתוך העזר לתור המקורי ---// while (! q.isempty()) this.que.insert(q.remove());

7 7 /* מחלקה המגדירה פעולה עבור * Undo */ public class Item הערך // val; private int הפעולה :,insert private int op; // remove :0 C#: /* * QueueUndo תור- ביטול */ public class UndoQueue private Queue <int> que; private Stack<Item> stk; תור הפעולות // מחסנית ה - undo // public UndoQueue() this.que = new Queue<int>(); this.stk = new Stack<Item>(); --- הכנסה לתור ביטול ---// public void Insert(int x) this.que.insert(x); this.stk.push(new Item(x,)); --- הוצאה מתור ביטול ---// public int Remove() int x = this.que.remove(); this.stk.push(new Item(x,0)); return x; --- פעולת //--- undo public void Undo() if(!stk.isempty()) Item item = this.stk.pop(); if (item.getop() == 0) UndoRemove (item.getval()); else UndoInsert ();

8 8 --- הוצאת הערך שנמצא בסוף התור ---// ---// --- הנחה: התור לא ריק private void UndoInsert() --- דחיפת סימן לתור ---// int sign = -; this.que.insert(sign); // כל איברי התור חיוביים. מספר שלילי מהווה סימן טוב // --- העברת כל האיברים פרט לאחרון לסוף התור ---// int x = this.que.remove(); bool finish = false; while (! finish) if (this.que.head() == sign) this.que.remove(); finish = true; else this.que.insert(x); x = this.que.remove(); --- הכנסת ערך לתחילת התור ---// private void UndoRemove(int x) Queue<int> q = new Queue<int>(); דחיפת הערך לתחילת תור העזר // q.insert(x); --- העברת כל האיברים לתור העזר ---// while (! this.que.isempty()) q.insert(this.que.remove()); החזרת האיברים מתוך העזר לתור המקורי ---// while (! q.isempty()) this.que.insert(q.remove());

9 9 פתרון אחר: מחסנית ה undo היא מחסנית שכל איבר בה הוא מסוג תור. בכל פע שמתבצעת פעולה בתור ביטול נוצר עותק של התור והוא מוכנס למחסנית. בכל פע שמתבצעת פעולת undo מקבל תור ביטול הפנייה לתור שנשל מראש המחסנית. הערה: פתרו זה אינו יעיל כי הוא בזבזני במקו. אחרי n פעולות על התור (ללא (undo יהיה במחסנית n תורי שתופסי הרבה מאוד מקו בזיכרו. למימוש זה קראתי QueueUndo (ולא UndoQueue כנדרש בשאלה) public class QueueUndo private Queue <Integer> que; java: תור הפעולות // מחסנית ה - undo private Stack<Queue<Integer>> stk; // public QueueUndo() this.que = new Queue<Integer>(); this.stk = new Stack<Queue<Integer>>(); --- הכנסה לתור ביטול ---// public void insert(int x) this.stk.push(copyqueue()); this.que.insert(x); --- הוצאה מתור ביטול ---// public int remove() this.stk.push(copyqueue()); int x = this.que.remove(); return x; --- פעולת //--- undo public void undo() if(!stk.isempty()) this.que = this.stk.pop(); --- פעולה המחזירה העתק של התור- ביטול ---// private Queue<Integer> copyqueue() Queue<Integer> q = new Queue<Integer>(); Queue<Integer> qtmp = new Queue<Integer>(); מחסנית של תורים // while (! this.que.isempty()) int x = this.que.remove(); q.insert(x); qtmp.insert(x); while (! qtmp.isempty()) this.que.insert(qtmp.remove()); return q;

10 0 public class QueueUndo private Queue<int> que; private Stack<Queue<int>> stk; תור הפעולות // מחסנית ה - undo // C# : public QueueUndo() this.stk = new Stack<Queue<int>>(); this.que = new Queue<int>(); מחסנית של תורים // --- הכנסה לתור ביטול ---// public void Insert(int x) this.stk.push(copyqueue()); this.que.insert(x); --- הוצאה מתור ביטול ---// public int Remove() this.stk.push(copyqueue()); int x = this.que.remove(); return x; --- פעולת //--- undo public void Undo() if (!stk.isempty()) this.que = this.stk.pop(); --- פעולה המחזירה העתק של התור-ביטול ---// private Queue<Integer> CopyQueue() Queue<int> q = new Queue<int>(); Queue<int> qtmp = new Queue<int>(); while (!this.que.isempty()) int x = this.que.remove(); q.insert(x); qtmp.insert(x); while (!qtmp.isempty()) this.que.insert(qtmp.remove()); return q;

11 start : [] [] סעי א' לאחר הרצת התכנית באפשרות מחסנית של תורי : 0 for remove for insert 2 for undo - to end --> type a number --> op : [] [[]] 0 for remove for insert 2 for undo - to end --> type a number --> 2 op : [, 2] [[], []] 0 for remove for insert 2 for undo - to end --> type a number --> 3 op : [, 2, 3] [[, 2], [], []] 0 for remove for insert 2 for undo - to end --> 0 op 0: [2, 3] [[, 2, 3], [, 2], [], []] 0 for remove for insert 2 for undo - to end --> type a number --> 4 op : [2, 3, 4] [[2, 3], [, 2, 3], [, 2], [], []] 0 for remove for insert 2 for undo - to end --> 2 op 2: [2, 3] [[, 2, 3], [, 2], [], []] 0 for remove for insert 2 for undo - to end --> 2 op 2: [, 2, 3] [[, 2], [], []] 0 for remove for insert 2 for undo - to end --> -

12 2 --- ט.כניסה: עץ בינארי לא ריק ומחסנית ריקה של מספרים ---// --- ט.יציאה: המחסנית מכילה את ערכי העלים בסריקה מימין לשמאל ---// public static void leaves (BinTreeNode<Integer>t, Stack<Integer>s) if (t!= null) if (isleaf(t)) s.push(t.getinfo()); else leaves(t.getright(), s); leaves(t.getleft(), s); --- האם עלה? // הנחה : bt אינו //-- null public static boolean isleaf (BinTreeNode <Integer> bt) if (bt.getleft() == null && bt.getright() == null) return true; return false; --- ט.כניסה: 2 עצים בינאריים המכילים מספרים שלמים ---// --- ט.יציאה: "אמת" אם מספר וערכי העלים ב- 2 העצים שווים ---// --- ו-"שקר" אחרת ---// public static boolean chktrees ( BinTreeNode <Integer> t, BinTreeNode <Integer> t2) Stack <Integer> s = new Stack<Integer>(); Stack <Integer> s2 = new Stack<Integer>(); leaves(t, s); leaves(t2, s2); --- השוואת ערכי העלים שבשתי המחסניות ---// while (! s.isempty() &&! s2.isempty()) if (s.pop()!= s2.pop()) return false; --- אם אחת המחסניות התרוקנה לפני הזמן ---// if (! s.isempty()! s2.isempty()) return false; return true; java: :4 Ï

13 3 --- ט.כניסה: עץ בינארי לא ריק ומחסנית ריקה של מספרים ---// --- ט.יציאה: המחסנית מכילה את ערכי העלים בסריקה מימין לשמאל ---// public static void Leaves (BinTreeNode<int>t, Stack<int>s) if (t!= null) if (IsLeaf(t)) s.push(t.getinfo()); else Leaves(t.GetRight(), s); Leaves(t.GetLeft(), s); --- האם עלה? // הנחה : bt אינו //-- null public static bool IsLeaf (BinTreeNode <int> bt) if (bt.getleft() == null && bt.getright() == null) return true; return false; --- ט.כניסה: 2 עצים בינאריים המכילים מספרים שלמים ---// --- ט.יציאה: "אמת" אם מספר וערכי העלים ב- 2 העצים שווים ---// --- ו-"שקר" אחרת ---// public static bool ChkTrees (BinTreeNode <int> t, BinTreeNode <int> t2) Stack <int> s = new Stack<int>(); Stack <int> s2 = new Stack<int>(); Leaves(t, s); Leaves(t2, s2); --- השוואת ערכי העלים שבשתי המחסניות ---// while (! s.isempty() &&! s2.isempty()) if (s.pop()!= s2.pop()) return false; --- אם אחת המחסניות התרוקנה לפני הזמן ---// if (! s.isempty()! s2.isempty()) return false; return true; C# :

14 4 פרק ב' מערכות מחשב ואסמבלר :5 ÏÈ :6 ÏÈ :7 ÏÈ :8 Ï

15 5 פרק ב' מבוא לחקר ביצועים :9 Ï :0 Ï : Ï :2 Ï

16 6 פרק ב' מודלים חישוביים הפתרו לפרק זה נכתב ע"י רחל לודמר. :3 ÏÈ n=, עבור k= ab 4 c א. המילה הקצרה היא ב. ללא שינוי/, a דחו b, / S דחו b,s/ A דחו b,a/ A ללא שינוי/ b,s ללא שינוי/ b,a ללא שינוי/, b ללא שינוי/, a שלו c,s /S שלו c,a /A ללא שינוי/ b,s ללא שינוי/ b,a שלו c,s /S שלו c,a /A

17 7 q 0 a a אי זוגי b זוגי q a a a זוגי a זוגי b אי זוגי b זוגי b q 3 q 4 b a :4 Ï b q 2 b a זוגי b אי זוגי b a a אי זוגי b אי זוגי השלמת האוטומט נעזרה במקרא הבא: a אי זוגי b זוגי a q 5 a b b q 6 מצב התחלה q 0 מספר ה a אי זוגי ומספר ה b זוגי. q מספר ה a זוגי ומספר ה b אי זוגי. q 2 מספר ה a זוגי ומספר ה b זוגי. q 3 מספר ה a זוגי ומספר ה b אי זוגי. q 4 מספר ה a אי זוגי ומספר ה b זוגי. q 5 מספר ה a אי זוגי ומספר ה b אי זוגי. q 6 q q q b b a a b b 0 q3 q4 q q2 q3 q4 a b a a 0 q q3 q q2 b b 0 q3 q4 ב.. (i) המילה aaba לא מתקבלת. (ii) המילה bbaabb מתקבלת. (iii) המילה abaa מתקבלת. (iv) המילה bb מתקבלת. השפה L המוגדרת ע"י האוטומט היא אוס כל המילי מעל הא"ב אותיות זהות. a,b שמסתיימות לפחות בשתי.2

18 8 :5 Ï א. n k הוכחה שהשפה 0 k L = 0 2 n > אינה רגולרית. נוכיח שהשפה L היא אי רגולרית, בדר השלילה. נניח שהשפה רגולרית וקיי אוטומט סופי דטרמיניסטי A הבונה אותה. תהי הקבוצה האינסופית הבאה: התחלות של מילי בשפה L נבחר שתי התחלות שונות, w i j = 0, w2 = 0 i > j, j 0 מתו הקבוצה W. מאחר והאוטומט הוא סופי נית להניח כי שתי המילי מגיעות למצב משות מש נשרשר כל מילה ע הרצ. j 2 שתי המילי מגיעות למצב משת המילה יוצא ג ש שייכת לשפה, ולכ i>j עבור 0 i j 2. A באוטומט q t. q r 0 j j 2 ג בשפה, וזה בניגוד לכללי השפה. משות, מסלול מצב מקבל. מאחר ויש לה q r לכ הנחתנו ששתי המילי מגיעות למצב משת אינה נכונה, אלא כל מילה מגיעה למצב אחר. ומאחר והקבוצה W היא אינסופית יוצא שכל מילה מגיע למצב אחר. ומכא יש אינסו מצבי ב, A בניגוד להגדרת אוטומט סופי. לכ ההנחה שקיי אוטומט סופי הבונה את השפה L אינה נכונה, והשפה אינה רגולרית. W = 0, n, 0,...,0,... ואילו השפה L,(n>0) ב. ב. השפה. L L = φ החיתו הוא השפה הריקה. השפה L חייבת להתחיל באות 0 את הספרה 0. אינה מכילה כלל

19 9 :6 Ï א. מסלולו חישוב עבור (3)f q 0 a f(3) = '' q a q 2 a q 2 a q 3 a q 6 a q 6 q 5 a q a q 4 q 7 בסו הפעולה נקבל ב. '' = f(5) בסו הפעולה נקבל ג. '' = f(6)

20 20 מטרת הפונקציה 2/x f(x) = (החלק השל ). עבור x זוגי נקבל 2/x ועבור x אי זוגי נקבל 2/(-x) ד.. ימין, / q 0 q (0)f, יש להוסי את המעבר 7 ה. כדי לקבל את / a, ימין q 0 q אפשרות אחרת: להוסי את המעבר

21 2 Java פרק ב' תכנות מונחה עצמים :7 ÏÈ

22 22 :8 ÏÈ

23 23 :9 ÏÈ

24 24 :20 Ï

25 25 פרק ב' תכנות מונחה עצמים #C הפתרו לפרק זה נכתב ע"י זיוה קונצמן. public virtual bool IsLike(Object obj return obj is AA && ((AA)obj).GetSt().Equals(this.GetSt()); public override bool IsLike(object obj) return obj is BB && ((BB)obj).GetNum() = = this.getnum(); :2 ÏÈ א. במחלקה :AA ב. במחלקה : BB ג. קטע התוכנית נכו. מתבצעת המרה אוטומטית כלפי מעלה של משתנה מטיפוס הב להפניה מטיפוס האב. הב הוא ג טיפוס האב לכ אי בעיה. הפלט יהיה: st = excellent num = ד. קטע התוכנית שגוי. לא יכול להמיר כלפי מטה הפניה מסוג האב להיות הפניה מסוג הב, הוא לא נוצר כ BB אלא כ,AA ואינו יכול לעבור המרה למשהו שהוא לא. השגיאה היא שגיאת קומפילציה. public static string LongString(Object[] a) string st = ""; for (int i = 0; i < st.length; i++) if (a[i] is AA &&!(a[i] is BB)) st += ((AA)a[i]).GetSt(); else if (a[i] is BB) for (int j = ; j < ((BB)a[i]).GetNum(); j++) st += ((BB)a[i]).GetSt(); return st; ה.

26 26 w: B B m=2 m2=3 :22 ÏÈ w2: B D m=6 m2=3 d=.5 w3: B D m=8 m2=9 d=2.3 w4: A A a=null b= w5: A A a= b= הפלט:

27 27 aseq: ASeq Aseq first=2 difference=3 :23 ÏÈ א. The sequence elements 2, 5, 8,, 4 public class Sequence protected int first; public Sequence(int first) this.first = first; public virtual int TheNElement(int n) return this.first; public virtual void DisplayNElement(int n) Console.Write("The sequence elements"); for (int i = 0; i < n; i++) Console.Write(this.first + ","); public class ASeq:Sequence private int difference; public ASeq(int first, int difference):base(first) this.difference = difference; public override int TheNElement(int n) return this.first + (n - ) * this.difference; ב. הפלט: () (2)

28 28 public override void DisplayNElement(int n) Console.Write("The sequence elements"); for (int i = 0; i < n - ; i++) Console.Write(this.TheNElement(i + ) + ","); Console.WriteLine(this.TheNElement(n)); public int SumSeq(int n) int sum = 0; for (int i = ; i <= n; i++) sum += TheNElement(i); return sum; ג. אי צור לעשות כל שינוי. הפעולה תכתב במחלקת Sequence כ : בשתי המחלקות היורשות אי צור בכתיבה מחודשת, כל אחת תממש את חישוב האיבר לפי הפעולה הכתובה בה, מכיוו שכא יופעל מנגנו הדריסה. public static char Bigger(int n, ASeq a, Gseq g) int s = a.sumseq(n); int s2 = g.sumseq(n); if (s > s2) return 'A'; if (s2 > s) return 'G'; return 'E'; ד.

29 29 public class Vet private int id; private string name; private int vetek; עדכו הוותק של הוטרינר ב public void SetVetek() // this.vetek++; :24 Ï public class Animal private int numr; private string name; private string sug; private int age; private int numvet; private Appointement[] lastvisits; public void SetAge() עדכו הגיל של החיה בשנה // this.age++; public Appointment[] GetLastVisits() return this.lastvisits; public class Appointement private string kodes; private int idvet; public class Clinic private Vet [] veterinarians; private Animal [] animals;

30 30 הפעולה מקבלת סוג חיה ומדפיסה דו"ח הכולל את פרטי כל החיות מסוג זה // public void AllAnimalsSameKind(string kind) int i = 0; while (i < 500 && animals[i]!= null) if (animals[i].gettype().equals(kind)) Console.WriteLine (animals[i].getname() + "," + animals[i].getnumr() + "," + animals[i].getage()); i++; הפעולה מעדכנת בשנה את הותק של כל הוטרינרי // public void UpdateVetek() int i = 0; while (i < 0 && veterinarians[i]!= null) this.veterinarians[i].setvetek(); i++; הפעולה מעדכנת בשנה את גיל כל החיות // public void UpdateAgeAnimals() int i = 0; while (i < 50 && animals[i]!= null) this.animals[i].setage(); i++; הפעולה מקבלת ת.ז. של וטרינר ומחזירה את שמו // public string GetVet(int id) int i = 0; while (i < 0 && veterinarians[i]!= null) if (veterinarians[i].getid() == id) return veterinarians[i].getname(); i++; return null;

31 3 הפעולה מקבלת חיה, וטרינר מטפל וקוד טיפולי נוכחי ומוסיפה את // הביקור למאגר הביקורי הקיי של חיה זו // public void AddAppointment(Animal p, string t, Vet v) int i = 0; while (i < 50 &&!animals[i].equals(p)) i++; Appointment[] a = animals[i].getlastvisits(); i = 0; while (a[i]!= null) i++; a[i] = new Appointment(v, t);

מדעי המחשב ב' פתרון בחינת הבגרות. One n 4.0. One n T 4 3 T 8 4 T 16 5 T 32 6 F

מדעי המחשב ב' פתרון בחינת הבגרות. One n 4.0. One n T 4 3 T 8 4 T 16 5 T 32 6 F ב' פתרון בחינת הבגרות פרק א - tg Together double x 5.0 int from 2 int to 6 One first Two second One n 5.0 Queueq שאלה : א. One n 4.0 One n 8.0 One n 6.0 One n 32.0 new Two ((from,to) n m i i

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

מבני נתונים מדעי המחשב שאלון: מועד ב' תשע"ו מדעי המחשב פתרון בחינת הבגרות. Java שאלה 1. blog.csit.org.

מבני נתונים מדעי המחשב שאלון: מועד ב' תשעו מדעי המחשב פתרון בחינת הבגרות. Java שאלה 1. blog.csit.org. 1 פתרון בחינת הבגרות פרק ראשון - )יסודות( Java שאלה 1 C# 6 Java שאלה 2 ב. פלט a a1 A A 4 + 5 = 9 4 + 5 = 9 n1 n2 n1 n2 8 + 9 = 17? 4? 5 4 8 5 9 3 :C# שאלה 2 פלט a a1 A A 4 + 5 = 9 4 + 5 = 9 n1 n2 n1 n2

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

מדעי המחשב. פרק ראשון :Java. blog.csit.org.il מדעי המחשב שאלון: עיצוב תכנה 1 מועד ב' תשע"ו פתרון בחינת הבגרות שאלה 1 פעולות עזר:

מדעי המחשב. פרק ראשון :Java. blog.csit.org.il מדעי המחשב שאלון: עיצוב תכנה 1 מועד ב' תשעו פתרון בחינת הבגרות שאלה 1 פעולות עזר: 1 פתרון בחינת הבגרות פרק ראשון :Java שאלה 1 פעולות עזר: 6 3 C#: שאלה 1 פעולות עזר: 4 5 a.length = 5 0 1 2 3 4 a 2 4 7 12 18 שאלה 2 א. (a,11) sod ערך k i i

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

1 שאלון: תשס"ט { int listsize = size(list); int n = listsize / 3; if (listsize == 0 listsize % 3!

1 שאלון: תשסט { int listsize = size(list); int n = listsize / 3; if (listsize == 0 listsize % 3! ב' פתרון בחינת הבגרות פרק א - : Ï פתרון בשפת :Java ---// אחרת ו- "שקר" "רשימה משולשת" אם הרשימה היא "אמת" --- פעולה המחזירה ---// 3 רשימה משולשת היא רשימה לא ריקה שמספר איבריה מתחלק ב- --- ---// והאיברים

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

חורף תש''ע פתרון בחינה סופית מועד א'

חורף תש''ע פתרון בחינה סופית מועד א' מד''ח 4 - חורף תש''ע פתרון בחינה סופית מועד א' ( u) u u u < < שאלה : נתונה המד''ח הבאה: א) ב) ג) לכל אחד מן התנאים המצורפים בדקו האם קיים פתרון יחיד אינסוף פתרונות או אף פתרון אם קיים פתרון אחד או יותר

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

ניתן לקבל אוטומט עבור השפה המבוקשת ע "י שימוששאלה 6 בטכניקתשפה המכפלה שנייה כדי לבנות אוטומט לשפת החיתוך של שתי השפות:

ניתן לקבל אוטומט עבור השפה המבוקשת ע י שימוששאלה 6 בטכניקתשפה המכפלה שנייה כדי לבנות אוטומט לשפת החיתוך של שתי השפות: שאלה 1 בנה אוטומט המקבל את שפת כל המילים מעל הא"ב {,,} המכילות לפחות פעם אחת את הרצף ומיד אחרי כל אות מופיע הרצף. ניתן לפרק את השפה לשתי שפות בסיס מעל הא"ב :{,,} שפת כל המילים המכילות לפחות פעם אחת את

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

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

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

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

2 שאלות )בחירה מ - 4( סה"כ 25 נקודות לכל שאלה 22 נקודות

2 שאלות )בחירה מ - 4( סהכ 25 נקודות לכל שאלה 22 נקודות מבחן 0225 פרטים כלליים מועד הבחינה: בכל זמן מספר השאלון: 1 משך הבחינה: 3 שעות חומר עזר בשימוש: הכל )ספרים ומחברות( המלצות: קרא המלצות לפני הבחינה ובדיקות אחרונות לפני מסירה )עמודים 7-9( מבנה השאלון פרק

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

יסודות לוגיקה ותורת הקבוצות למערכות מידע (סמסטר ב 2012)

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

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

1 שאלון: תש"ע

1 שאלון: תשע 1 ב' פתרון בחינת הבגרות פרק א - :1 Ï פתרון בשפת :Jv מציאת הזוג הראשון במחסנית 1 הגדול מהזוג המקסימאלי במחסנית 2. אם הוא גדול מהזוג בעל הסכום המקסימאלי, הוא בהכרח גדול מסכום כל הזוגות הסמוכים במחסנית 2.

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

פתרון תרגיל מרחבים וקטורים. x = s t ולכן. ur uur נסמן, ur uur לכן U הוא. ur uur. ur uur

פתרון תרגיל מרחבים וקטורים. x = s t ולכן. ur uur נסמן, ur uur לכן U הוא. ur uur. ur uur פתרון תרגיל --- 5 מרחבים וקטורים דוגמאות למרחבים וקטורים שונים מושגים בסיסיים: תת מרחב צירוף לינארי x+ y+ z = : R ) בכל סעיף בדקו האם הוא תת מרחב של א } = z = {( x y z) R x+ y+ הוא אוסף הפתרונות של המערכת

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

פתרון תרגיל 5 מבוא ללוגיקה ותורת הקבוצות, סתיו תשע"ד

פתרון תרגיל 5 מבוא ללוגיקה ותורת הקבוצות, סתיו תשעד פתרון תרגיל 5 מבוא ללוגיקה ותורת הקבוצות, סתיו תשע"ד 1. לכל אחת מן הפונקציות הבאות, קבעו אם היא חח"ע ואם היא על (הקבוצה המתאימה) (א) 3} {1, 2, 3} {1, 2, : f כאשר 1 } 1, 3, 3, 3, { 2, = f לא חח"ע: לדוגמה

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

תרגול 1 חזרה טורי פורייה והתמרות אינטגרליות חורף תשע"ב זהויות טריגונומטריות

תרגול 1 חזרה טורי פורייה והתמרות אינטגרליות חורף תשעב זהויות טריגונומטריות תרגול חזרה זהויות טריגונומטריות si π α) si α π α) α si π π ), Z si α π α) t α cot π α) t α si α cot α α α si α si α + α siα ± β) si α β ± α si β α ± β) α β si α si β si α si α α α α si α si α α α + α si

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

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

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

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

חלק 1 כלומר, פונקציה. האוטומט. ) אותיות, אלפבית, א"ב (.

חלק 1 כלומר, פונקציה. האוטומט. ) אותיות, אלפבית, אב (. תוכן עניינים תקציר מודלים חישוביים ערך יגאל הינדי 2 2 2 3 4 6 6 6 7 7 8 8 9 11 13 14 14 15 16 17 17 18 19 20 20 20 20 - האוטומט הסופי - אוטומט סופי דטרמניסטי 2 פרק - מושגים ומילות מפתח 2.1 - הגדרת אוטומט

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

פתרון תרגיל 8. מרחבים וקטורים פרישה, תלות \ אי-תלות לינארית, בסיס ומימד ... ( ) ( ) ( ) = L. uuruuruur. { v,v,v ( ) ( ) ( ) ( )

פתרון תרגיל 8. מרחבים וקטורים פרישה, תלות \ אי-תלות לינארית, בסיס ומימד ... ( ) ( ) ( ) = L. uuruuruur. { v,v,v ( ) ( ) ( ) ( ) פתרון תרגיל 8. מרחבים וקטורים פרישה, תלות \ אי-תלות לינארית, בסיס ומימד a d U c M ( יהי b (R) a b e ל (R M ( (אין צורך להוכיח). מצאו קבוצה פורשת ל. U בדקו ש - U מהווה תת מרחב ש a d U M (R) Sp,,, c a e

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

חידה לחימום. כתבו תכappleית מחשב, המקבלת כקלט את M ו- N, מחליטה האם ברצוappleה להיות השחקן הפותח או השחקן השappleי, ותשחק כך שהיא תappleצח תמיד.

חידה לחימום. כתבו תכappleית מחשב, המקבלת כקלט את M ו- N, מחליטה האם ברצוappleה להיות השחקן הפותח או השחקן השappleי, ותשחק כך שהיא תappleצח תמיד. חידה לחימום ( M ש- N > (כך מספרים טבעיים Mו- N שappleי appleתוappleים בעלי אותה הזוגיות (שappleיהם זוגיים או שappleיהם אי - זוגיים). המספרים הטבעיים מ- Mעד Nמסודרים בשורה, ושappleי שחקappleים משחקים במשחק.

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

2 יח"ל ) השלמה ל - 5 יח"ל) (50 נקודות) מעבר חוקי, ו-'שקר' אחרת.

2 יחל ) השלמה ל - 5 יחל) (50 נקודות) מעבר חוקי, ו-'שקר' אחרת. 1 6 מאי, 2004 מועד הבחינה: 2 יח"ל ) השלמה ל - 5 יח"ל) פרק ראשון (50 נקודות) :1 Ï (מקור: שירלי רוזנברג כהן) נגדיר טיפוס נתונים חדש בשם תלת-מחסנית, כמבנה המכיל 3 מחסניות S3. S2, S1, נגדיר את הפעולות הבאות

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

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

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

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

לוגיקה ותורת הקבוצות פתרון תרגיל בית 8 חורף תשע"ו ( ) ... חלק ראשון: שאלות שאינן להגשה נפריד למקרים:

לוגיקה ותורת הקבוצות פתרון תרגיל בית 8 חורף תשעו ( ) ... חלק ראשון: שאלות שאינן להגשה נפריד למקרים: לוגיקה ותורת הקבוצות פתרון תרגיל בית 8 חורף תשע"ו ( 2016 2015 )............................................................................................................. חלק ראשון: שאלות שאינן להגשה.1

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

{ : Halts on every input}

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

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

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

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

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

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 פונקציות המוגדרות בסביבה נקובה

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

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 =

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

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

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

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

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

מודלים חישוביים פתרון תרגיל 5 מודלים חישוביים פתרון תרגיל 5 כתוב אוטומט דטרמיניסטי לשפות הבאות מעל הא"ב.Σ={,} א. *Σ. q, ב. q, ג. {ε}, q, q ד. } = 3 {w w mod, q, q,, ה. ''} {w w does not contin the sustring q 4 q 3 q q כתוב אוטומט דטרמיניסטי

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

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

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

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

Συλλογές, Στοίβες και Ουρές

Συλλογές, Στοίβες και Ουρές Συλλογές, Στοίβες και Ουρές Σε πολλές εφαρμογές μας αρκεί η αναπαράσταση ενός δυναμικού συνόλου με μια δομή δεδομένων η οποία δεν υποστηρίζει την αναζήτηση οποιουδήποτε στοιχείου. Συλλογή (bag) : Επιστρέφει

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

תרגול פעולות מומצאות 3

תרגול פעולות מומצאות 3 תרגול פעולות מומצאות. ^ = ^ הפעולה החשבונית סמן את הביטוי הגדול ביותר:. ^ ^ ^ π ^ הפעולה החשבונית c) #(,, מחשבת את ממוצע המספרים בסוגריים.. מהי תוצאת הפעולה (.7,.0,.)#....0 הפעולה החשבונית משמשת חנות גדולה

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

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 =

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

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

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

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

( )( ) ( ) f : B C היא פונקציה חח"ע ועל מכיוון שהיא מוגדרת ע"י. מכיוון ש f היא פונקציהאז )) 2 ( ( = ) ( ( )) היא פונקציה חח"ע אז ועל פי הגדרת

( )( ) ( ) f : B C היא פונקציה חחע ועל מכיוון שהיא מוגדרת עי. מכיוון ש f היא פונקציהאז )) 2 ( ( = ) ( ( )) היא פונקציה חחע אז ועל פי הגדרת הרצאה 7 יהיו :, : C פונקציות, אז : C חח"ע ו חח"ע,אז א אם על ו על,אז ב אם ( על פי הגדרת ההרכבה )( x ) = ( )( x x, כךש ) x א יהיו = ( x ) x חח"ע נקבל ש מכיוון ש חח"ע נקבל ש מכיוון ש ( b) = c כך ש b ( ) (

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

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. + sin(240 ) = = 3 ( tan(α) = 5 2 = sin(α) = sin(α) = 5. os(α) = + c ot(α) = π)) sin( 60 ) sin( 60 ) sin(

= 2. + sin(240 ) = = 3 ( tan(α) = 5 2 = sin(α) = sin(α) = 5. os(α) = + c ot(α) = π)) sin( 60 ) sin( 60 ) sin( א. s in(0 c os(0 s in(60 c os(0 s in(0 c os(0 s in(0 c os(0 s in(0 0 s in(70 מתאים לזהות של cos(θsin(φ : s in(θ φ s in(θcos(φ sin ( π cot ( π cos ( 4πtan ( 4π sin ( π cos ( π sin ( π cos ( 4π sin ( 4π

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

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

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

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

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

םינותנ ינבמ 3 ליגרתמ תולאשל המוד תולאש טסל תונורתפ תולאשה מבני נתונים פתרונות לסט שאלות דומה לשאלות מתרגיל 3 השאלות נתונה רשימה משורשרת L המכילה n מספרים שלמים חיוביים מתחום לא חסום כאשר 1 k n = 2 עבור > 0 k כלשהו. נניח שהמספרים ברשימה מקיימים את התכונה הבאה:

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

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

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

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

מכונת טיורינג אוטומט מחסנית לא דטרמיניסטי שפות חופשיות הקשר (שפת ראי לא מסומנת)

מכונת טיורינג אוטומט מחסנית לא דטרמיניסטי שפות חופשיות הקשר (שפת ראי לא מסומנת) מכונת טיורינג לא דטרמיניסטי שפות חופשיות הקשר (שפת ראי לא מסומנת) דטרמיניסטי שפות חופשיות הקשר (שפת ראי מסומנת) סגירות:איחוד,שרשור,היפוך, חיתוך עם שפה רגולרית אוטומט סופי דטרמיניסטי שפות רגולריות סגירות:חיתוך,איחוד,שרשור,משלים,היפוך

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

שאלה 1 V AB פתרון AB 30 R3 20 R

שאלה 1 V AB פתרון AB 30 R3 20 R תרגילים בתורת החשמל כתה יג שאלה א. חשב את המתח AB לפי משפט מילמן. חשב את הזרם בכל נגד לפי המתח שקיבלת בסעיף א. A 60 0 8 0 0.A B 8 60 0 0. AB 5. v 60 AB 0 0 ( 5.) 0.55A 60 א. פתרון 0 AB 0 ( 5.) 0 0.776A

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

בחינה בסיבוכיות עמר ברקמן, ישי חביב מדבקית ברקוד

בחינה בסיבוכיות עמר ברקמן, ישי חביב מדבקית ברקוד בחינה בסיבוכיות עמר ברקמן, ישי חביב מדבקית ברקוד סמסטר: א' מועד: א' תאריך: יום ה' 0100004 שעה: 04:00 משך הבחינה: שלוש שעות חומר עזר: אין בבחינה שני פרקים בפרק הראשון 8 שאלות אמריקאיות ולכל אחת מהן מוצעות

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

אוטומטים- תרגול 8 שפות חסרות הקשר

אוטומטים- תרגול 8 שפות חסרות הקשר אוטומטים- תרגול 8 שפות חסרות הקשר דקדוק חסר הקשר דקדוק חסר הקשר הנו רביעיה > S

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

Σι θα δούμε σε αυτό το μάθημα;

Σι θα δούμε σε αυτό το μάθημα; Σι θα δούμε σε αυτό το μάθημα; Γήισζε, αξρηθνπνίεζε θαη ρξήζε κεηαβιεηώλ πηλάθσλ (arrays) Γήισζε, αξρηθνπνίεζε θαη ρξήζε κεηαβιεηώλ ζπιινγώλ (collections) Σι είναι ένας πίνακας (array) Έλαο πίλαθαο είλαη

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

גבול ורציפות של פונקציה סקלרית שאלות נוספות

גבול ורציפות של פונקציה סקלרית שאלות נוספות 08 005 שאלה גבול ורציפות של פונקציה סקלרית שאלות נוספות f ( ) f ( ) g( ) f ( ) ו- lim f ( ) ו- ( ) (00) lim ( ) (00) f ( בסביבת הנקודה (00) ) נתון: מצאו ) lim g( ( ) (00) ננסה להיעזר בכלל הסנדביץ לשם כך

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

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

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

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

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

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

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

מכונת טיורינג אוטומט מחסנית לא דטרמיניסטי שפות חופשיות הקשר (שפת ראי לא מסומנת)

מכונת טיורינג אוטומט מחסנית לא דטרמיניסטי שפות חופשיות הקשר (שפת ראי לא מסומנת) מכונת טיורינג אוטומט מחסנית לא דטרמיניסטי שפות חופשיות הקשר (שפת ראי לא מסומנת) אוטומט מחסנית דטרמיניסטי שפות חופשיות הקשר (שפת ראי מסומנת) סגירות:איחוד,שרשור,היפוך, חיתוך עם שפה רגולרית אוטומט סופי דטרמיניסטי

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

s ק"מ קמ"ש מ - A A מ - מ - 5 p vp v=

s קמ קמש מ - A A מ - מ - 5 p vp v= את זמני הליכת הולכי הרגל עד הפגישות שלהם עם רוכב האופניים (שעות). בגרות ע מאי 0 מועד קיץ מבוטל שאלון 5006 מהירות - v קמ"ש t, א. () נסמן ב- p נכניס את הנתונים לטבלה מתאימה: רוכב אופניים עד הפגישה זמן -

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

[ ] Observability, Controllability תרגול 6. ( t) t t קונטרולבילית H למימדים!!) והאובז' דוגמא: x. נשתמש בעובדה ש ) SS rank( S) = rank( עבור מטריצה m

[ ] Observability, Controllability תרגול 6. ( t) t t קונטרולבילית H למימדים!!) והאובז' דוגמא: x. נשתמש בעובדה ש ) SS rank( S) = rank( עבור מטריצה m Observabiliy, Conrollabiliy תרגול 6 אובזרווביליות אם בכל רגע ניתן לשחזר את ( (ומכאן גם את המצב לאורך זמן, מתוך ידיעת הכניסה והיציאה עד לרגע, וזה עבור כל צמד כניסה יציאה, אז המערכת אובזרוובילית. קונטרולביליות

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

כלליים זמן: S מחסנית, top(s) ראש המחסנית. (Depth First Search) For each unmarked DFS(v) / BFS(v) רקורסיבי. אלגוריתם :BFS

כלליים זמן: S מחסנית, top(s) ראש המחסנית. (Depth First Search) For each unmarked DFS(v) / BFS(v) רקורסיבי. אלגוריתם :BFS כלליים שיטות חיפוש בבגרפים שיטה 1: חיפוש לרוחב S (readth irst Search) זמן: ) Θ( V + הרעיון: שימוש בתור.O שיטה 2: חיפוש לעומק S (epth irst Search) Θ( V + ) יהי =(V,) גרף כלשהו, V הוא צומת התחלת החיפוש.

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

תשובות מלאות לבחינת הבגרות במתמטיקה מועד ג' תשע"ד, מיום 0/8/0610 שאלונים: 315, מוצע על ידי בית הספר לבגרות ולפסיכומטרי של אבירם פלדמן

תשובות מלאות לבחינת הבגרות במתמטיקה מועד ג' תשעד, מיום 0/8/0610 שאלונים: 315, מוצע על ידי בית הספר לבגרות ולפסיכומטרי של אבירם פלדמן תשובות מלאות לבחינת הבגרות במתמטיקה מועד ג' תשע"ד, מיום 0/8/0610 שאלונים: 315, 635865 מוצע על ידי בית הספר לבגרות ולפסיכומטרי של אבירם פלדמן שאלה מספר 1 נתון: 1. סדרה חשבונית שיש בה n איברים...2 3. האיבר

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

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

קובץ שאלות ופתרונות של שאלות ממבחנים מנושאים שונים אוטומטים ושפות פורמליות 236353 סמסטר אביב 2016 קובץ שאלות ופתרונות של שאלות ממבחנים מנושאים שונים קובץ ונערך ע"י אורן אשכנזי ומיכל הורוביץ תכונות סגור ודקדוקים רגולריים. עבור שפות L 1, L 2 מעל א"ב Σ נגדיר

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

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

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

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

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

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

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

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

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

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

השאלות ידי מצביעים לילדים.

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

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

אוטומטים- תרגול 10: מכונות טיורינג.

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

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

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

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

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

(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() כאשר =

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

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

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

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

תרגול 8: מטלאב לולאות

תרגול 8: מטלאב לולאות מבוא למחשב בשפת Matlab : מטלאב לולאות נכתב על-ידי רמי כהן,אולג רוכלנקו, לימור ליבוביץ ואיתן אביאור כל הזכויות שמורות לטכניון מכון טכנולוגי לישראל לולאת while a=input('enter a positive number:'); קליטת

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

מבוא לרשתות - תרגול מס 5 תורת התורים

מבוא לרשתות - תרגול מס 5 תורת התורים מבוא לרשתות - תרגול מס 5 תורת התורים תאור המערכת: תור / M M / ( ) שרת שירות פואסוני הגעה פואסונית הערות: במערכת M/M/ יש חוצץ אינסופי ולכן יכולים להיות בה אינסוף לקוחות, כאשר מקבל שירות והשאר ממתינים. זמן

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

מכונת טיורינג אוטומט מחסנית לא דטרמיניסטי שפות חופשיות הקשר (שפת ראי לא מסומנת)

מכונת טיורינג אוטומט מחסנית לא דטרמיניסטי שפות חופשיות הקשר (שפת ראי לא מסומנת) מכונת טיורינג אוטומט מחסנית לא דטרמיניסטי שפות חופשיות הקשר (שפת ראי לא מסומנת) אוטומט מחסנית דטרמיניסטי שפות חופשיות הקשר (שפת ראי מסומנת) סגירות:איחוד,שרשור,היפוך, חיתוך עם שפה רגולרית אוטומט סופי דטרמיניסטי

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

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

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

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

מבוא לרשתות - תרגול מס 5 תורת התורים

מבוא לרשתות - תרגול מס 5 תורת התורים מ( מבוא לרשתות - תרגול מס 5 תורת התורים M / M / תאור המערכת: תור שרת שירות פואסוני הגעה פואסונית הערות: במערכת M/M/ יש חוצץ אינסופי ולכן יכולים להיות בה אינסוף לקוחות, כאשר מקבל שירות והשאר ממתינים. קצב

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

TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY DEPARTMENT OF COMPUTER SCIENCE סמסטר אביב תשס"ו מס' סטודנט:

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

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

brookal/logic.html לוגיקה מתמטית תרגיל אלון ברוק

brookal/logic.html לוגיקה מתמטית תרגיל אלון ברוק יום א 14 : 00 15 : 00 בניין 605 חדר 103 http://u.cs.biu.ac.il/ brookal/logic.html לוגיקה מתמטית תרגיל אלון ברוק 29/11/2017 1 הגדרת קבוצת הנוסחאות הבנויות היטב באינדוקציה הגדרה : קבוצת הנוסחאות הבנויות

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

תאריך עדכון אחרון: 27 בפברואר ניתוח לשיעורין analysis) (amortized הוא טכניקה לניתוח זמן ריצה לסדרת פעולות, אשר מאפשר קבלת

תאריך עדכון אחרון: 27 בפברואר ניתוח לשיעורין analysis) (amortized הוא טכניקה לניתוח זמן ריצה לסדרת פעולות, אשר מאפשר קבלת תרגול 3 ניתוח לשיעורין תאריך עדכון אחרון: 27 בפברואר 2011. ניתוח לשיעורין analysis) (amortized הוא טכניקה לניתוח זמן ריצה לסדרת פעולות, אשר מאפשר קבלת חסמי זמן ריצה נמוכים יותר מאשר חסמים המתקבלים כאשר

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

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

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

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

תרגיל 7 פונקציות טריגונומטריות הערות

תרגיל 7 פונקציות טריגונומטריות הערות תרגיל 7 פונקציות טריגונומטריות הערות. פתרו את המשוואות הבאות. לא מספיק למצוא פתרון אחד יש למצוא את כולם! sin ( π (א) = x sin (ב) = x cos (ג) = x tan (ד) = x) (ה) = tan x (ו) = 0 x sin (x) + sin (ז) 3 =

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

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

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

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

אוסף שאלות מס. 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,

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

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

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

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

TECHNION Israel Institute of Technology, Faculty of Mechanical Engineering מבוא לבקרה (034040) גליון תרגילי בית מס 5 ציור 1: דיאגרמת הבלוקים

TECHNION Israel Institute of Technology, Faculty of Mechanical Engineering מבוא לבקרה (034040) גליון תרגילי בית מס 5 ציור 1: דיאגרמת הבלוקים TECHNION Iael Intitute of Technology, Faculty of Mechanical Engineeing מבוא לבקרה (034040) גליון תרגילי בית מס 5 d e C() y P() - ציור : דיאגרמת הבלוקים? d(t) ו 0 (t) (t),c() 3 +,P() + ( )(+3) שאלה מס נתונה

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

תכנון אלגוריתמים 2016 עבודה 1 שאלה 1 פתרון נתונות שתי בעיות. יש למצוא: אורך מסלול קצר ביותר המתחיל באחד מן הקודקודים s 1,..., s k ומסתיים ב t.

תכנון אלגוריתמים 2016 עבודה 1 שאלה 1 פתרון נתונות שתי בעיות. יש למצוא: אורך מסלול קצר ביותר המתחיל באחד מן הקודקודים s 1,..., s k ומסתיים ב t. תכנון אלגוריתמים 2016 עבודה 1 פתרון שאלה 1 נזכר כי בגרף (E G, =,V) עבור שני קודקודים d(u, (v,u, v הוא אורך מסלול קצר ביותר מ u ל v. אם אין מסלול מ u ל.d(u, v) =,v נתונות שתי בעיות. בעיה א' מופע: גרף מכוון

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

תרגול מס' 6 פתרון מערכת משוואות ליניארית

תרגול מס' 6 פתרון מערכת משוואות ליניארית אנליזה נומרית 0211 סתיו - תרגול מס' 6 פתרון מערכת משוואות ליניארית נרצה לפתור את מערכת המשוואות יהי פתרון מקורב של נגדיר את השארית: ואת השגיאה: שאלה 1: נתונה מערכת המשוואות הבאה: הערך את השגיאה היחסית

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

מודלים חישוביים כריעות R זוהי מחלקת השפות הכריעות. מחלקה זו סגורה תחת פעולת המשלים. רדוקציה בעיית ההכרעה רדוקציית מיפוי.

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

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

מבני בקרה ב C שעור מס. 2 דר' דרור טובי, המרכז האוניברסיטאי אריאל בשומרון.

מבני בקרה ב C שעור מס. 2 דר' דרור טובי, המרכז האוניברסיטאי אריאל בשומרון. מבני בקרה ב C שעור מס. 2 דרור טובי דר' 1 פקודת if הוראה תנאי True (1) False (0) if ( grade >= 60 ) cout = 60 ) { cout

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

פתרון תרגיל בית 6 מבוא לתורת החבורות סמסטר א תשע ז

פתרון תרגיל בית 6 מבוא לתורת החבורות סמסטר א תשע ז פתרון תרגיל בית 6 מבוא לתורת החבורות 88-211 סמסטר א תשע ז הוראות בהגשת הפתרון יש לרשום שם מלא, מספר ת ז ומספר קבוצת תרגול. תאריך הגשת התרגיל הוא בתרגול בשבוע המתחיל בתאריך ג טבת ה תשע ז, 1.1.2017. שאלות

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

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

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

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

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

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

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

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

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

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

co ארזים 3 במרץ 2016

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

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

מודלים חישוביים, חישוביות וסיבוכיות (חישוביות) 67521

מודלים חישוביים, חישוביות וסיבוכיות (חישוביות) 67521 מודלים חישוביים, חישוביות וסיבוכיות (חישוביות) 67521 22 ביוני 2012 מרצה: גיא קינדלר מתרגל: שאול אלמגור "...one TM to rule them all..." באדיבות בן מאירי איני לוקחת אחריות על מה שכתוב כאן, so tread lightly

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

Regular Expressions (RE)

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

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

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

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

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

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

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

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

בעיות חשיבות: :(State transition system) STS מושגים: רדוקציה: f אינה חשיבה g אינה חשיבה; בבעיות הכרעה: f לא כריעה g לא כריעה.

בעיות חשיבות: :(State transition system) STS מושגים: רדוקציה: f אינה חשיבה g אינה חשיבה; בבעיות הכרעה: f לא כריעה g לא כריעה. 1 סיכומים למבחן בקורס מודלים חישוביים סמסטר א' 2008-9 (פרופ' נחום דרשוביץ) חלק ראשון: חישוביות בעיות חשיבות: דוגמאות לפוקנציות לא חשיבות: פונקציה תיאור הערות, הבונה החרוץ בהינתן מספר n, מה הוא הפלט הגדול

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

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

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

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

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

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

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

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

מתמטיקה בדידה תרגול מס' 5 מתמטיקה בדידה תרגול מס' 5 נושאי התרגול: פונקציות 1 פונקציות הגדרה 1.1 פונקציה f מ A (התחום) ל B (הטווח) היא קבוצה חלקית של A B המקיימת שלכל a A קיים b B יחיד כך ש. a, b f a A.f (a) = ιb B. a, b f או, בסימון

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

אלגברה לינארית (1) - פתרון תרגיל 11

אלגברה לינארית (1) - פתרון תרגיל 11 אלגברה לינארית ( - פתרון תרגיל דרגו את המטריצות הבאות לפי אלגוריתם הדירוג של גאוס (א R R4 R R4 R=R+R R 3=R 3+R R=R+R R 3=R 3+R 9 4 3 7 (ב 9 4 3 7 7 4 3 9 4 3 4 R 3 R R3=R3 R R 4=R 4 R 7 4 3 9 7 4 3 8 6

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

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

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

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

סיכום חקירת משוואות מהמעלה הראשונה ומהמעלה השנייה פרק זה הינו חלק מסיכום כולל לשאלון 005 שנכתב על-ידי מאיר בכור

סיכום חקירת משוואות מהמעלה הראשונה ומהמעלה השנייה פרק זה הינו חלק מסיכום כולל לשאלון 005 שנכתב על-ידי מאיר בכור סיכום חקירת משוואות מהמעלה הראשונה ומהמעלה השנייה פרק זה הינו חלק מסיכום כולל לשאלון 5 שנכתב על-ידי מאיר בכור. חקירת משוואה מהמעלה הראשונה עם נעלם אחד = הצורה הנורמלית של המשוואה, אליה יש להגיע, היא: b

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

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

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

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

max(sod1,sod2) 5 1 F (9321,345) סוד 1 1 max ( 1, 2 ) F (345,296) סוד 1 0 max ( 0, 2 ) F (296,7) סוד 1 2 max ( 2, 1 ) 2

max(sod1,sod2) 5 1 F (9321,345) סוד 1 1 max ( 1, 2 ) F (345,296) סוד 1 0 max ( 0, 2 ) F (296,7) סוד 1 2 max ( 2, 1 ) 2 1 ב' פתרון בחינת הבגרות פרק א - סוד 86)1 (31547, :1 Ï א. טבלת מעקב למשפט הזימון: n1 n2 n1 = 0, n2 = 0 n1 = 0, n2 0 = 0 n2 n1 0, ערך מוחזר 86 31547 F F F 3 8 3154 F F F 3 0 315 F T 1 + 2 3 0 31 F T 1 +

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

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

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

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

אלגברה לינארית מטריצות מטריצות הפיכות

אלגברה לינארית מטריצות מטריצות הפיכות מטריצות + [( αij+ β ij ] m λ [ λα ij ] m λ [ αijλ ] m + + ( + +C + ( + C i C m q m q ( + C C + C C( + C + C λ( ( λ λ( ( λ (C (C ( ( λ ( + + ( λi ( ( ( k k i חיבור מכפלה בסקלר מכפלה בסקלר קומוטטיב אסוציאטיב

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

דוגמה: יהי T עץ בינארי כפי שמתואר בציור הבא:

דוגמה: יהי T עץ בינארי כפי שמתואר בציור הבא: של שאלות מבחינות פתרונות.1 שאלהזוהופיעהבמבחןמועדג 01 דוגמה: יהי T עץ בינארי כפי שמתואר בציור הבא: הגדרות: עבור צומת בעץ בינארי T נסמן ב- T את תת העץ של T ששורשו. (תת העץ הזה כולל את ). נגדיר את תת העץ

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

. {e M: x e} מתקיים = 1 x X Y

. {e M: x e} מתקיים = 1 x X Y שימושי זרימה פרק 7.5-13 ב- Kleinberg/Tardos שידוך בגרף דו-צדדי עיבוד תמונות 1 בעיית השידוך באתר שידוכים רשומים m נשים ו- n גברים. תוכנת האתר מאתרת זוגות מתאימים. בהינתן האוסף של ההתאמות האפשריות, יש לשדך

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

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

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

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