Recent Forum Posts
From categories:
page 1123...next »
Re: factor
Dean DoronDean Doron 27 Aug 2015 08:41
in discussion Discussions / Q&A Spring 2015 » factor

You can see the staff's answer here: http://tau-cm2015b.wikidot.com/forum/t-1328978/factor.

Re: factor by Dean DoronDean Doron, 27 Aug 2015 08:41

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

בברכה
צוות הקורס

הסבר להחלטה

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

סטודנטים רשומים: כ 300
מועד א: 218 ניגשים, ממוצע 73.2 , נכשלים 22%
מועד ב: 116 ניגשים, ממוצע 58.4 , נכשלים 44%

לכאורה הנתונים שלעיל מצביעים על כך שמועד ב היה אכן קשה מידי, ולכן נחוץ פקטור, אך אם מסתכלים על 77 התלמידים שנגשו לשני המועדים, מקבלים תמונה מעט אחרת. תלמידים אלו שפרו את ציונם ב 6.3 נקודות בממוצע, ואחוז הנכשלים מתוכם ירד מ 57% ל 35%. כלומר קבוצה זאת שפרה משמעותית את הישגיה בין המועדים. כמובן שאת שיפור זה יש ליחס לכך שתלמידים אלו למדו טוב יותר למועד ב׳, אך אנו מאמינים ש 6 נקודות שיפור הוא אינקדיקציה לכך שאפן חישוב ציון מועד ב׳, והמבחן עצמו, היה הולם.

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

ציון מועד ב by Iftach HaitnerIftach Haitner, 27 Aug 2015 08:01
factor
student (guest) 19 Aug 2015 11:20
in discussion Discussions / Q&A Spring 2015 » factor

why there is no factor in moed b?
the average of the grades in moed b is 58.58 while in moed a is 73.49 , so why there is no factor in moed b ???

factor by student (guest), 19 Aug 2015 11:20

Hi,

Take the HW and midterm from the same table, and use the formula that was given:
Final Grade = 0.75*Final Exam + 0.15* Effective Midterm +0.10 * Effective HW
The "Final Exam" is what appears in the scan. I believe they will be published very soon - we already gave them away.

ציונים מועד ב'
student (guest) 18 Aug 2015 13:34
in discussion Discussions / Q&A Spring 2015 » ציונים מועד ב'

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

ציונים מועד ב' by student (guest), 18 Aug 2015 13:34
מועד ב'
Amir Amer (guest) 17 Aug 2015 12:58
in discussion Discussions / Q&A Spring 2015 » מועד ב'

קצת לא מובן לי שיטת הניקוד שלכם . שאלה 1 סעיף ב' הורדתם לי 2 נק'. איך זה יכול להיות כאשר התשובה הועתקה אחד לאחד מהשיעורי בית שאתם פרסמתם בדף בתשובות שלכם?

מועד ב' by Amir Amer (guest), 17 Aug 2015 12:58

No, any set A cannot belong to itself.
Other than that, what lies in RE are sets of strings (languages). There is no sense in treating RE as a language itself, as a language is defined as a set of strings, not as a set of sets.

Re: RE belongs to RE? by Dean DoronDean Doron, 07 Aug 2015 20:44
RE belongs to RE?
ido (guest) 07 Aug 2015 06:50
in discussion Discussions / Q&A Spring 2015 » RE belongs to RE?

Does RE belongs to RE?

RE belongs to RE? by ido (guest), 07 Aug 2015 06:50
ניקוד במועד ב
Guest (guest) 06 Aug 2015 21:36
in discussion Discussions / Q&A Spring 2015 » ניקוד במועד ב

האם גם במועד ב', 2 השאלות הכי טובות ינוקדו ב125% והשאלה הכי פחות טובה תנוקד ב50 אחוז?

ניקוד במועד ב by Guest (guest), 06 Aug 2015 21:36

There is no such possibility, as the enumerator is monotone. In the worst case, in every step the output of f is incremented by 1, so in
the worst case, it will take you 'x' steps to reach x.
The reason your example does not hold is because this is not how enumeration goes. The correct enumeration is:

'1' - empty word
'2' - 0
'3' - 1
'4' - 00
'5' - 01
'6' - 10
'7' - 11
'8' - 000

In case L = all words which starts with '1', the enumerator will output:
f(1) = 1
f(2) = 10
f(3) = 11
f(4) = 100
f(5) = 101
and so on…
So, no matter what your x is, remember that it is encoded in binary so you will eventually either get to it (and accept) or get
to an output larger than it (and reject).

OK?

