Birinci mertebeden formül kümelerinin bağımsızlığı üzerine

Basit Öğe Kaydı
dc.contributor.advisorÖner, Tahsin
dc.contributor.authorŞentürk, İbrahim
dc.date.accessioned2019-03-15T12:41:17Z
dc.date.available2019-03-15T12:41:17Z
dc.date.issued2012
dc.departmentEge Üniversitesi, Fen Bilimleri Enstitüsüen_US
dc.description.abstractBu tezde, birinci mertebeden yapıların sintaks ve semantiği incelenerek matematiksel yapılardaki formüllerin bağımsızlığı üzerine bazı sonuçlara ulaşılmıştır. Aynı zamanda bu çalışma esnasında günümüze uygun gösterim ve anlayışla, sade ve farklı kardinaliteleri devreye sokmadan bağımsızlık konusunu açıklığa kavuşturma amacı güdülmüştür. Özellikle tezin dördüncü ve beşinci bölümlerinde ele alınan özgün çalışmalarla, önermeler lojiğinin sayılabilir formül kümelerinin bağımsızlığı ve genel olarak birinci mertebedeki formüllerin bağımsızlıkları üzerine ortaya konan sonuçlarla tezin ana gövdesi oluşturulmuştur.en_US
dc.identifier.urihttps://hdl.handle.net/11454/7193
dc.language.isotren_US
dc.publisherEge Üniversitesien_US
dc.relation.publicationcategoryTezen_US
dc.rightsinfo:eu-repo/semantics/openAccessen_US
dc.subjectSayılabilirlik, bağımsızlık, tutarlılık, formüllerin aksiyomatize edilebilirliği, formüllerin bağımsızlığı.en_US
dc.subjectDenumerability, independency, consistincy, axiomatization of the formulas, independency of the formulas.en_US
dc.subjectMatematik A.B.D.en_US
dc.titleBirinci mertebeden formül kümelerinin bağımsızlığı üzerineen_US
dc.typeMaster Thesisen_US

Dosyalar

Orijinal paket
Listeleniyor 1 - 1 / 1
Küçük Resim
İsim:
ibrahimsenturk2012.pdf
Boyut:
824.17 KB
Biçim:
Adobe Portable Document Format
İndir
Lisans paketi
Listeleniyor 1 - 1 / 1
Küçük Resim Yok
İsim:
license.txt
Boyut:
1.71 KB
Biçim:
Item-specific license agreed upon to submission
Açıklama:
İndir

Koleksiyon

Fen Bilimleri Enstitüsü Tez Koleksiyonu