French | Russian |
algèbre des classes | алгебра классов |
algèbre des propositions | пропозициональная алгебра |
arithmétique de Hilbert | арифметика Гильберта |
avec la rigueur de la logique | со строгой логикой (Le Figaro, 2018 Alex_Odeychuk) |
avec la rigueur de la logique | строго логично (Le Figaro, 2018 Alex_Odeychuk) |
axiome de complètement | аксиома полноты |
axiome de réductibilité | аксиома сводимости |
calcul des propositions | пропозициональное исчисление |
calcul des propositions intuitionistique | интуиционистское пропозициональное исчисление |
carte de Karnaugh | карта Карно |
carte de Karnaugh-Veitch | карта Карно - Вейтча |
c'est sans doute très important pour y passer, y passer autant de temps | это, вероятно, очень важно, чтобы идти туда так долго (Alex_Odeychuk) |
classe d'éléments de mêmes propriétés | класс элементов множества с одинаковыми свойствами |
classe de consistance | непротиворечивый класс |
contrôle de validité | контроль справедливости |
contrôle de validité | контроль истинности |
degré de l'insolubilité | степень неразрешимости |
diagramme de Veitch | диаграмма Вейтча |
diagramme de Venn | диаграмма Венна |
fonction de relais | релейная функция |
forme de prédiction | предварённая форма |
formule de congruence | конгруэнтная формула |
hiérarchie des catégories | иерархия категорий |
loi de contraposition | закон контрапозиции |
loi de développement | закон развёртывания |
méthode des résidus | метод остатков |
permettre de caractériser la notion | позволить определить содержание понятия (de ... (сущ. в ед.ч. без неопред. артикля) - ... такого-то | содержание понятия — совокупность существенных и отличительных признаков предмета, качества или множества однородных предметов, отражённых в этом понятии, поскольку с точки зрения логики всякое понятие имеет содержание и объём Alex_Odeychuk) |
principe de dualité | принцип дуальности |
problème de continuum | проблема континуума |
problème de la décision | проблема разрешимости |
procédure de la résolution | разрешающая процедура |
règle de dualité | правило двойственности |
réduction des termes redondants | удаление лишних членов |
réduction des termes redondants | приведение лишних членов |
réduction des termes superflus | удаление лишних членов |
réduction des termes superflus | приведение лишних членов |
schéma de démonstration | схема доказательства |
servir de preuves aux assertions | служить доказательствами утверждений (financial-engineer) |
table de vérité | истинностная таблица |
table de vérité | таблица истинности |
théorie axiomatique des ensembles | аксиоматическая теория множеств |
théorie de types | теория типов |
valeur de vérité | значение истинности |
valeur de vérité | истинное значение |
valeur de vérité | истинностное значение |
à partir de là | из этого следует, что (Vous prétendez que l’homme n’est pas libre; à partir de là, nos actions ne seraient ni bonnes, ni mauvaises. Alex_Odeychuk) |
à partir de là | из этого вытекает, что (Vous prétendez que l’homme n’est pas libre; à partir de là, nos actions ne seraient ni bonnes, ni mauvaises. Alex_Odeychuk) |
à partir de là | отсюда следует, что (Vous prétendez que l’homme n’est pas libre; à partir de là, nos actions ne seraient ni bonnes, ni mauvaises. Alex_Odeychuk) |
élément de coïncidence | элемент совпадения |
élément de non-équivalence | элемент неравнозначности |
élément de non-équivalence | элемент отрицания эквивалентности |
éléments de connaissance | элементы познания (понятие, суждение) |
équation de la récursion | рекурсивное уравнение |