24 Saatte Kargoda |
Siparişleriniz aşağıda belirtilen şartlar dâhilinde, 24 saat içinde ilgili kargo firmasına teslim edilmektedir. Hafta içi saat 17.00'ye kadar verilen siparişlerde geçerlidir. Cumartesi-Pazar ve resmi tatil günlerinde alınan siparişlerde geçerli değildir. Saat 17.00'den sonra verilen; ödemesi veya onayı 17.00'den sonra yapılan siparişler ertesi gün işleme alınır. Sepetteki tüm ürünlerin "24 Saatte Kargoda" taahhütüne sahip olması gerekmektedir. Stoklu ürünlerde, sonradan tespit edilecek ürün kusurları sebebiyle gecikme yaşanabilir. İade veya iptal gibi işlemler sebebiyle düzenlenen siparişlerde geçerli değildir. 24 saat içinde kargo firmasına verilen siparişlerin adrese teslim süresi, kargo firmasına ve teslimat adresine göre değişebilmektedir. Mücbir sebep halleri saklıdır. KitapSeç bu taahhütte değişiklik yapma hakkını saklı tutar. |
Matematiksel Mantık Papatya Bilim |
||
|
||
|
|||
|
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
Kategoriye Ait En Çok Satan Ürünler |
|||||||||||||||||||||||||||||||||||||||||||||
|