1. In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables.

Enlogique mathématique, la logique algébrique est le raisonnement obtenu en manipulant des équations avec des variables libres.

2. In mathematical logic, algebraic semantics is a formal semantics based on algebras studied as part of algebraic logic.

En logique mathématique, la sémantique algébrique est une sémantique formelle basé sur les algèbres étudiés dans le cadre de la logique algébrique.

3. Jech's research also includes mathematical logic, algebra, analysis, topology and measure theory.

Les travaux de Jech concernent également la logique mathématique, l'algèbre, l'analyse, la topologie et la théorie de la mesure.

4. De Morgan algebras are important for the study of the mathematical aspects of fuzzy logic.

Les algèbres de De Morgan sont importantes pour l'étude des aspects mathématiques de la logique floue.

5. In mathematical logic, Tarski's high school algebra problem was a question posed by Alfred Tarski.

En logique mathématique, le problème d'algèbre de lycée de Tarski est une question posée par Alfred Tarski.

6. In universal algebra and mathematical logic, a term algebra is a freely generated algebraic structure over a given signature.

En logique mathématique, l'algèbre des termes est la structure algébrique libre sur une signature,.

7. 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.

8. Growth in the many branches of mathematical logic reflects different schools of thought and various applications in algebra, analysis and geometry.

Le développement des nombreuses branches de la logique mathématique reflète différentes écoles de pensée et applications en algèbre, analyse et géométrie.

9. Adaptive level binary logic

Logique binaire a niveau adaptatif

10. That's an abstract theory, mathematical.

Simple théorie abstraite, mathématique.

11. A programmable logic device is adapted to predict carry values in long-chain-carry logic configurations.

Selon un mode de réalisation préféré, le dispositif s'applique aux configurations à logique de report pour chaîne longue.

12. Scalable code absolute logic function (scalf) encoder

Codeur a fonction logique absolue de code evolutif (scalf)

13. Fully depleted silicon-on-insulator cmos logic

Logique cmos silicium sur isolant entierement appauvrie

14. Spoilage detection using electromagnetic signal and mathematical modeling

Détection d'une détérioration à l'aide d'un signal électromagnétique et d'une modélisation mathématique

15. The processor elements are implemented as CMOS/neuron MOS threshold value logic elements or CMOS/NMOS pass transistor logic elements.

Les éléments processeurs sont réalisés sous la forme d'éléments de logique de valeur de seuil CMOS/neurone-MOS ou d'élément de logique transistor de passage CMOS/à canal MOS-N.

16. Each tier of the 3DIC has memory cells as well as access logic including global block control logic therein.

Chaque étage du 3DIC a des cellules de mémoire ainsi qu'une logique d'accès comprenant une logique de commande de bloc globale dans cette dernière.

17. The same technology with photochromic supramolecules was applied in advanced logic operations, giving rise to a very sophisticated molecular logic platform.

La même technologie avec les supramolécules photochromiques a été appliquée dans des opérations de logique avancées, donnant naissance à une plateforme de logique moléculaire très sophistiquée.

18. Mathematical classification of algebraic structures using random walks theory

Une cClassification mathématique des structures algébriques à l'aide de la théorie des marches aléatoires

19. Implantable medical device incorporating adiabatic clock-powered logic

Dispositif medical implantable comprenant une logique adiabatique commandee par horloge

20. Ecl and ttl to cmos logic converter

Convertisseur de logiques ecl et ttl en logique cmos

21. Demodulator logic unit adaptable to multiple data protocols

Unite logique de demodulateur adaptable aux protocoles a donnees multiples

22. Algebraic logic treats algebraic structures, often bounded lattices, as models (interpretations) of certain logics, making logic a branch of the order theory.

La logique algébrique traite les structures algébriques, et les treillis comme modèles (interprétations) de certaines logiques.

23. Large multi-input CMOS logic gates may be formed by a sequence of alternating CMOS NAND and NOR logic gates.

D'après l'invention, on peut créer des portes logiques CMOS importantes à entrées multiples par l'intermédiaire d'une séquence de portes logiques alternées NON ET et NON OU de CMOS.

24. Boole's work founded the discipline of algebraic logic.

Le travail de Boole a fondé la discipline de la logique algébrique.

25. Temperature compensated cmos to ecl logic level translator

Traducteur thermocompense de signaux de niveaux logiques cmos a ecl

26. Ecl level/cmos level logic signal interfacing device

Dispositif d'interfaçage de signaux logiques du niveau ecl au niveau cmos

27. systems documentation (program logic, management control framework, accountability relationships).

documentation des systèmes (logique du programme, cadre de contrôle de gestion, rapports de responsabilité).

28. • systems documentation (program logic, management control framework, accountability relationships).

