« Circonscription » : différence entre les versions


(Page créée avec « == Domaine == category:Vocabulaire Catégorie:Termium Catégorie:Intelligence artificielle Catégorie:scotty <br> == Définition == Règle conjecturale... »)
Balise : Éditeur de wikicode 2017
 
m (Remplacement de texte : « ↵↵==Sources== » par «  ==Sources== »)
 
(20 versions intermédiaires par 2 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
== Domaine ==
==Définition==
[[category:Vocabulaire]]
Règle conjecturale qui permet de sauter aux conclusions au moyen de schémas axiomatiques particuliers. A savoir, les objets dont on peut démontrer qu'ils possèdent une certaine propriété P en raisonnant à partir de certains faits A sont tous les objets qui satisfont P. Plus généralement, la circonscription peut être utilisée pour conjecturer que les tuples <x, y ..., z> on peut montrer que pour satisfaire une relation P (x, y, ..., z), tous les tuples satisfaisant cette relation.
[[Catégorie:Termium]]
[[Catégorie:Intelligence artificielle]]
 
[[Catégorie:scotty]]
<br>
 
== Définition ==
Règle conjecturale [...] qui permet de sauter aux conclusions au moyen de schémas axiomatiques particuliers.
 
 
 
== Français ==
'''circonscription'''


==Français==
'''circonscription'''   


== Anglais ==
==Anglais==
'''circumscription'''
'''circumscription'''
==Sources==




[https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-fra.html?lang=fra&i=1&srchtxt=CIRCONSCRIPTION&index=alt&codom2nd_wet=1#resultrecs Source : TERMIUM Plus] 


Intelligence artificielle / Elaine Rich ; traduit de l'anglais par David Guedj. --
Intelligence artificielle / Elaine Rich ; traduit de l'anglais par David Guedj. -- Rich, Elaine.  Paris : Masson, 1987.


Rich, Elaine.
viii, 439 p.;Traduction de : Artificial intelligence.;Comprend des index.;Bibliogr. : p. (416)-430.;ISBN 2225807736. / viii, 439 p.;Traduction de : Artificial intelligence;Comprend des index.;Bibliogr. : p. (416)-430.;ISBN 2225807736. * 1987


Paris : Masson, 1987.


viii, 439 p.;Traduction de : Artificial intelligence.;Comprend des index.;Bibliogr. : p. (416)-430.;ISBN 2225807736. / viii, 439 p.;Traduction de : Artificial intelligence;Comprend des index.;Bibliogr. : p. (416)-430.;ISBN 2225807736. * 1987
[[Catégorie:Intelligence artificielle]]
 
[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
[https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-fra.html?lang=fra&i=1&srchtxt=CIRCONSCRIPTION&index=alt&codom2nd_wet=1#resultrecs Source : TERMIUM Plus  ]

Dernière version du 30 août 2024 à 17:58

Définition

Règle conjecturale qui permet de sauter aux conclusions au moyen de schémas axiomatiques particuliers. A savoir, les objets dont on peut démontrer qu'ils possèdent une certaine propriété P en raisonnant à partir de certains faits A sont tous les objets qui satisfont P. Plus généralement, la circonscription peut être utilisée pour conjecturer que les tuples <x, y ..., z> on peut montrer que pour satisfaire une relation P (x, y, ..., z), tous les tuples satisfaisant cette relation.

Français

circonscription

Anglais

circumscription

Sources

Source : TERMIUM Plus

Intelligence artificielle / Elaine Rich ; traduit de l'anglais par David Guedj. -- Rich, Elaine. Paris : Masson, 1987.

viii, 439 p.;Traduction de : Artificial intelligence.;Comprend des index.;Bibliogr. : p. (416)-430.;ISBN 2225807736. / viii, 439 p.;Traduction de : Artificial intelligence;Comprend des index.;Bibliogr. : p. (416)-430.;ISBN 2225807736. * 1987

Contributeurs: Jacques Barolet, wiki