-
1 application
A n1 ( request) ( for job) candidature f (for à) ; (for membership, admission, passport, loan, promotion, transfer) demande f (for de) ; ( for shares) souscription f (for de) ; to make an application for a job ou a job application poser sa candidature à un poste ; to make an application for a university place faire une demande d'inscription à une université ; university application dossier m d'inscription ; a letter of application une lettre de candidature ; to fill out a job/passport application remplir un formulaire de candidature/de demande de passeport ; on application sur demande ;2 ( spreading) application f (to à) ; one application is sufficient une (seule) couche suffit ; for external application only réservé à l'usage externe ;3 ( positioning) ( of sticker) apposition f ; ( of decorations) disposition f ; (of beads, sequins) application f ;4 ( implementation) (of law, penalty, rule) application f ; (of logic, theory, training) application f ; to put one's training into application mettre sa formation en pratique ;5 ( use) application f ; to have military applications avoir des applications militaires ; the application of computers to l'application de l'ordinateur à ;6 Comput application f ;
См. также в других словарях:
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
Second-order logic — In logic and mathematics second order logic is an extension of first order logic, which itself is an extension of propositional logic.[1] Second order logic is in turn extended by higher order logic and type theory. First order logic uses only… … Wikipedia
Higher-order logic — In mathematics, higher order logic is distinguished from first order logic in a number of ways.One of these is the type of variables appearing in quantifications; in first order logic, roughly speaking, it is forbidden to quantify over predicates … Wikipedia
Zeroth-order logic — is a term for a quantifier free fragment of first order logic.A finitely axiomatizable zeroth order logic is isomorphic to a propositional logic. Zeroth order logic can transcend the power of propositional logic if axiom schemata are allowed. An… … Wikipedia
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
Logic (disambiguation) — Logic is the study of the principles and criteria of valid inference and demonstration.Logic may also refer to:In logic and mathematics*A branch of logic: **Inductive logic, also called induction or inductive reasoning **Informal logic, the study … Wikipedia
Logic in computer science — describes topics where logic is applied to computer science and artificial intelligence. These include:*Investigations into logic that are guided by applications in computer science. For example: Combinatory logic and Abstract interpretation;… … Wikipedia
Logic form — Logic forms are simple, first order logic knowledge representations of natural language sentences formed by the conjunction of concept predicates related through shared arguments. Each noun, verb, adjective, adverb, pronoun, preposition and… … Wikipedia
first-order logic — noun A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse. Syn: FOL … Wiktionary
first-order logic — The study of inference in first order languages … Philosophy dictionary
higher-order logic — One in which the variables of the quantifiers are permitted to range over properties and functions as well as individuals (see also first order language ) … Philosophy dictionary