Model (matematik mantiq)

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

ManbalarTahrirlash

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