• documentation des systèmes (logique du programme, cadre de contrôle de gestion, rapports de responsabilité).

29. High voltage cmos logic using low voltage cmos process

Logique cmos haute tension utilisant un procede cmos basse tension

30. In the preferred embodiment, CMOS logic circuitry is utilized.

Dans le mode de réalisation préféré, des circuits logiques du type MOS complémentaire sont utilisés.

31. Logic circuit, address decoder circuit, and semiconductor storage device

Circuit logique, circuit décodeur d'adresse et dispositif de stockage semi-conducteur

32. But there's no logic to the algebra of love.

L'algèbre de l'amour n'a pas de logique.

33. The concept of a parallel universe is a mathematical abstraction.

CHARMEUR Le concept d'un univers parallèle est une abstraction mathématique.

34. Cache address strobe control logic for simulated bus cycle initiation

Logique stroboscopique de declenchement de cycles simules de commande de bus

35. The asynchronous pipeline may also incorporate clocked CMOS logic gates.

Le pipeline asynchrone peut également comprendre des grilles logiques CMOS synchronisées.

36. High speed ratioed cmos logic structures for a pulsed input

Structures logiques cmos haute vitesse a transistors mis en rapport pour une entree impulsionnelle

37. Method and apparatus for implementing an adiabatic logic family

Procede et dispositif servant a mettre en application une famille logique adiabatique

38. Various logic gates may be constructed using U-CMOS transistors.

Diverses portes logiques peuvent être construites à l'aide de transistors U-CMOS.

39. Well, that's just faulty logic postulated on imperfect data collection.

Logique erronée qui part du principe d'un recueil de données imparfait.

40. Such initiatives in turn improve the accuracy of the mathematical models.

A leur tour, ces expériences accroissent l'exactitude des modèles mathématiques.

41. The drivers are preferably complementary polar driven CMOS logic elements.

Ces pilotes sont de préférence des logiques CMOS à pilotage polaire complémentaire.

42. Turing's oracle machines are mathematical abstractions, and are not physically realizable.

Ce texte de Turing mit en évidence le fait que les machines oracles étaient seulement des abstractions mathématiques et ne pouvaient être physiquement réalisées.

43. In semesters 1-5 a number of mathematical disciplines are taught: calculus, analytic geometry, higher algebra, complex analysis, equations of mathematical physics, probability and statistics, and numerical methods.

Dans les semestres 1-5, assez de disciplines mathématiques sont enseignées: calcul, géométrie analytique, algèbre supérieure, analyse complexe, équations de physique mathématique, probabilité et statistiques, méthodes numériques.

44. Design of custom mathematical and statistical algorithms and procedures for data analysis

Conception d'algorithmes et procédures mathématiques et statistiques personnalisés pour analyse de données

45. Exceptions could be made for rewriting functions or contributing new logic.

Des exceptions sont toutefois permises lors de la réécriture complète de fonctions ou la contribution de nouvelles approches.

46. Results and Outcomes by Activity Area] [RMAF, NAESI Logic Model]

