What is the translation of " SET THEORY " in Ukrainian?

• теорія множин
• теорії множин
• теорію множин

Examples of using Set theory in English and their translations into Ukrainian

Paul Halmos, Naive set theory.
Paul Halmos, Наївна теорія множин.

In set theory, a dichotomous relation R is such that either aRb, bRa, but not both.
У теорії множин, дихотомне відношення R є таким, що або aRb. або bRa, але не і те і те одночасно[1].

Grounded in Morse- Kelley set theory.
Заснована в Морса-Келлі теорії множин.

The set theory New Foundations can be finitely axiomatized, but only with some loss of elegance.
Теорія множин Нові Основи може бути скінченно аксіоматизована, але тільки з деякою втратою елегантності.

It is also used in set theory and statistics.
Вона також використовується у теорії множин і статистиці.

Mathematical logic and foundations, including set theory.
Математична логіка і основи, включаючи теорію множин.

In set theory, this multiplication principle is often taken to be the definition of the product of cardinal numbers.
В теорія множин, цей принцип множення часто визначається як продукт продукту кардинальних чисел.

Suppose the set M is a transitive model of ZFC set theory.
Нехай безліч M є транзитивною моделлю з ZFC теорії множин.

Naïve set theory is the original set theory developed by mathematicians at the end of the 19th century.
Наївна теорія множин це перша теорія множин, розроблена математиками наприкінці XIX століття.

Mizar is an example of a proof system that only supports set theory.
Mizar[en] є прикладом системи для доказів, яка використовує тільки теорію множин.

Axiomatic set theory was originally devised to rid set theory of such paradoxes.[note 1].
Аксіоматична теорія множин була початково розроблена, щоб позбутися таких парадоксів в теорії множин.[5].

Resolved paradox is called the Banach-Tarski and plays an important role in mathematical set theory.
Вирішене парадокс називається теоремою Банаха-Тарського і грає величезну роль в математичній теорії множин.

Russell's Paradox has shown us that naive set theory, based on an unrestricted comprehension scheme, is contradictory.
Парадокс Рассела показав, що наївна теорія множин, що базується на аксіомній схемі необмеженого розуміння, є суперечливою.

In these areas, recursion theory overlaps with proof theory and effective descriptive set theory.
У цих областях, теорія рекурсій перетинається з теорією доведень та ефективно дескриптивною теорією множин.

He made two attempts, in 1922 and 1925, to put set theory into an axiomatic setting that would avoid the paradoxes.
Він зробив дві спроби в 1922 та в 1925 побудувати аксіоматичний фундамент теорії множин, який дозволив би уникнути парадоксів.

The set theory lies in basis of the most of the mathematical disciplines, it has deeply influenced on the understanding of the subject of mathematics.
Теорія множин лежить в основі більшості математичних дисциплін; вона зробила глибокий вплив на розуміння предмета самої математики.

He is best known as the creator of set theory, which has become a foundational theory in mathematics.
Найбільше його знають як одного з основоположників теорії множин, яка стала однією з основних теорій сучасної математики.

Once set theory became the universal basis over which the whole mathematics is built, the term of locus became rather old-fashioned.
Як тільки теорія множин стала універсальним фундаментом, на якому була збудована ціла математика, термін геометричного місця точок став досить старомодним.

The isomorphism of the relational database system with a mathematical relation allows it to exploit many useful techniques and theorems from set theory.
Ізоморфізм реляційної бази даних системи з математичним зв'язком дозволяє використовувати безліч корисних методів і теорем з теорії множин.

In set theory, predicates are understood to be characteristic functions or set indicator functions, i.e. functions from a set element to a truth value.
В теорії множин предикати розуміються як характерні функції або задають функції індикатора, тобто функції від заданого елемента до значення істини.

In addition, PLT makes use of many other branches of mathematics, including computability theory, category theory, and set theory.
Крім того, PLT використовує багатьо інших областей математики, включаючи теорію обчислюваності, теорію категорій і теорію множин.

His doctoral dissertation was on complex analysis, but he also worked on logic, set theory, geometry, number theory, and combinatorics.
Його докторська дисертація була присвячена комплексному аналізу, однак він також працював в області логіки, теорії множин, геометрії, теорії чисел і комбінаторики.

Morse- Kelley set theory admits proper classes as basic objects, like NBG, but also allows quantification over all proper classes in its set existence axioms.
Теорія множин Морса-Келлі(МК) допускає власні класи як основні об'єкти, як НБГ, але і дозволяє обрахунок над усіма класами в аксіомі існування множин..

However, not all theories have relations, or are founded on set theory, and so one must be careful with the proper definition and semantic interpretation of a predicate.
Однак не всі теорії мають відношення або засновані на теорії множин, тому потрібно бути обережним з правильним визначенням і семантичної інтерпретацією предиката.

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.
Внутрішня теорія множин(IST)- математична теорія наборів, розвинених Едвардом Нельсоном, яка забезпечує аксіоматичну основу для частини нестандартного аналізу, введеного Абрахамом Робінсоном.

Together with model theory, axiomatic set theory, and recursion theory, proof theory is one of the so-called four pillars of the foundations of mathematics.
Разом з теорією моделей, аксіоматичною теорією множин та теорією обчислень, теорія доказів є одним з так званих«чотирьох стовпів» основ математики.