sin ejemplosSe encuentra en 1 diccionario
El diccionario inglés-ruso de ciencias informáticas- 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
лог.
сукцедент, последующий член (отношения)
Ejemplos de los 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
Añadir a mi diccionario
succedent
сукцедент; последующий член
Traducciones de usuarios
Aún no hay traducciones del este texto.
¡Sé primero de traducirlo!
Expresiones
succedent rule
сукцедентное правило
succedent subformula
сукцедентная подформула