Terms for subject Programming containing высказывание

Russian	English
булево высказывание	Boolean statement (ssn)
высказывание в дизъюнктивной форме	proposition in clausal form (ssn)
высказывание относительно того, как будет выглядеть окружающий мир после выполнения операции	statement of what the world should look like after execution of an operation (ssn)
высказывание относительно того, как должен выглядеть окружающий мир до выполнения операции	statement of how we expect the world to be before we execute an operation (ssn)
высказывания в исчислении предикатов	predicate calculus propositions (ssn)
высказывания и логические связки	statements and connectives (ssn)
высказывания как множества состояний	propositions as sets of states (ssn)
высказывания логического программирования	logic programming propositions (ssn)
высказывания, определяющие взаимодействие между клиентами	prohibiting state constraint (ssn)
высказывания с полным набором скобок	fully parenthesized propositions (ssn)
вычисление высказываний	evaluation of propositions (ssn)
вычисление высказываний в данном состоянии	evaluation of propositions in a state (ssn)
вычисление постоянных высказываний	evaluation of constant propositions (ssn)
декларативное высказывание	declarative statement (ssn)
дизъюнктивная форма высказываний	clausal form propositions (ssn)
дизъюнктивная форма высказывания	clausal form proposition (ssn)
дизъюнктивные формы высказываний	clausal form propositions (ssn)
логические высказывания	logical assertions (ssn)
логическое высказывание	logical sentence (ssn)
логическое высказывание	logical assertion (ssn)
логическое высказывание	logical statement (ssn)
необходимое высказывание	necessary proposition statement (ssn)
общезначимая формула высказываний	valid propositional formula (ssn)
объекты в высказываниях логического программирования	objects in logic programming propositions (ssn)
основное свойство дизъюнктивной формы высказываний	primary characteristics of clausal form propositions (ssn)
относительно простая форма высказываний	relatively simple form of propositions (ssn)
перевод с естественного языка на язык высказываний	transforming english to propositional form (ssn)
полнота в логике высказываний	completeness in propositional logic (ssn)
постоянные высказывания	constant propositions (ssn)
правая часть в дизъюнктивной форме высказывания	right side of a clausal form proposition (ssn)
Правая часть в дизъюнктивной форме высказывания называется антецедентом	the right side of a clausal form proposition is called the antecedent
правильная формула высказываний	well-formed propositional formula (ssn)
примеры дизъюнктивных форм высказываний	examples of clausal form propositions (ssn)
простое высказывание	simple proposition statement (ssn)
противоречивая формула высказываний	inconsistent propositional formula (ssn)
семантическое высказывание	semantic statement (ssn)
случайное высказывание	contingent proposition statement (ssn)
составное высказывание	compound proposition statement (ssn)
условное высказывание	conditional proposition statement (ssn)
условные высказывания	conditional statements (ssn)
форма высказываний	form of propositions (ssn)
формальное высказывание	formal assertion (ssn)
формальные высказывания о типах в программах	formal assertions about the typing of programs (ssn)
формула высказываний	propositional formula (ssn)
эквивалентные высказывания	equivalent statements (ssn)
язык логики высказываний	language of propositional logic (ssn)