"cas récursif" meaning in Français

{
  "antonyms": [
    {
      "word": "cas de base"
    }
  ],
  "categories": [
    {
      "kind": "other",
      "name": "Compositions en français",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Locutions nominales en français",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Traductions en anglais",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Français",
      "orig": "français",
      "parents": [],
      "source": "w"
    }
  ],
  "etymology_texts": [
    "Composé de cas et de récursif."
  ],
  "forms": [
    {
      "form": "cas récursifs",
      "tags": [
        "plural"
      ]
    }
  ],
  "lang": "Français",
  "lang_code": "fr",
  "pos": "noun",
  "pos_title": "Locution nominale",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "Exemples en français",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Lexique en français de l’informatique",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Lexique en français des mathématiques",
          "parents": [],
          "source": "w"
        }
      ],
      "examples": [
        {
          "ref": "Induction et récursion, defeo.lu",
          "text": "Il existe plusieurs formes équivalentes du principe d’induction. La plus commune, aussi appelée induction faible ou simple, procède en deux étapes :\n-Un cas de base (aussi appelé initialisation), où on démontre le prédicat \\(P(0)\\) ;\n-Un cas récursif (ou hérédité, ou pas inductif), où on démontre le prédicat \\(P(n)\\Rightarrow P(n+1)\\)."
        },
        {
          "ref": "editions-ellipses.fr/PDF/9782340038554_extrait.pdf",
          "text": "Une fonction est toujours constituée de plusieurs cas, parmi lesquels on distingue des cas de base et des cas récursifs du calcul. Les cas récursifs sont ceux qui renvoient à la fonction en train d'être définie."
        }
      ],
      "glosses": [
        "Partie récursive d'une définition ou d'un algorithme, utilisée ou exécutée en dehors du cas de base."
      ],
      "id": "fr-cas_récursif-fr-noun-RiAF0-7d",
      "topics": [
        "computing",
        "mathematics"
      ]
    }
  ],
  "tags": [
    "masculine"
  ],
  "translations": [
    {
      "lang": "Anglais",
      "lang_code": "en",
      "word": "recursive case"
    }
  ],
  "word": "cas récursif"
}

{
  "antonyms": [
    {
      "word": "cas de base"
    }
  ],
  "categories": [
    "Compositions en français",
    "Locutions nominales en français",
    "Traductions en anglais",
    "français"
  ],
  "etymology_texts": [
    "Composé de cas et de récursif."
  ],
  "forms": [
    {
      "form": "cas récursifs",
      "tags": [
        "plural"
      ]
    }
  ],
  "lang": "Français",
  "lang_code": "fr",
  "pos": "noun",
  "pos_title": "Locution nominale",
  "senses": [
    {
      "categories": [
        "Exemples en français",
        "Lexique en français de l’informatique",
        "Lexique en français des mathématiques"
      ],
      "examples": [
        {
          "ref": "Induction et récursion, defeo.lu",
          "text": "Il existe plusieurs formes équivalentes du principe d’induction. La plus commune, aussi appelée induction faible ou simple, procède en deux étapes :\n-Un cas de base (aussi appelé initialisation), où on démontre le prédicat \\(P(0)\\) ;\n-Un cas récursif (ou hérédité, ou pas inductif), où on démontre le prédicat \\(P(n)\\Rightarrow P(n+1)\\)."
        },
        {
          "ref": "editions-ellipses.fr/PDF/9782340038554_extrait.pdf",
          "text": "Une fonction est toujours constituée de plusieurs cas, parmi lesquels on distingue des cas de base et des cas récursifs du calcul. Les cas récursifs sont ceux qui renvoient à la fonction en train d'être définie."
        }
      ],
      "glosses": [
        "Partie récursive d'une définition ou d'un algorithme, utilisée ou exécutée en dehors du cas de base."
      ],
      "topics": [
        "computing",
        "mathematics"
      ]
    }
  ],
  "tags": [
    "masculine"
  ],
  "translations": [
    {
      "lang": "Anglais",
      "lang_code": "en",
      "word": "recursive case"
    }
  ],
  "word": "cas récursif"
}