Benzer Ürünler

Okdoku Matematiksel Akıl Yürütme ve Mantık Oyunu

< 1 hafta

D&R141.00 TL

Mantık

< 1 hafta

D&R180.00 TL

Mantık

< 1 hafta

D&R115.60 TL

Matematiksel Düşünme-Küçük Boy

< 1 hafta

D&R179.55 TL

Yapılandırmacı Sınıf Ortamlarında Matematiksel İletişim

< 1 hafta

D&R92.40 TL

Temel Matematiksel Kavramlar ve Uygulamaları

< 1 hafta

D&R496.35 TL

Daha fazla

Ürün bilgileri

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.   Konu Başlıkları Ön Bilgiler Önermeler Mantığı Birinci Dereceden Kuramlar Modeller Kuramına Giriş Gödel Eksiklik Teoremleri   (Tanıtım Bülteninden)  )

Fiyat Geçmişi