- complétude
- fполнота, законченность; лог. полнота системы, предложений, аксиом
Большой французско-русский и русско-французский словарь. 2003.
complétude
Смотреть что такое "complétude" в других словарях:
complétude — [ kɔ̃pletyd ] n. f. • 1928; de complet, d apr. incomplétude ♦ Didact. Caractère de ce qui est complet, achevé. (1969) Épistém. Caractère d un système hypothéticodéductif qui ne contient pas de propositions indécidables. ● complétude nom féminin… … Encyclopédie Universelle
Completude — Complétude Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom … Wikipédia en Français
completude — s. f. Qualidade do que é ou está completo. ‣ Etimologia: completo + ude … Dicionário da Língua Portuguesa
Complétude — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Complétude », sur le Wiktionnaire (dictionnaire universel) On parle de complétude en mathématiques… … Wikipédia en Français
Complétude (mathématiques) — Complétude Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom … Wikipédia en Français
complétude absolue — visiškasis baigtumas statusas T sritis radioelektronika atitikmenys: angl. absolute completeness vok. absolute Vollständigkeit, f rus. абсолютная завершённость, f pranc. complétude absolue, f … Radioelektronikos terminų žodynas
complétude fonctionnelle — funkcinis baigtumas statusas T sritis radioelektronika atitikmenys: angl. functional completeness vok. funktionnelle Vollständigkeit, f rus. функциональная завершённость, f pranc. complétude fonctionnelle, f … Radioelektronikos terminų žodynas
Theoreme de completude de Godel — Théorème de complétude de Gödel Le théorème de complétude du calcul des prédicats du premier ordre a été démontré par Kurt Gödel (1929, thèse de doctorat, sur la complétude du calcul logique). Il affirme que le calcul des prédicats est complet au … Wikipédia en Français
Théorème de complétude — de Gödel Le théorème de complétude du calcul des prédicats du premier ordre a été démontré par Kurt Gödel (1929, thèse de doctorat, sur la complétude du calcul logique). Il affirme que le calcul des prédicats est complet au sens où toute… … Wikipédia en Français
Théorème de complétude de gödel — Le théorème de complétude du calcul des prédicats du premier ordre a été démontré par Kurt Gödel (1929, thèse de doctorat, sur la complétude du calcul logique). Il affirme que le calcul des prédicats est complet au sens où toute proposition qui… … Wikipédia en Français
Théorème de complétude de Gödel — Le théorème de complétude du calcul des prédicats du premier ordre a été démontré par Kurt Gödel (1929, thèse de doctorat, sur la complétude du calcul logique). Il affirme que le calcul des prédicats du premier ordre est complet au sens où toute… … Wikipédia en Français
