Teori model

Dalam matematika, teori model adalah studi tentang hubungan antara teori formal (kumpulan kalimat dalam bahasa formal mengungkapkan pernyataan tentang struktur matematika), dan modelnya, diambil sebagai interpretasi yang memenuhi kalimat teori tersebut.[1]

  1. ^ Chang and Keisler, p. 1

From Wikipedia, the free encyclopedia · View on Wikipedia

Developed by Nelliwinne