[CGRR, modèle logique de l'INAN]

47. He also wrote texts on Lie groups, abstract algebra and mathematical analysis.

Il a aussi écrit des livres sur les groupes de Lie, l'algèbre et l'analyse mathématique.

48. A4 Tammy - Awarded an additional 4 points due to a mathematical error.

Ca4 Tammy - 4 points de plus pour rectifier une erreur mathématique.

49. The description, the claims and the abstract may contain chemical or mathematical formulae.

La description, les revendications et l'abrégé peuvent contenir des formules chimiques ou mathématiques.

50. Naturally, mathematical procedures, programming languages and algorithms cannot be subject to such protection.

Bien évidemment, les procédures mathématiques, les langages de programmation et les algorithmes ne peuvent être soumis à une telle protection.

51. Drafting tables and machines and other drawing, marking-out or mathematical calculating instruments

Tables à dessin et autres instruments de dessin, traçage ou calcul

52. The character keys are separated into alphabets, numerals, mathematical operators, punctuations and symbols.

Les touches de caractères sont séparées en alphabet, chiffres, opérateurs mathématiques, ponctuation et symboles.

53. · However, the chaining of series destroys, for purely mathematical reasons, the accounting equations.

- en contrepartie, le chaînage des séries détruit, pour des raisons purement mathématiques, les équations comptables.

54. The mathematical model shall be validated in comparison with the actual test conditions.

Le modèle mathématique est validé par comparaison avec les conditions d’essai réelles.

55. The adjacency matrix can be based on fuzzy logic and updated periodically.

Ladite matrice de contiguïté, qui peut se baser sur une logique floue, est mise à jour périodiquement.

56. Methods, apparatus, instructions and logic to provide vector address conflict detection functionality

Procédé, appareil, instructions et logique permettant d'obtenir une fonctionnalité de détection vectorielle de conflit d'adresse

57. An electronic device is presented for performing at least one logic function.

L'invention concerne un dispositif électronique destiné à la mise en oeuvre d'au moins une fonction logique.

58. Integration of non-volatile charge trap memory devices and logic cmos devices

Intégration de dispositifs à mémoires non-volatiles à piégeage de charge et dispositifs logiques cmos

59. Dynamically adding application logic and protocol adapters to a programmable network element

Ajout dynamique d'une logique d'application et d'adaptateurs de protocole a un element de reseau programmable

60. Hardware acceleration system for logic simulation using shift register as local cache

Systeme d'acceleration de materiel pour simulation logique utilisant un registre a decalage comme memoire cache locale

61. • The logic model defined the linkages between PFRA activities and expected outcomes.

• Le modèle logique définit les liens entre les activités de l'ARAP et les conséquences escomptées.

62. This is a list of topics around Boolean algebra and propositional logic.

Voici une liste de sujets autour de l'algèbre booléenne et la logique propositionnelle.

63. However, the chaining of series destroys, for purely mathematical reasons, the accounting equations

en contrepartie, le chaînage des séries détruit, pour des raisons purement mathématiques, les équations comptables

64. ‘Braking signal’: logic signal indicating brake activation as specified in paragraph 5.2.1.30.

par «signal de freinage», un signal logique indiquant l’actionnement du freinage comme indiqué au paragraphe 5.2.1.30.

65. Non-volatile memory in cmos logic process and method of operation thereof

Mémoire non volatile en logique cmos et méthode d'utilisation de celle-ci

66. mock-ups or visualizations of abstract concepts such as molecular structures or mathematical formulae

maquettes ou modèles visuels réduits de concepts abstraits tels que structures moléculaires ou formules mathématiques

67. He preferred the perfection of these mathematical abstractions to the imperfections of everyday life.

Il préfère la perfection de ces abstractions mathématiques... aux imperfections de la vie de tous les jours.

68. (b) The description, the claims and the abstract may contain chemical or mathematical formulae.

11.7 Numérotation des feuilles a) Toutes les feuilles contenues dans la demande internationale doivent être numérotées consécutivement, en chiffres arabes. b) Les numéros doivent être placés en milieu de ligne, en haut ou en bas de la feuille, mais pas dans la marge.

69. The logic is impeccable and with advances in technology, widespread implementation looks feasible.

Néanmoins, cela nécessitera à la longue de profonds ajustements sociaux, en particulier en termes d'emplois dans l'industrie automobile et chez ses fournisseurs ainsi qu'au niveau des distributeurs et de leur chaîne d'approvisionnement et exigera le financement d'une nouvelle génération d'investissements en infrastructures pour que les transports en commun puissent constituer une alternative au véhicule privé.

70. Electronic device and method for implementing logic functions and for guiding charged particles

Dispositif électronique et procédé pour la mise en œuvre de fonctions logiques et pour le guidage de particules chargées

71. In algebraic logic: Variables are tacitly universally quantified over some universe of discourse.

En logique algébrique: Les variables sont tacitement universellement quantifiées sur un univers du discours.

72. Computation within a processing element is performed by processor logic blocks (PLB) (150).

Le calcul à l'intérieur d'un élément de traitement s'effectue par des blocs logiques de traitement (PLB) (150).

73. There is absolutely no basis in the text, or logic, for Canada’s argument.

Le Canada prétend par ailleurs qu'"un groupe de branches de production" est pareillement circonscrit aux différents membres qui fabriquent des produits similaires.

74. The RFID logic block includes a transceiver, a memory and a processor.

Le bloc logique RFID comprend un émetteur-récepteur, une mémoire et un processeur.

75. Such a mediation brought together algebra and logic for the first time.

Une médiation marquée par un premier rapprochement entre algèbre et logique.

76. Digital logic correction circuit for a pipeline analog to digital (a/d) converter

Circuit de correction logique numerique pour convertisseur pipeline analogique numerique

77. They are tyrants who execute not simple mindedly, but with their own logic.

Ils sont sournois, rusés, et agissent selon leur logique de monstre.

78. Mock-ups or visualisations of abstract concepts such as molecular structures or mathematical formulae

Maquettes ou modèles visuels réduits de concepts abstraits tels que structures moléculaires ou formules mathématiques

79. The configuration policy contains business logic used to aggregate messages into a batch.

Les règles de configuration contiennent une logique de gestion utilisée pour regrouper des messages en un lot.

80. The control logic (170) is adapted to receive a first coding gain parameter.

La logique de commande (170) est conçue pour recevoir un premier paramètre de gain de codage.