-
1 net
1 noun∎ to fall into the net tomber dans le piège;∎ to slip through the net glisser ou passer à travers les mailles du filet∎ to come (up) to the net (in tennis) monter au filet;∎ to practise in the nets (in cricket) = s'entraîner, un filet entourant les piquets;∎ Football to put the ball in the (back of the) net marquer un but, envoyer la balle au fond des filets(c) (for hair) filet m à cheveux, résille f∎ radio net ensemble m du réseau radiophonique(f) (income, profit, weight) net m;∎ net payable net m à payer∎ the police have netted the gang leaders la police a mis la main sur les chefs de la bande∎ to net the ball (in tennis) envoyer la balle dans le filet;∎ he netted his service (in tennis) son service échoua dans le filet;∎ Football to net a goal marquer un but(d) (fruit tree) recouvrir de filets ou d'un filet∎ we netted over $10,000 nous avons réalisé un bénéfice net de plus de 10 000 dollars;∎ he nets £20,000 a year il gagne 20 000 livres net par an∎ Football Barnes netted from 5 yards out ≃ Barnes a marqué un but (depuis la ligne) des 6 mètres(a) (amount, weight) net;∎ to earn £500 net gagner 500 livres net;∎ terms strictly net sans déduction5 adverb∎ net of tax net d'impôt;∎ net of VAT hors TVA∎ Computing the Net le Net, l'Internet m►► Finance net amount somme f nette, montant m net;Finance net assets actif m net;Finance net asset value valeur f d'actif net;British formerly the Net Book Agreement = accord entre maisons d'édition et libraires stipulant que ces derniers n'ont le droit de vendre aucun ouvrage à un prix inférieur à celui fixé par l'éditeur;Finance net book value valeur f comptable nette;Finance net capital expenditure mise f de fonds nette, dépenses fpl nettes d'investissement;Finance net cash flow cash-flow m net;Finance net change écart m net;net cord judge juge m de filet;Finance net cost prix m de revient;Finance net current assets actif m circulant net;net curtain rideau m (de tulle ou en filet), voilage m;Finance net discounted cash flow cash-flow m actualisé net, flux mpl de trésorerie actualisés nets;Finance net dividend dividende m net;Finance net domestic product produit m intérieur net;Finance net interest income net m financier;Finance net loss perte f nette;Finance net margin marge f nette;Finance net national income revenu m national net;Finance net national product produit m national net;Sport net play jeu m au filet;Finance net operating profit rentabilité f nette d'exploitation;Finance net present value valeur f actuelle nette;Finance net present value rate taux m d'actualisation;Finance net price prix m net;Finance net profit bénéfice m net, net m commercial;Finance net profit margin marge f commerciale nette;Finance net profit ratio ratio m de rentabilité nette, taux m de profit net;Finance net realizable value valeur f réalisable nette;Finance net receipts recettes fpl nettes;Finance net residual value valeur f résiduelle nette;Finance net result résultat m final;Finance net return rendement m net, résultat m net;Finance net salary salaire m net;Finance net tangible assets actif m corporel net;Finance net total montant m net;Finance net variance écart m net;Finance net working capital fonds m de roulement net;Finance net worth situation f nette, valeur f nette
См. также в других словарях:
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Artificial intelligence — AI redirects here. For other uses, see Ai. For other uses, see Artificial intelligence (disambiguation). TOPIO, a humanoid robot, played table tennis at Tokyo International Robot Exhibition (IREX) 2009.[1] Artificial intelligence ( … 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
Occam's razor — For the aerial theatre company, see Ockham s Razor Theatre Company. It is possible to describe the other planets in the solar system as revolving around the Earth, but that explanation is unnecessarily complex compared to the modern consensus… … Wikipedia
Funkalicious — Excuse Me Moses Excuse Me Moses (Wien 2008) Gründung 2000 [1] Genre Crossover, Alternative Rock Websi … Deutsch Wikipedia
Killerfuck — Excuse Me Moses Excuse Me Moses (Wien 2008) Gründung 2000 [1] Genre Crossover, Alternative Rock Websi … Deutsch Wikipedia
Gödel's completeness theorem — is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first order logic. It was first proved by Kurt Gödel in 1929. A first order formula is called logically valid if… … Wikipedia
Definite clause grammar — A definite clause grammar (DCG) is a way of expressing grammar, either for natural or formal languages, in a logic programming language such as Prolog. DCGs are usually associated with Prolog, but similar languages such as Mercury also include… … Wikipedia
Charles Sanders Peirce — B … Wikipedia
List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic … Wikipedia
