Russian ⇄ French

А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я   <<  >>

Terms for subject Logic (355 entries)

прямое правило	règle direct
пустая формула	formule nulle
равнообъёмный	coextensif
разделительное суждение	jugement disjonctif
разрешающая процедура	procédure de la résolution
разрешимость	décidabilité
разрешимый	décidable
расширенное исчисление	calcul étendu
рекурсивное уравнение	équation de la récursion
рекурсивность	récursibilité
релейная функция	fonction de relais
рефлексивный	réflexif
самодостаточность	autosuffisance
самодостаточный	autosuffisant
самодостаточный	consistant
сведение	réduction
свободный терм	terme libre
сводимость в категории	catégoricité
связанный терм	terme connecté
связывание	colligation