mathematical theorem
משפט מתמטי
proven theorem
משפט מוכח
theorem statement
ניסוח משפט
fixed point theorem
משפט נקודת קבע
existence theorem
משפט קיום
mean value theorem
משפט הערך הממוצע
comparison theorem
משפט השוואה
sampling theorem
משפט הדגימה
central limit theorem
משפט הגבול המרכזי
remainder theorem
משפט השארית
coase theorem
משפט קואז
chinese remainder theorem
משפט השאריות הסיני
uniqueness theorem
משפט הייחודיות
pythagorean theorem
משפט פיתגורס
reciprocity theorem
משפט הדו-צדדיות
theorem proving
הוכחת משפט
gauss theorem
משפט גאוס
duality theorem
משפט הכפילות
approximation theorem
משפט קירוב
separation theorem
משפט ההפרדה
binomial theorem
משפט הבינום
intermediate value theorem
משפט הערך הבינוני
I agree with the theorem that the best defence is offence.
אני מסכים עם הטענה שההגנה הטובה ביותר היא התקפה.
To establish Cantor's theorem it must be shown that f is necessarily not surjective.
כדי להוכיח את משפט קנטור, יש להראות ש-f בהכרח אינו העתקה על.
His theorem can be translated into simple terms.
ניתן לתרגם את הטענה שלו למונחים פשוטים.
In this paper , a rigidity theorem of hypersurface in real space form will begiven.In addition, we obtain rigidity theorems of submanifold in sphere which improvethe result of Hou and Xu.
במאמר זה יוצג משפט נוקשות של משטח על-פניי במרחב ממשי. יתרה מכך, אנו משיגים משפטי נוקשות של תת-משטח בספירה המשפרים את תוצאותיו של הו וסו.
Bitonic is introduced and a theorem is proved. The algorithm of bitonic merge-sort is given.
מוצג ביטוני ומאמת משפט. האלגוריתם של מיון מיזוג ביטוני מוגש.
In addition,the paper proposes decision judgement theorem,decision discernment theorem, decision surplusage discarding theorem and hole digging principle on decision factors universe X .
בנוסף, הנייר מציע משפט שיפוט החלטה, משפט הבחנה בהחלטה, משפט עודף החלטה זריקה ועקרון חפירת חורים על גבי אוניברסות גורמי החלטה X.
This paper presents the source coding theorem for discrete-time stationary Gaussian sources with absolutely summable autocorrelation sequence.
מאמר זה מציג את משפט קידוד המקור עבור מקורות גאוסיים דיסקרטיים סטציונריים עם רצף מתאם עצמי בעל סכום מוחלט.
The present paper using upper and lower solutions,proves an existence theorem of almostperiodic solutions for integrodifferential systems.
המאמר הנוכחי, תוך שימוש בפתרונות עליונים ותחתונים, מוכיח קיום משפט של פתרונות כמעט מחזורי עבור מערכות דיפרנציאליות-אינטגרליות.
The nonoscillatory properties of the second order half-linear delay difference equations are studied. The comparison theorem and sufficient condition for the nonoscillation are obtained.
נחקרו התכונות הלא מתנודדות של משוואות הבדל עם עיכוב מסדר שני חצי-לינאריות. התקבל משפט ההשוואה ותנאי מספיק ללא תנודתיות.
new minimax inequality theorem is established,which will be used to study theexistence problems of solutions for quasi-variational inequalities on paracompact sets.
נוסח משפט אי-שוויון מינימקס חדש, שיוּשָׁם לִבְחֹן אֶת הַפְּרוּבְלֵמוֹת שֶׁל קֶיַם פִּתְרוֹנוֹת לְאִי-שְׁוִויּוֹנוֹת וַרְיַצְיוֹנָלִיות כְּשֶׁרִית שֶׁלָּם עַל קבוצות פּרַפַּרָקְטוֹמִיּוֹת.
Based on some basic theorems in theory of numbers this program takes advantage of probabilistic algorithm to test a large number for primality.
בהתבסס על כמה משפטים בסיסיים בתורת המספרים, התוכנית הזו מנצלת אלגוריתם הסתברותי כדי לבדוק מספר גדול אם הוא ראשוני.
This approach use tree index and theorem about leaforder region to evaluate semiflexible queries over ontology tree.
גישה זו משתמשת באינדקס עץ ובמשפט על אזור סדר עלים כדי להעריך שאילתות חצי גמישות על פני עץ אונטולוגיה.
In this paper, some general theorems and variational principles of the boundary value problem for two time instants in nonlinear elastodynamics are developed.
במאמר זה, פותחו משפטים כלליים ועקרונות וריאציה של בעיית הערך הגבולי עבור שני רגעים בזמן בדינמיקה אלסטית לא לינארית.
This paper generalizes some properties of coalgebra to π-coalgebra which is defined by Alexis Virelizier. The main result in the paper generalizes fundamental isomorphism theorem to π-coalgebra.
מאמר זה מרחיב תכונות מסוימות של אלגברה ל-π-אלגברה המוגדרת על ידי אלכסיס וירליזיה. התוצאה העיקרית במאמר מרחיבה את משפט האיזומורפיזם הבסיסי ל-π-אלגברה.
By proving properties of demicontinuous function and series with function terms, use methods of finite coveting theorem and its application in proving problems are introduced.
על ידי הוכחת תכונות של פונקציה וחצי רציפה וסדרה עם מונחי פונקציה, מוצגים שיטות של משפט כיסוי סופי ויישומם בהוכחת בעיות.
This paper presents and proves a discriminant theorem which is suited to examine the determinability of the discrete linear system,which shows that an outstanding issue of this field has been solved.
מאמר זה מציג ומוכיח משפט הבחנה המתאים לבחינת הנחישות של מערכת ליניארית נפרדת, המראה שסוגיה בולטת בתחום זה נפתרה.
As an application, some nonexistence theorems of nonconstant stable harmonic maps from a Finsler manifold to a Riemannian manifold are given.
כיישום, ניתנים משפטים מסוימים של אי קיום של פונקציות הרמוניות יציבות לא קבועות ממרחב פינסלר למרחב רימן.
In the practical applications of highly nonnormal matrices, these theorems may be more useful than their generalized eigenvalue special cases and may provide more descriptive information.
ביישומיים המעשיים של מטריצות לא נורמליות מאוד, משפטים אלה עשויים להיות שימושיים יותר ממקרי המיוחד של הערכים העצמיים הכלליים ועשויים לספק מידע תיאורי יותר.
חקור אוצר מילים שמחפשים לעיתים קרובות
רוצה ללמוד אוצר מילים ביעילות רבה יותר? הורד את אפליקציית DictoGo ותהנה מאפשרויות נוספות לשינון ולתרגול אוצר מילים!
הורד את DictoGo עכשיו