部分實數解

部分實數解

部分實數解(partial real solutio n)實數解集的子集.設T是一組公式,其變元為x 2 ... k f…,x,.實數構成的k元組(CC1 ,C2, .. Ck)稱為T的部分實數解,如果它可以擴展為T的實數解(ci,c2,…,‘*,…,‘,,).

基本介紹

  • 中文名:部分實數解
  • 類型:術語

相關詞條

熱門詞條

聯絡我們