Struktur (logika matematika)

Artikel ini sudah memiliki referensi, tetapi tidak disertai kutipan yang cukup. Anda dapat membantu mengembangkan artikel ini dengan menambahkan lebih banyak kutipan pada teks artikel. (Desember 2020) (Pelajari cara dan kapan saatnya untuk menghapus pesan templat ini)

Dalam aljabar universal dan dalam teori model, struktur terdiri dari himpunan bersama dengan kumpulan operasi finiter dan relasi yang ditentukan di atasnya.

Struktur studi aljabar universal yang menggeneralisasi struktur aljabar seperti grup, gelanggang, bidang dan ruang vektor. Istilah aljabar universal digunakan untuk struktur tanpa simbol relasi.^[1]

Teori model memiliki cakupan berbeda yang mencakup teori yang lebih sewenang-wenang, termasuk struktur dasar seperti model teori himpunan. Dari sudut pandang model-teori, struktur adalah objek yang digunakan untuk mendefinisikan semantik logika urutan pertama. Untuk teori tertentu dalam teori model, struktur disebut model 'jika memenuhi aksioma yang menentukan teori itu, meskipun kadang-kadang disamarkan sebagai model semantik ketika seseorang membahas gagasan dalam pengaturan yang lebih umum dari model matematika. Ahli logika terkadang menyebut struktur sebagai interpretasi.^[2]

Dalam teori database, struktur tanpa fungsi dipelajari sebagai model database relasional, dalam bentuk model relasional.

1. ^ Beberapa penulis merujuk pada struktur sebagai "aljabar" ketika menggeneralisasi aljabar universal untuk memungkinkan relasi serta fungsi.
2. ^ Hodges, Wilfrid (2009). "Functional Modelling and Mathematical Models". Dalam Meijers, Anthonie. Philosophy of technology and engineering sciences. Handbook of the Philosophy of Science. 9. Elsevier. ISBN 978-0-444-51667-1.