en

Infinitary

ru

Übersetzung von "infinitary" ins Russisch

infinitary
Adjektiv
raiting
UK
/ɪnˈfɪnɪtəri/
US
/ɪnˈfɪnɪˌtɛri/
infinitary
more infinitary Komp.
most infinitary Super.
The mathematician presented an infinitary logic system.
Математик представил инфинитарную логическую систему.

Definitionen

infinitary
Adjektiv
raiting
UK
/ɪnˈfɪnɪtəri/
US
/ɪnˈfɪnɪˌtɛri/
Relating to or involving an infinite process or quantity.
The mathematician presented an infinitary proof that required considering an infinite sequence of steps.
In mathematical logic, allowing operations or expressions of infinite length or arity; pertaining to languages, proofs, or formulas that may contain infinitely many symbols.
Infinitary logic extends classical first-order logic by permitting infinitary conjunctions and disjunctions.

Redewendungen und Phrasen

infinitary logic
Infinitary logic is an extension of classical logic.
инфинитарная логика
Инфинитарная логика является расширением классической логики.
infinitary language
An infinitary language allows for infinite conjunctions.
инфинитарный язык
Инфинитарный язык позволяет бесконечные конъюнкции.
infinitary theorem
The infinitary theorem was crucial for the proof.
инфинитарная теорема
Инфинитарная теорема была важной для доказательства.
infinitary calculus
Infinitary calculus deals with infinite sequences.
инфинитарный исчисление
Инфинитарный исчисление имеет дело с бесконечными последовательностями.
infinitary model
They constructed an infinitary model for the hypothesis.
инфинитарная модель
Они построили инфинитарную модель для гипотезы.