From professional translators, enterprises, web pages and freely available translation repositories.
"finite-dimensional vector spaces".
(finite-dimensional vector spaces)*1950.
Last Update: 2016-03-03
Usage Frequency: 2
Quality:
Warning: Contains invisible HTML formatting
finite scales of spatial representation in the hippocampus.
finite scales of spatial representation in the hippocampus.
Last Update: 2016-03-03
Usage Frequency: 2
Quality:
oil is a finite supply and supplies will eventually run dry.
נפט נמצא בכמות מוגבלת ובסופו של דבר מקורותיו יתייבשו.
Last Update: 2014-02-01
Usage Frequency: 1
Quality:
it is a computer implementation of the mathematical concept of a finite set.
מימוש של קבוצה הוא למעשה ייצוג ממוחשב של קבוצה מתמטית סופית.
Last Update: 2016-03-03
Usage Frequency: 2
Quality:
in set theory, an infinite set is a set that is not a finite set.
קבוצה אינסופית היא קבוצה שמספר איבריה אינו סופי, כלומר קבוצה שאינה קבוצה סופית.
Last Update: 2016-03-03
Usage Frequency: 2
Quality:
based on this, he considered using the values of to get finite results.
כך כל חישוב בתורה זו יוצא סופי וניתן לטיפול על ידי מחשב.
Last Update: 2016-03-03
Usage Frequency: 2
Quality:
theorem: the set of all finite subsets of the natural numbers is countable.
בניסוח אחר, קבוצת כל הסדרות הסופיות של מספרים טבעיים היא בת מנייה.
Last Update: 2016-03-03
Usage Frequency: 2
Quality:
if the number of solutions is finite, there are algorithms to compute the solutions.
כאשר המקדמים formula_6 של הפולינום הם מספרים רציונליים, הפתרון נקרא מספר אלגברי.
Last Update: 2016-03-03
Usage Frequency: 2
Quality:
the treaise paved the way for the theory of function fields over a finite field of constants.
החיבור סלל את הדרך לתאוריה של שדות פונקציות מעל שדה סופי של קבועים.
Last Update: 2016-03-03
Usage Frequency: 2
Quality:
the cardinality of a finite set is a natural number: the number of elements in the set.
העוצמות הסופיות הן המספרים הטבעיים (כולל אפס), והן מתאימות למונח האינטואיטיבי של מספר האיברים בקבוצה.
Last Update: 2016-03-03
Usage Frequency: 2
Quality:
a formative result in this area shows that almost every pair of elements in a finite simple group generate the group.
אחת התוצאות שהתחילו תחום זה מראה שכמעט כל זוג איברים בחבורה פשוטה סופית יוצרים את החבורה.
Last Update: 2016-03-03
Usage Frequency: 2
Quality:
an infinite set is a set with an infinite number of elements, while a finite set is a set with a finite number of elements.
* קבוצה שמספר איבריה אינו סופי היא קבוצה אינסופית.
Last Update: 2016-03-03
Usage Frequency: 2
Quality:
==definition==formally, a simple function is a finite linear combination of indicator functions of measurable sets.
פונקציה פשוטה מעל מרחב מידה formula_1 היא צירוף לינארי סופי של פונקציות מציינות.
Last Update: 2016-03-03
Usage Frequency: 2
Quality:
he believed that the universe, while not infinite, could not be held as finite as it lacked any bounds within which it could be contained.
הוא האמין שהיקום, אף על פי שאינו אינסופי, חסר גבולות שבהם ניתן להכילו.
Last Update: 2016-03-03
Usage Frequency: 2
Quality:
the original three 1964 papers showed that when a gauge theory is combined with an additional field that spontaneously breaks the symmetry, the gauge bosons can consistently acquire a finite mass.
מאמרים הראו כי כאשר תאוריית הכיול משולבת עם שדה נוסף אשר באופן ספונטני שובר את הסימטריה, בוזונים יכולים באופן עקבי לרכוש מסה סופית.
Last Update: 2016-03-03
Usage Frequency: 2
Quality:
cassini had observed the moons of jupiter between 1666 and 1668, and discovered discrepancies in his measurements that, at first, he attributed to light having a finite speed.
קאסיני צפה בירחיו של צדק בין השנים 1666 ו-1668, ומצא אי-התאמות במדידות שלו, שהובילו למסקנה שלאור יש מהירות סופית.
Last Update: 2016-03-03
Usage Frequency: 2
Quality:
the alphabet of a formal language is the set of symbols, letters, or tokens from which the strings of the language may be formed; frequently it is required to be finite.
במתמטיקה, לוגיקה ומדעי המחשב, שפה פורמלית היא קבוצה כלשהי של רצפים סופיים של סימנים מקבוצה סופית formula_1, המכונה "האלפבית של השפה".
Last Update: 2016-03-03
Usage Frequency: 2
Quality:
Warning: Contains invisible HTML formatting
in computability theory, a set of natural numbers is called recursive, computable or decidable if there is an algorithm which terminates after a finite amount of time and correctly decides whether or not a given number belongs to the set.
בחישוביות, קבוצה בת מנייה נקראת רקורסיבית או כריעה אם ניתן לבנות אלגוריתם המסתיים לאחר מספר סופי של צעדים הקובע האם איבר מסוים שייך לקבוצה או לא.
Last Update: 2016-03-03
Usage Frequency: 2
Quality:
this measure is not "σ"-finite, because every set with finite measure contains only finitely many points, and it would take uncountably many such sets to cover the entire real line.
אז מידה זו אינה סיגמא-סופית, כי כל קבוצה ממידה סופית מכילה רק מספר סופי של נקודות ולכן יידרש מספר לא בן מניה של קבוצות כאלה כדי לכסות את כל הישר הממשי.
Last Update: 2016-03-03
Usage Frequency: 2
Quality:
Warning: Contains invisible HTML formatting
the theory of finite groups is the set of first-order statements in the language of groups that are true in all finite groups (there are plenty of infinite models of this theory).
דוגמה חשובה אחרת, אולי החשובה ביותר, היא זו של תורת הקבוצות האקסיומטית: בשפה יש רק יחס בינארי אחד (formula_8) ששמו 'שייכות', ומספר לא גדול של סכימות לגזירת אקסיומות.
Last Update: 2016-03-03
Usage Frequency: 2
Quality: