KitapSeç | 9,9 |
Yaklaşık 2 İş Günü |
|
|||||
Satıcı: KitapSeç Satıcı Ünvanı: ADRES7 Elektronik Ticaret ve Bilişim Hizmetleri Anonim Şirketi İletişim: Satıcıların iletişim e-posta adresi kitapsec tarafından kayıt altındadır. |
Bu kitap, Hilbert'in deyimiyle "astronomun bulunduğu noktanın hareketini gözetmesi, fizikçinin aletlerinin kuramını incelemesi ve filozofun aklın kendisini eleştirmesi gibi, matematiğe özgü kanıtları konu edinen" Matematiksel Mantık Kuramı'nın temellerini vermeyi ve matematik tarihinin en sarsıcı çalışmalarından olan Gödel'in teoremlerine ilgi duyanlara bir kaynak sunmayı amaçlamaktadır.
Kitapta, sonraki bölümlerin kolayca izlenmesini sağlamak için önce önermeler mantığı ayrıntılı olarak ele alınmıştır. Sonra birinci dereceden mantık ve birinci dereceden biçimsel kuramlar açıklanmış, Gödel Tamlık Teoremi kanıtlanıp bazı uygulamalarına yer verilmiştir. Modeller Kuramı'nın temel kavram ve teoremlerine ayrılan ve yaban (nonstandard) analize kısaca yer verilen bir bölümün ardından son bölümde Gödel Eksiklik Teoremleri, kanıtın ana fikrinin anlaşılmasına özen gösterilerek önce sezgisel olarak kanıtlanmış, ardından bu teoremlerin matematiksel kanıtları verilmiştir. Kitabın sonunda Gödel Eksiklik Teoremleri'ne iki farklı yaklaşım ele alınmış ve kısaca da olsa ikinci dereceden mantığa değinilmiştir.
-------
İçindekiler
Bölüm 1 ÖN BİLGİLER
1.1 Kümeler Kuramı
Cantor Köşegen Yöntemi
1.2 Abeceler ve Sözcükler
1.3 Tümevarım ve Yineleme
Bölüm 2 ÖNERMELER MANTIĞI
2.1 Anlamsal Önermeler
2.2 Dizimsel (veya Dilbilimsel) Yapı
2.2.1 Önermeler Mantığının Formülleri
2.2.2 Tek Türlü Okunabilirlik
2.2.3 Ayraç Azaltma Uzlaşması
2.2.4 Ön Yazılımda Önermemantıksal Formüller
2.3 Tümevarımsal Kanıtlar ve Yinelgen Tanımlar
2.4 Anlamsal Yapı
2.4.1 Yorumlar-Değerlemeler
2.4.2 Hepdoğrular ve Çelişkiler
2.4.3 Mantıksal Denklik
2.4.4 Yerine Koyma ve Yer Değiştirme
2.4.5 İkililik İlkesi
2.5 Boole Fonksiyonları
2.6 Mantıksal Çıkarımlar
2.6.1 Modeller ve Mantıksal Çıkarımlar
2.6.2 Kompaktlık Teoremi
2.6.3 Kompaktlık Teoremi'nin Uygulamaları
2.7 Frege-Lukasiewicz (FL) Önermeler Mantığı
Bölüm 3 BİRİNCİ DERECEDEN KURAMLAR
3.1 Yapılar
3.1.1 Çok Türlü Yapılar
3.2 Anlamsal Alan Hakkında Bazı Notlar
3.3 Birinci Dereceden Biçimsel Diller
3.4 Fm L'nin Önermemantıksal Yapısı
3.5 L-Yapıları ve Yorumlar
3.5.1 L-Yapıları
3.5.2 Yorumların Anlamsal Özü
3.6 Temel Doğrular
3.7 Mantıksal Çıkarımlar
3.8 Anlamsal Denklik
3.9 Biçimsel Kuramlar
3.10 Bazı Matematiksel Kuramlar
3.11 Temel Biçimsel Teoremler
3.11.1 Bir Başka Yaklaşım
3.12 Biçimsel Denklik
3.13 Yerine Koyma ve Değişken Değiştirme
3.14 Biçimsel Tutarlılık
3.15 Tutucu Kuram Genişletmeleri
3.16 Gödel Tamlık Teoremi
3.17 Gödel Tamlık Teoremi'nin Basit Sonuçları
3.18 Tanımsal Dil Zenginleştirme
3.19 Biçimsel Kuramların Birbirlerinde Yorumu
Bölüm 4 MODELLER KURAMINA GİRİŞ
4.1 Altyapılar ve Yapı Dönüşümleri
4.1.1 Benzeşmeler
4.2 Basit Denklik ve Basit Altyapılar
4.2.1 Diyagramlar
4.2.2 Açık veya Evrensel Kuramlar
4.3 Arakesitler, Birleşimler ve Zincirler
4.4 Aksiyomlaştırma, Tamlık ve Kesinlik
4.4.1 Aksiyomlaştırma
4.4.2 Tamlık ve Kesinlik
4.5 Yaban Aritmetik
4.6 Yaban Analiz
4.6.1 R*'ın Kurulumu
4.6.2 R*'ın Cebirsel Yapısı
4.6.3 R*'da Limit
Bölüm 5 GÖDEL EKSİKLİK TEOREMLERİ
5.1 Gödel Teoremlerine Giden Yol
5.2 Algoritmalar
5.3 Belirlenebilirlik ve Hesaplanabilirlik
5.4 Bir Sezgisel Deneme
5.5 Aritmetik Silsile
5.6 Gödel Teoremlerine Sezgisel Yaklaşım
5.7 Gödel Eksiklik Teoremleri
5.8 Yinelgen Fonksiyonlar
5.9 Yinelgen Fonksiyonlara Farklı Bir Yaklaşım
5.10 Basit Yinelgen Kodlama
Tam Yineleme
5.11 (Basit) Yinelgen Kısmi Fonksiyonlar
Hesaplamaların Kodlanması
5.12 Yarı Yinelgen Bağıntılar
5.13 Kayıt Makinaları
5.14 Aritmetikleştirme
5.15 Temsil Edilebilirlik
5.16 İki Farklı Yaklaşım
5.17 İkinci Dereceden Yüklem Mantığı
5.18 Nedir, Ne Değildir?
İmler Dizini
Kaynakça
1 |
![]() |
Diferansiyel Denklemler Nobel Yayınları |
308.00 TL
278.00 TL
| 230 adet Satıldı |
2 |
![]() |
Matematik Tarihi ve Felsefesi Pegem Yayınları |
284.00 TL
255.60 TL
| 159 adet Satıldı |
3 |
![]() |
İstatistikten Nefret Edenler İçin İstatistik Pegem Yayınları |
296.00 TL
266.40 TL
| 142 adet Satıldı |
4 |
![]() |
Genel Matematik Nobel Yayınları |
504.00 TL
454.00 TL
| 134 adet Satıldı |
5 |
![]() |
Matematik Cilt 1 Nobel Yayınevi |
448.00 TL
404.00 TL
| 125 adet Satıldı |
6 |
![]() |
Soyut Matematik Palme Yayınevi |
593.00 TL
| 70 adet Satıldı |
7 |
![]() |
Geometri ve Öğretimi Pegem Yayınları |
240.00 TL
216.00 TL
| 70 adet Satıldı |
8 |
![]() |
Matematik Eğitiminde Matematiksel Modelleme Pegem Yayınları |
228.00 TL
205.20 TL
| 63 adet Satıldı |
9 |
![]() |
Matematik Cilt: 2 Nobel Yayınları |
399.00 TL
359.10 TL
| 57 adet Satıldı |
10 |
![]() |
Lineer Cebir Pegem Yayınları |
380.00 TL
342.00 TL
| 48 adet Satıldı |