Susilowati, Rahayu (1999) Perluasan teori perluasan. Undergraduate thesis, FMIPA Undip.
![[img]](/style/images/fileicons/application_pdf.png)
| PDF 15Kb | |
| PDF 313Kb | |
| PDF 208Kb | |
| PDF 245Kb | |
| PDF 786Kb | |
| PDF Restricted to Repository staff only 694Kb | |
| PDF 215Kb | |
| PDF Restricted to Repository staff only 1733Kb |
Abstract
ABSTRAK Salah satu model teori dengan kesamaan adalah Teori Pasangan, yaitu selain didefinisikan dengan aksioma-aksioma kesamaan tetapi juga aksioma-aksioma khusus. Vocabulary teori ini adalah simbol predikat kesamaan = , simbol-simbol predikat unary dan simbol fungsi biner. Perluasan Teori Pasangan dilakukan dengan menambahkan aksioma-aksioma yang didefinisikan dengan fungsi first dan second. Selanjutnya dengan kekonsistenan kedua fungsi ini, sifat dekomposisi dapat digunakan untuk membentuk pasangan.
| Item Type: | Thesis (Undergraduate) |
|---|---|
| Subjects: | Q Science > QA Mathematics |
| Divisions: | Faculty of Science and Mathematics > Department of Mathematics |
| ID Code: | 31663 |
| Deposited By: | Mr UPT Perpus 2 |
| Deposited On: | 24 Nov 2011 08:41 |
| Last Modified: | 24 Nov 2011 08:41 |
Repository Staff Only: item control page
