Results for codom translation from English to French

Human contributions

From professional translators, enterprises, web pages and freely available translation repositories.

Add a translation

English

French

Info

English

urine conducting codom

French

préservatif d'évacuation d'urine

Last Update: 2014-11-25
Usage Frequency: 3
Quality:

Warning: Contains invisible HTML formatting

English

a record is a function r with a finite domain and codomain from Σ* to Σ*, or the set of character strings r:Σ*→Σ* let us use the notations dom(r) and codom(r), respectively, for the domain of r and the codomain of r. example 1 (record) let us consider the record r of a log file: date=02:27:2000, operation=connection, machine=papillon, result=success, subject=machine we then have: dom(r)={date, operation, machine, result, subject} where dom(r) is the domain and codom is the codomain codom(r)={02:27:2000, connection, papillon, success, machine}, and r:Σ*→Σ* date→02:27:2000 operation→connection machine→papillon result→success subject→machine a log file is therefore a (finite) set of records r 1 , . . . , r |n| .

French

un enregistrement (record) est une fonction r de domaine et codomaine finis de Σ* vers Σ*, où l'ensemble des chaínes de caractères r : Σ* → Σ*. notons respectivement dom(r) et codom(r) pour le domaine de r et le codomaine de r . exemple 1 (record) considérons l'enregistrement r d'un fichier de logs : date = 27 : 02 : 2000, operation = connection, machine = papillon, resultat = succès, sujet = machin on aura alors : dom ( r ) = {date, operation, machine, resultat, sujet]} où dom ( r ) est le domaine et codom le codomaine codom(r) = {27 : 02 : 2000, connection, papillon, succes, machin} et r : Σ*→ Σ* date→ 27 : 02 : 2000 opération→ connection machine→ papillon resultat→ succes sujet→ machin. un fichier de logs est donc une suite (finie) d'enregistrements r 1 , ..., r |n| .

Last Update: 2014-12-03
Usage Frequency: 1
Quality:

Get a better translation with
9,144,545,950 human contributions

Users are now asking for help:



We use cookies to enhance your experience. By continuing to visit this site you agree to our use of cookies. Learn more. OK