Terms containing functional-first

Subject	English	Russian
math.	binary functional calculus of first order	бинарное функциональное исчисление первого порядка (ssn)
math.	functional calculus of first order	исчисление предикатов первого порядка (ssn)
math.	functional calculus of first order	функциональное исчисление первого порядка (ssn)
progr.	functional-first	функционально-императивный (напр., язык программирования Alex_Odeychuk)
progr.	functional-first language	язык функционально-императивного программирования (Microsoft Alex_Odeychuk)
progr.	functional-first programming	функционально-императивное программирование (Alex_Odeychuk)
progr.	functional-first programming language	язык функционально-императивного программирования (Alex_Odeychuk)
progr.	modern functional-first programming language	современный язык функционально-императивного программирования (Alex_Odeychuk)
O&G, sakh.	pipeline functional design of riser will include determination of wall thickness up to and including the first valve upstream of the pig trap or other piping and the functional specification for the pig launcher	выполняемое проектантом трубопровода функциональное проектирование стояка включает определение толщины стенки по первую задвижку после узла СОД включительно или другой трубный узел и функциональные технические требования к узлу СОД (Я не трубник, но здесь ошибка в английском тексте (видимо, это перевод), и должно быть: "...the first valve DOWNSTREAM of the pig LAUNCHER..." KKP89)
progr.	within the functional-first paradigm	в рамках парадигмы функционально-императивного программирования (Alex_Odeychuk)