без примеровНайдено в 1 словаре
Вычислительная техника и программирование- dicts.lingvocomputer_ru_en.description
- dicts.lingvocomputer_ru_en.description
аксиоматическая теория множеств
axiomatic set theory
Примеры из текстов
Это исчисление можно рассматривать как синтез теории типов и аксиоматической теории множеств.This may be regarded as a synthesis of the theory of types and axiomatic set theory.Карри, Хаскелл Б. / Основания математической логикиCurry, Haskell B. / Foundations of Mathematical LogicFoundations of Mathematical LogicCurry, Haskell B.© 1963 by Haskell B. Curry.© 1977 by Haskell B. Curry.Основания математической логикиКарри, Хаскелл Б.© Издательство «Мир», 1969
Добавить в мой словарь
аксиоматическая теория множеств
axiomatic set theory
Переводы пользователей
Пока нет переводов этого текста.
Будьте первым, кто переведёт его!