Terms for subject Programming containing branching logic

English	Russian
branching logic	логика условного перехода (ssn)
branching logic	условная логика (ssn)
branching-time logic	логика ветвящегося времени (ssn)