Đặt câu với từ "proof theory"
1. Algebra and proof theory have traditionally developed in parallel, non-intersecting ways.
Jusqu'ici, l'algèbre et la théorie de la preuve se sont développés séparément.
2. The relationship found between algebra and proof theory was then used for a thorough mathematical analysis of fuzzy logic rules.
Ils ont alors utilisé les relations trouvées entre l'algèbre et la théorie de la preuve pour conduire une analyse mathématique approfondie des règles de la logique floue.
3. Through the close connections with computer science, algebraic proof theory is expected to contribute to research areas outside traditional mathematics.
Grâce à ses relations étroites avec l'informatique, la théorie de la preuve algébrique devrait contribuer aux recherches au-delà des mathématiques classiques.
4. Acid-proof and alkali-proof plastic containers
Récipients en matières plastiques résistants aux acides et aux saumures
5. Concrete proof
Une preuve solide
6. Acid-proof greases
Graisses de protection contre les acides
7. Sound-proof paint
Peinture insonorisante
8. Radiation-proof paint
Peinture anti-rayonnements
9. It was noted that our seminar was living proof that the so-called « clash of civilisations » theory is a totally wrong and inappropriate concept; an absurd theory whose roots were probably to be found in times of economic hardship
Référence a été faite à la théorie du « choc des civilisations », dont notre séminaire a démontré qu' elle était complètement erronée et inopportune, théorie absurde puisant probablement ses racines dans les difficultés économiques
10. Number theory, field theory, algebraic geometry, algebra, group theory
Théorie des nombres, théorie des champs, géométrie algébrique, algèbre, théorie des groupes
11. Acid proof clothing
Vêtements résistant aux acides
12. Acid-proof solutions
Solutions de protection contre les acides
13. Acid-proof coatings
Revêtements de protection contre les acides
14. Cold-proof gloves
Gants résistant au froid
15. Acid proof gloves
Gants résistants à l'acide
16. Anti-static proof tile
Tuile antistatique
17. Acid-proof chemical compositions
Compositions chimiques résistant aux acides
18. Static-electricity proof tile
Carreau à l’épreuve de l’électricité statique
19. Fire-proof cement coating
Enduit de ciment ignifuge
20. Ask for concrete proof.
Demander des preuves concrètes.
21. I need concrete proof.
J'ai besoin de preuves concrètes.
22. When discussing photography, one can no longer invoke the notion of proof, let alone concrete proof.
En parlant de photographie, impossible aujourd’hui d’évoquer la notion de preuve et, a fortiori, de preuve concrète.
23. · Steel-toed, chemical-proof boots.
· Bottes à bout d’acier résistantes aux produits chimiques.
24. Rust-proof preparations in coatings
Produits antirouille intégrés dans un enduit
25. Tamper proof air bag door
Porte pour air-bag protegee contre les manipulations
26. I need concrete proof soon
J' ai besoin de preuves solides... et vite
27. Proof of Head Tax payment Acceptable documents or information required for proof of Head Tax payment
Preuve de paiement de la taxe d’entrée Liste des documents jugés acceptables comme preuve de paiement de la taxe d’entrée L’un ou l’autre des documents suivants :
28. Explosion-proof acoustic signal transmitters, in particular explosion-proof horns, alarm clocks, loudspeakers, signal generators and sirens
Sirènes acoustiques protégées contre les exploisions, en particulier cornets avertisseurs, réveils, haut-parleurs, émetteurs et sirènes protégés contre les explosions
29. Re= yield strength in N/mm2, or 0,2 % proof strength or, for austenitic steels, 1 % proof strength;
Re= limite d'élasticité apparente en N/mm2, ou limite d'élasticité garantie à 0,2 % d'allongement, ou encore dans le cas des aciers austénitiques, à 1 % d'allongement;
30. Acids and acid-proof chemical compositions
Acides et compositions chimiques résistant aux acides
31. While in France, he adapted methods of scheme theory and category theory to the theory of modular forms.
En France, il a adapté les méthodes de la géométrie algébrique et de la théorie des catégories aux formes modulaires.
32. • Keep heat-proof gloves near your appliance.
• Gardez des gants isolants près de votre appareil.
33. acid-resistant, acid-proof overalls or apron;
des salopettes ou tabliers résistants aux acides;
34. God bless the idiot-proof Air Force.
Merci aux débiles de la US Air Force.
35. He works in algebraic geometry, representation theory, and number theory.
Il travaille dans les domaines de la géométrie algébrique, la théorie des représentations, et la théorie des nombres.
36. acid-resistant, acid-proof overalls or apron
des salopettes ou tabliers résistants aux acides
37. Marczewski's main fields of interest were measure theory, descriptive set theory, general topology, probability theory and universal algebra.
Les principaux pôles d'intérêts de Marczewski sont la théorie de la mesure, la théorie descriptive des ensembles, la topologie, la théorie des probabilités et l'algèbre universelle.
38. Weil was motivated by the need for a rigorous theory of correspondences on algebraic curves in positive characteristic, which he used in his proof of the Riemann hypothesis for curves over a finite field.
Weil a été poussé à donner une théorie rigoureuse des correspondances sur les courbes algébriques de caractéristique positive, qu'il a utilisé dans sa démonstration de l'hypothèse de Riemann pour les courbes sur des corps finis.
39. Construction method of static-electricity proof tile
Méthode de fabrication de dalles de plancher antistatiques
40. I will get concrete proof for you.
Je vais obtenir des preuves.
41. Bacteria-proof resorbable implant coating for orthopaedics
Un enrobage prosthétique résorbable et imperméable aux bactéries pour l'orthopédie
42. Pads for furniture with water-proof coatings
Rembourrages pour les meubles à revêtement imperméable
43. Do you have any proof?Concrete facts?
Avez- vous des preuves, un fait concret?
44. Acid-proof coatings with a wax base
Revêtements de protection à base de cire
45. Materials being paints for damp proof treatment
Matériaux en tant que peintures pour traitement contre l'humidité
46. Concrete proof was needed to support those assertions
Des preuves concrètes sont requises pour étayer ces affirmations
47. He worked especially in the theory of Abelian groups and ring theory.
Il a particulièrement étudié la théorie des groupes abéliens et la théorie des anneaux.
48. Papers over the next few years covered areas such as group theory, field theory, Lie rings, semigroups, Abelian groups and ring theory.
Ses articles des années suivantes couvraient des domaines tels que la théorie des groupes, des corps, des anneaux de Lie, des demi-groupes, des groupes abéliens et des anneaux.
49. proof of return travel if travelling by air
billet aller-retour en cas de voyage en avion
50. Advice of delivery services and proof of delivery
Conseils et preuve de services de livraison
51. Graphitized cathode block having an abrasion-proof surface
Bloc cathodique au graphite, pourvu d'une surface résistante à l'abrasion
52. j) Accounting theory formulation
j) Formulation de la théorie comptable
53. acid-proof, acid-resistant boots or safety shoes; and
des bottes ou chaussures résistants aux acides, et
54. In March 2016, Wiles was awarded the Norwegian government's Abel prize worth €600,000 for "his stunning proof of Fermat’s Last Theorem by way of the modularity conjecture for semistable elliptic curves, opening a new era in number theory."
En mars 2016, il reçoit le prix Abel « pour sa démonstration stupéfiante du dernier théorème de Fermat en utilisant la conjecture de modularité pour les courbes elliptiques semi-stables, ouvrant une ère nouvelle en théorie des nombres ».
55. The same objects can be studied using methods from algebraic geometry, module theory, analytic number theory, differential geometry, operator theory, algebraic combinatorics and topology.
Les mêmes objets peuvent être étudiés en utilisant des méthodes de géométrie algébrique, de théorie des modules, de théorie analytique des nombres, de géométrie différentielle, de théorie des opérateurs (en) et de topologie.
56. Relationships were established with previous work in classical field theory, algebroid theory and differential geometry.
Les mathématiciens ont établi des relations avec de précédents travaux en théorie des champs classique, en théorie algébroïde et en géométrie différentielle.
57. Samples are sealed in air- and moisture-proof containers.
Les échantillons doivent être scellés dans des contenants hermétiques et humidifuges.
58. Stainless steels and other rust-proof, acid-resistant steels
Métaux précieux et autres métaux résistant à l'oxydation et aux acides
59. acid-proof, acid-resistant boots or safety shoes, and
des bottes ou chaussures résistants aux acides, et
60. (e) acid-proof, acid-resistant boots or safety shoes, and
e) des bottes ou chaussures résistants aux acides, et
61. (e) acid-proof, acid-resistant boots or safety shoes; and
e) des bottes ou chaussures résistants aux acides, et
62. "A" and "B" class fire proof windows and side scuttles
Fenêtres et hublots antifeu des types «A» et «B»
63. Abrasion-proof filtration membrane and method of producing said membrane
Membrane de filtration résistante à l'abrasion et procédé de fabrication de cette membrane
64. That's an abstract theory, mathematical.
Simple théorie abstraite, mathématique.
65. Algebraic Theory of Numbers rept.
(Théorie algébrique des nombres.
66. general accounting theory and principles;
théorie et principes de comptabilité générale;
67. graffiti-proof paint for walls, train carriages and other objects
vernis antigraffitis pour les murs, wagons de chemin de fer et autres objets
68. graffiti-proof paint for walls, train carriages and other objects.
vernis antigraffitis pour les murs, wagons de chemin de fer et autres objets.
69. Theory: Algorithmic, language theory (automaton/compilation), operating system, database, networks, computer architecture, geometrical algorithmic, image processing.
Connaissances théoriques : Algorithmique, théorie des langages/compilation, système d'exploitation, logique (CAML), base de données relationnelles et objet, programmation orientée objet, optimisation combinatoire, réseaux, génie logiciel, algorithmique géométrique, infographie, multimédia.
70. Schröder also made original contributions to algebra, set theory, lattice theory, ordered sets and ordinal numbers.
Schröder a également apporté des contributions originales à l'algèbre, à la théorie des ensembles et à la théorie des ensembles ordonnés comme les treillis ou les nombres ordinaux.
71. This new tool, formulated in terms of homotopy theory, proved to be successful in formulating and solving problems in algebra, particularly in ring theory and module theory.
Ce nouvel , formulé en termes d'homotopie, a montré son efficacité dans la formulation et la résolution de problèmes majeurs en algèbre, en particulier en théorie des anneaux et théorie des modules.
72. A substantially leak-proof metal-air cell is also disclosed.
Un élément métal-air pratiquement étanche contre les fuites est également décrit.
73. The Nuera air 50 central vacuum system is proof positive.
Le système central d'aspiration Nuera air 50 en est la démonstration pure et simple.
74. In addition to the inclusion of research lines in Number Theory, Group Theory and Combinatorics in 2011.
S'y ajoutent des recherches en théorie des nombres, en théorie des groupes et en combinatoire en 2011.
75. The rough subdivision of number theory into its modern subfields—in particular, analytic and algebraic number theory.
La subdivision primitive de la théorie des nombres en ses sous-domaines modernes, en particulier la théorie analytique et algébrique des nombres.
76. In the prime of life, they are almost "wolf-proof".
Des études de terrain révèlent que presque tous les orignaux, wapitis ou chevreuils que les loups tuent ont moins de deux ans ou plus de sept.
77. Method for production of an acid proof, seemless pressure vessel
Procédé de production d'une cuve sous pression sans soudure, résistant aux acides
78. Written proof of disposal of contaminated soils will be required.
Le promoteur doit présenter une preuve écrite pour attester qu'il s'est débarrassé du sol contaminé.
79. "Today is proof positive of Air Force transformation and renewal.
« Aujourd'hui, la transformation et le renouvellement de la Force aérienne ne peuvent plus faire de doute.
80. - the 1,0 % proof strength of austenitic steel and non-alloyed aluminium,
- la limite conventionnelle d'élasticité à 1,0 % pour l'acier austénitique et l'aluminium non allié,