プロの翻訳者、企業、ウェブページから自由に利用できる翻訳レポジトリまで。
zermelo began to axiomatize set theory in 1905; in 1908, he published his results despite his failure to prove the consistency of his axiomatic system.
בשנת 1905 החל לעסוק ביצירת בסיס אקסיומטי לתורת הקבוצות, ובשנת 1908 פרסם את התוצאות שאליהן הגיע, חרף כשלונו להוכיח את העקביות של מערכת האקסיומות.
their consistency requirement is the following: the assessment should be a limit point of a sequence of totally mixed strategy profiles and associated sensible beliefs, in the above straightforward sense.
הדרישה שלהם לעקביות היא הבאה: ההערכה צריכה להיות נקודת גבול של רצף של פרופילי אסטרטגיות משולבות לחלוטין ואמונות מורגשות ומקושרות, במובן שלמעלה.
in august 2009 the pci ssc announced the move from version 1.2 to version 1.2.1 for the purpose of making minor corrections designed to create more clarity and consistency among the standards and supporting documents.
באוגוסט 2009, מועצת pci הכריזה על מעבר לגרסה 1.2.1 כדי להטמיע מספר תיקונים קטנים שנועדו ליצור אחידות לרוחב התקן.
the system utility fsck (for "file system consistency check") is a tool for checking the consistency of a file system in unix and unix-like operating systems, such as linux and mac os x.
fsck (ראשי תיבות של: file system check) היא כלי-מערכת לבדיקת תקינות ורציפות של מערכת קבצים במערכות הפעלה ממשפחת unix.