sem exemplosEncontrado em 1 dicionário
O Dicionário Inglês-Russo 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.
succedent
лог.
сукцедент, последующий член (отношения)
Exemplos de textos
The order of listing the formulas within any antecedent and within any succedent is to be immaterial in applying the rules.Для применения правил порядок перечисления формул в антецеденте и сукцеденте считается несущественным.Kleene, Stephen Cole / Mathematical LogicКлини, С.К. / Математическая логикаМатематическая логикаКлини, С.К.© Перевод на русский язык «Мир», 1973Mathematical LogicKleene, Stephen Cole© 1967 by Stephen Cole Kleene
Adicionar ao meu dicionário
succedent
сукцедент; последующий член
Traduções de usuários
Ainda não tem traduções deste texto.
Seja o primeiro a traduzir!
Frases
succedent rule
сукцедентное правило
succedent subformula
сукцедентная подформула