Model (matematik mantiq)

Vikipediya, ochiq ensiklopediya
Navigatsiya qismiga oʻtish Qidirish qismiga oʻtish

Matematik mantiqda model — muayyan aksiomalar sistemasining modelli obyektlari boʻlib, xossalari va ular oʻrtasidagi munosabatlar muayyan aksiomalarni qanoatlantiradi.[1]

Manbalar[tahrir | manbasini tahrirlash]

  1. OʻzME. Birinchi jild. Toshkent, 2000-yil