Low quality sentence examples
Аксіома схеми виділення є характерною для системи аксіоматичної теорії множин, яка пов'язана зі звичайною теорією множин ZFC, але зазвичай не з'являється в радикально різних системах альтернативної теорії множин.
The axiom schema of specification is characteristic of systems of axiomatic set theory related to the usual set theory ZFC, but does not usually appear in radically different systems of alternative set theory.Однак, термін«наївна теорія множин» також використовують в деякій літературі, щоб зробити посилання на теорії множин, що вивчались Фреге та Кантором, а не на неформальних колег сучасної аксіоматичної теорії множин.
The term naive set theory is still today also used in some literature to refer to the set theories studied by Frege and Cantor, rather than to the informal counterparts of modern axiomatic set theory.Якщо розглядати, наприклад поле так званих“формальної семантики” програмування“мовах” можна було б зауважити, що це насправді просто синтаксис, виражається через аксіоматичної теорії, або через математичних асоціацій його конструкцій з операцій, що виконуються( зрештою абстрактний) комп'ютер.
If one examines for instance the field of the so-called"formal semantics" of programming"languages" one would notice that it is in fact just syntax, expressed through an axiomatic theory or through mathematical associations of its constructs with operations performed by a(eventually abstract) computer.Таке, в свою чергу, може буде зроблене перетворенням усіх аксіом на явні, як у випадку відомої книги Пола Халмоша«Наївна теорія множин», яка, насправді, є ні чим іншим, як неформальним представленням звичайної аксіоматичної теорії множин Цермело-Френкеля.
It can be done by systematically making explicit all the axioms, as in the case of the well-known book Naive Set Theory by Paul Halmos, which is actually a somewhat(not all that) informal presentation of the usual axiomatic Zermelo- Fraenkel set theory.Для цього, прихильники QST розслідує варіації послідовного упаковки, або заповнюють простір, проблеми(див роботу по Голомб, Дикман і Рен 'ї), у той час як інші намагаються зобразити внутрішню структуру чорних дір, відповідно до правила аксіоматичної системи, як спосіб геометрично представляють цю межу кривизни.
To that end, supporters of qst are investigating variations of the sequential packing, or space-filling, problem(see the work of by Golomb, Dickman, and Rényi), while others are attempting to depict the interior structure of black holes, according to the rules of the axiomatic system, as a way to geometrically represent this limit of curvature.На початку ми вказуємо, що теорема є твердженням, яке може бути продемонстровано тільки в рамках логічної рамки, в той час як з логічної рамкою ми посилаємося на набір аксіом або аксіоматичної системи і процес виведення, що дозволить вивести теореми з аксіом і теорем, які вже були отримані раніше.
At the beginning we indicate that a theorem is a statement that can be demonstrated only within a logical framework, while, with logical framework refers to a set of axioms or axiom system and a process of inference which is which will allow to derive theorems from axioms and theorems that have already been derived previously.Сер Гарольд Джеффріс поклав баєсів алгоритм та лапласове формулювання на аксіоматичну основу.
Sir Harold Jeffreys put Bayes' algorithm and Laplace's formulation on an axiomatic basis.Метод моделей(інтерпретацій) став з тих пір найважливішим методом встановлення відносної несуперечності аксіоматичних теорій.
From that time on, the method of models(interpretations) has become the most important method for establishing the relative consistency of axiomatic theories.Доповідь присвячена аксіоматико-дедуктивній стратегії організації знань у системах електронного навчання для китайської образної медицини.
The paper is devoted to the axiomatic-deductive strategy of knowledge organization in electronic learning systems for Chinese Image Medicine.Третя область науки, на яку зробила вплив творчість Неймана, стала теорія обчислювальних машин і аксіоматична теорія автоматів.
The third area of science, which has influenced creativity Neumann became the theory of computers and the axiomatic theory of automata.Він зробив дві спроби в 1922 та в 1925 побудувати аксіоматичний фундамент теорії множин, який дозволив би уникнути парадоксів.
He made two attempts, in 1922 and 1925, to put set theory into an axiomatic setting that would avoid the paradoxes.Рікер заснував нині основне поле позитивної політичної теорії, в якій введено теорію ігор та аксіоматичний метод теорії соціального вибору до політології.
Riker founded the now-mainstream field of positive political theory, which introduced game theory and the axiomatic method of social choice theory to political science.Багато ранніх теоретиків міжнародного права зосереджували увагу на аксіоматичних істинах, які на їх переконання, лежали в основі природного права.
Many early international legal theorists were concerned with axiomatic truths thought to be reposed in natural law.Зміни форм контрактів теж розглядалися як аксіоматичний факт, а юридичні закони і положення- як привнесені ззовні правила для економічної діяльності.
Observed variations in contract forms in the economic sphere were also regarded as a given fact, and the laws and rules of the legal system were perceived as an externally imposed setting for economic activity.Внутрішня теорія множин(IST)- математична теорія наборів, розвинених Едвардом Нельсоном, яка забезпечує аксіоматичну основу для частини нестандартного аналізу, введеного Абрахамом Робінсоном.
Internal set theory is a mathematical theory of sets developed by Edward Nelson that provides an axiomatic basis for a portion of the non-standard analysis introduced by Abraham Robinson.Уайтхедом тритомна праця«Принципи математики»- праця, що систематизувала і розвинула далі дедуктивно-аксіоматичну побудову Л. в цілях логічного обгрунтування математичного аналізу див.
Whitehead of the three-volume Principia mathematica, a work which systematized and further developed the deductive-axiomatic construction of logic with the purpose of providing a logical foundation of mathematical analysis.Яскравим зразком становлення таких методів є сіллогістіка Аристотеля(384 до н. е.- 322 до н. е.) як підстава класичної дедуктивної логіки і аксіоматичний метод.
A vivid example of the formation of such methods is the syllogism of Aristotle(384 BC- 322 BC) as the basis of classical deductive logic and the axiomatic method.Для більш строго визначити, чи є чи не повністю зареєстровані ці геометричні характеристики для ефектів ми спостерігали, повний математичний формалізм аксіоматичного структури повинні бути завершені- проект.
To more rigorously determine whether or not those geometric characteristics fully account for the effects we have observed, we are working to complete a full mathematical formalism of the axiomatic structure.Стосовно розділів фізики, для яких побудовані аксіоматичні математичні теорії, вирішення проблеми може бути забезпечено введенням додаткових фізичних гіпотез(аксіом адекватності), що фіксують наявність і особливості основоположних фізичних феноменів.
For physical disciplines, for which axiomatic mathematic theories are created the solution of the problem can be provided by the additional physical hypotheses(the adequacy axioms) that fix the presence and the particularities of the base of physical phenomena.дедуктивної науки, створені деякі передумови для її аксіоматичної побудови.
certain prerequisites were created for its axiomatic construction.
