Sepete Ekle
Tüm Kategoriler
Tüm Kategoriler
2019 KPSS Kitapları
Akademik
Aksesuar
Bilgisayar
Bilim - Mühendislik
Biyoloji
Çevre Yer Bilimleri
Çocuk Kitapları
Edebiyat
Eğitim
Ekonomi
Felsefe
Genel Konular
Gezi ve Rehber Kitapları
Hobi
Hukuk
İnanç Kitapları - Mitolojiler
İnsan ve Toplum
İslam
Müzik
Periyodik Yayınlar
Politika Siyaset
Psikoloji
Sağlık
Sanat
Sosyoloji
Tarih
Yabancı Dilde Kitaplar
Yemek Kitapları
MATEMATİKSEL MANTIK ( MATEMATİKSEL MANTIK )
Matematiksel Mantık
MATEMATİKSEL MANTIK ( MATEMATİKSEL MANTIK )
Barkod
: 9786059594035
Basım Yılı
: Ağustos 2016
Basım Dili
: Türkçe
Ebatı
: 16x24 cm2
Sayfa Sayısı
: 540
Cilt Durumu
: Karton Kapak
Boyut
: Normal Boy
Yaklaşık 3 iş günü temin
%10 İNDİRİM
Liste Fiyatı
60,00
İndirimli Fiyatı
54,00
Kazanılan Puan
178 NP
Bu kitabı 9,00 ₺'den başlayan taksitlerle satın alabilirsiniz.
Bu ürünü 386 kişi görüntüledi.
Kitap Tanıtımı
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
Ürünü Oyla:
Tüm yorumlar listeleniyor
Sırala: