-
1 formal
формальний; офіційний; належним чином оформлений; запротокольований; встановлений закономformal admission in answer to a notice to admit facts — формальне визнання факту у відповідь на повідомлення з вимогою визнати факти по справі
formal admission in answer to interrogatories — формальне визнання факту у відповідь на запитання, що міститься у письмовому опитуванні
- formal accusation of a crimeformal qualifications for presidential candidacy — встановлені законом вимоги до кандидата у президенти
- formal acquiescence
- formal address
- formal adjudication
- formal admission
- formal admission at the trial
- formal admission by letter
- formal agreement
- formal amendment
- formal approval
- formal authority
- formal authorization
- formal charge
- formal contract
- formal conviction
- formal decision
- formal declaration
- formal declaration of war
- formal defect
- formal diversion
- formal document
- formal effort
- formal entity
- formal equality
- formal equality at law
- formal error
- formal examination
- formal head of state
- formal justification
- formal law
- formal legislation
- formal means of lawmaking
- formal notification
- formal order
- formal permission
- formal point of view
- formal police action
- formal police powers
- formal power
- formal powers
- formal procedure
- formal process
- formal proof
- formal protest
- formal punitive system
- formal qualifications
- formal registration
- formal relations
- formal reply
- formal request
- formal requirement
- formal requisition
- formal right
- formal service
- formal signature
- formal social security system
- formal source
- formal statement
- formal submission
- formal treaty
- formal trial stage
- formal verdict
- formal vote
- formal warrant -
2 formal punitive system
офіційна (встановлена законом) каральна система ( або система покарань) -
3 formal social security system
English-Ukrainian law dictionary > formal social security system
-
4 language
- advanced Boolean expression language
- advanced continuous simulation language
- application control language
- application data description language
- asynchronous circuit design language
- basic design language for structure
- behavioral description language
- behavioral modeling language
- block diagram language
- block structured language
- computer language
- computer design language
- computer-sensitive language
- context-sensitive matrix language
- continuous system modeling program language
- continuous system simulation language
- control and simulation language
- data асcess system language
- declarative language
- design language
- digital design language
- formal layout description language
- general-purpose language
- geometrical layout description language
- graphics-oriented language
- hardware description language
- hierarchical specification language
- high-level language
- imperative language
- integrated-circuit design language
- linear information processing language
- linkage control language
- logic, timing, sequencing language
- low-level language
- machine-dependent language
- machine-independent language
- modeling language
- modular language
- multilevel-architecture description language
- network description language
- network restructuring language
- nonprocedural language
- operating-system simulation language
- operational control language
- operator-oriented language
- overview language
- parallel context-free array language
- problem-oriented language
- procedural language
- program assembly language
- rational language
- real-time language
- register transfer level language
- self-extending language
- structured design language
- structure description language
- symbolic layout description language
- type 0 1, 2, 3 language
- type 0 language
См. также в других словарях:
Formal system — In formal logic, a formal system (also called a logical system,Audi, Robert (Editor). The Cambridge Dictionary of Philosophy . Second edition, Cambridge University Press, 1999. ISBN 978 0521631365 (hardcover) and ISBN 978 0521637220 (paperback).] … Wikipedia
formal system — In logic, a formal language together with a deductive apparatus by which some well formed formulas can be derived from others. Each formal system has a formal language composed of primitive symbols that figure in certain rules of formation… … Universalium
formal system — noun The grouping of a formal language and a set of inference rules and/or axioms. Syn: logical system, logical calculus, logic … Wiktionary
formal system — (or theory) A theory whose sentences are well formed formulae of a logical calculus, and in which axioms or rules governing particular terms correspond to the principles of the theory being formalized. The theory is said to be couched or framed… … Philosophy dictionary
formal systems — formal system … Philosophy dictionary
Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Formal methods — In computer science and software engineering, formal methods are particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.cite web|author=R. W. Butler|title=What is… … Wikipedia
Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… … Wikipedia
Formal — The term formal has a number of uses, including:General*relating to formality *opposite of informalocial* Formal occasion ** Formal attire worn on such occasions ** Formals are particular meals at some British universities ** In Australian or… … Wikipedia
Formal language — A formal language is a set of words , i.e. finite strings of letters , or symbols . The inventory from which these letters are taken is called the alphabet over which the language is defined. A formal language is often defined by means of a… … Wikipedia