Kategoriler
Eser Adı Yazar Yayınevi Açıklama İçindekiler Barkod
Arama  
Ana Sayfa Sipariş Takip Üyelik Yardım İletişim
 
 
Bülten
   

×
Matematiksel Mantık
Haziran 2016 / 1. Baskı / 527 Syf.

Baskısı tükenmiştir.
 
   

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ı'nm 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 Teoremlerine iki farklı yaklaşım ele alınmış ve kısaca da olsa ikinci dereceden mantığa değinilmiştir.

(Tanıtım Bülteninden)

Konu Başlıkları
Ön Bilgiler
Önermeler Mantığı
Birinci Dereceden Kuramlar
Modeller Kuramına Giriş
Gödel Eksiklik Teoremleri
Barkod: 9786059594035
Yayın Tarihi: Haziran 2016
Baskı Sayısı:  1
Ebat: 16x24
Sayfa Sayısı: 527
Yayınevi: Papatya Bilim Üniversite Yayıncılığı
Kapak Türü: Karton Kapaklı
Dili: Türkçe
Ekler: -

Emrah Akyar
Ocak 2021
32.00 TL
Sepete Ekle
Mustafa Çelebi Pınar
Kasım 2020
44.00 TL
Sepete Ekle
R. Gökhan Türeci
Ekim 2020
54.00 TL
Sepete Ekle
Ergün Eroğlu
Ekim 2020
38.00 TL
Sepete Ekle
 
Kitap
Bülten
Kitap
Kitap
İndirimli Kitaplar
 
 
Ana Sayfa | Uluslararası Yayınevi Belgesi | Hakkımızda | Bülten | Gizlilik ve Çerez Sözleşmesi | Üye Sayfası | Yardım | İletişim

Seçkin Yayıncılık San. Tic. A.Ş.
Copyright © 1996 - 2021