In Recitation 8 - Targil 6 , we prove that if L infinite language, and has monotonic enumerator, then L is decidable.
we prove it by building TM M, that runs the enumerator, untill it reaches the word and accept, or a higher order word and reject.
What if it never get to a higher order word?
For example - L = all words which starts with '1'.
and now lets run our TM on the word '2' :
it will run the enumerator forever, entering infinith loop, with words starting with '1' and will never get to higher order word from '2', so it will never halt.
So why is this TM a decider?

monotonic enumerators = R by Ido (guest), 06 Aug 2015 07:40

Here is how to decide L2:
- For every word w of length up to |Q|:
- Simulate M on w. M either takes a left step (then, reject) or reaches the end of "w" on the tape within |w| steps.
- If it took |Q|+1 right steps after reaching the first blank, accept. Otherwise, reject.

There is a post here on why |Q|+1 is sufficient. Try to figure out why the |Q| bound is sufficient as well.

by Dean DoronDean Doron, 04 Aug 2015 17:17
ohad (guest) 04 Aug 2015 08:41
in discussion Discussions / Q&A Spring 2015 » מבחן 2011 מועד א' סמסטר ב'

help?

by ohad (guest), 04 Aug 2015 08:41

1) Indeed, the polynomiality of the verifier is crucial - otherwise, as you said, Htm would have been in NP and in R.
There is no polynomial P for which we are guaranteed to halt within P(|(<M>,w)|) steps. Think of M that on w does the following:
For 2^(2^|w|)) times, right '$' on the tape and move right. After that, accept.
Clearly, <M>,w is in A_tm, but no polynomial exists so that if we reject after P(|(<M>,w)|) steps we will succeed. Right?

2) A "run" of a NTM is not by "going over all possibilities" (this is how you *simulate* a NTM with a DTM). A "guess" should be
thought of as a path in the computation tree of the machine and we accept iff there exists at least one accepting path. The time
it takes to guess a string of length n is O(n), as guessing one bit corresponds to taking a constant number of steps in our delta function.
Is it clear?

verifier for Htm / and NTM
Student (guest) 02 Aug 2015 18:11
in discussion Discussions / Q&A Spring 2015 » verifier for Htm / and NTM

1). In Recitation 11 we showed that Htm has a verifier, so that's mean Htm in NP and we know that NP in R , so Htm in R but Htm not in R.
I know that the verifier must be polynomial, so if the verifier for Htm did not accept in P(|(<M>,w)|) time so we reject so the verifier is polynomial ?????
what's wrong here?

2). When NTM gusses a string of lenght O(n) then run a verifier on it that the verifier runs in O(n) , why the running time for the NTM is O(n) and not O(n*(2^n)) (if we say that |Sigma|=2) since we have O(2^n) diffrent strings
so gussing a string will take O(2^n) ???

verifier for Htm / and NTM by Student (guest), 02 Aug 2015 18:11

Hey,

would questions that were given in homework(with the * mark) and are harder than others(such as question number 7 in exe. 3) are an option to be presented in the test?

Thanks :)

homework question in the test by Amir =] (guest), 02 Aug 2015 17:45
אורח (guest) 02 Aug 2015 17:43
in discussion Discussions / Q&A Spring 2015 » הבהרות בנוגע לחומר למבחן

האם אפשר לענות על השאלה בבקשה?
זה רלוונטי גם למועד ב'

by אורח (guest), 02 Aug 2015 17:43

See our discussion of algorithmic questions regarding DFAs and NFAs, say in Lecture 3.

Re: EMPTY - DFA by Dean DoronDean Doron, 02 Aug 2015 08:26
EMPTY - DFA
shiraneshirane 01 Aug 2015 09:39
in discussion Discussions / Q&A Spring 2015 » EMPTY - DFA

היי,
בתרגול 8 שאלה 3 טענתם שהשפה שמקבלת את כל הקידודים של אוטומט סופי דטרמניסטי שמקבל את השפה הריקה ניתנת להכרעה
כלומר EMPTY-DFA ניתנת להכרעה
ציינתם שהוכחנו בהרצאה, ניסיתי למצוא את זה במצגות אך לא מצאתי
אפשר רעיון לאיך מוכיחים את זה או הפניה למקום ההוכחה?

תודה :)

EMPTY - DFA by shiraneshirane, 01 Aug 2015 09:39

Hi,

There is no formal guidance in that matter, but it is a reasonable assumption that the exam's form will be very similar…

by Dean DoronDean Doron, 28 Jul 2015 21:04
page 1123...next »
Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License