sem exemplosEncontrado em 1 dicionário
O Dicionário Russo-Inglês de Ciência da Computação- The present edition has been significantly enriched with terms from such areas as logical device design and modeling, knowledge engineering, production computerization, artificial intelligence systems, computer networks, digital signal processing, parallel and pipeline computations, system analysis, Internet Technology.
- The present edition has been significantly enriched with terms from such areas as logical device design and modeling, knowledge engineering, production computerization, artificial intelligence systems, computer networks, digital signal processing, parallel and pipeline computations, system analysis, Internet Technology.
аксиоматическая теория множеств
axiomatic set theory
Exemplos de textos
Это исчисление можно рассматривать как синтез теории типов и аксиоматической теории множеств.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
Adicionar ao meu dicionário
аксиоматическая теория множеств
axiomatic set theory
Traduções de usuários
Ainda não tem traduções deste texto.
Seja o primeiro a traduzir!