Sepetim (0) Toplam: 0,00TL
%37
Sembolik Mantığın Tarihi 1847-1950 Samet Büyükada

Sembolik Mantığın Tarihi 1847-1950

Liste Fiyatı : 175,00TL
İndirimli Fiyat : 109,38TL
Kazancınız : 65,62TL
Taksitli fiyat : 9 x 13,37TL
Havale/EFT ile : 106,65TL
Satış adedi : 1
9786255536808
1443082
Sembolik Mantığın Tarihi 1847-1950
Sembolik Mantığın Tarihi 1847-1950
109.38
Bu eser, sembolik mantığın 1847-1950 yılları arasındaki tarihsel gelişimini akademik bir perspektifle ele almaktadır. George Boole'un mantığı cebirselleştirme girişiminden Alan Turing'in hesaplanabilirlik teorisine uzanan bu yüz yıllık süreç, mantığın felsefi bir disiplinden matematiksel ve biçimsel bir bilim dalına dönüşümünü temsil eder. Kitap, dört temel dönüşüm evresi üzerinden ilerlemektedir: Cebirselleşme Dönemi (1847-1880), Yüklemler Mantığı Dönemi (1879-1921), Meta-Matematik Dönemi (1920-1934) ve Hesaplanabilirlik Dönemi (1936-1950). Augustus De Morgan'ın ilişkiler teorisi, Gottlob Frege'nin yüklemler mantığı, Bertrand Russell'ın betimlemeler kuramı, Kurt Gödel'in eksiklik teoremleri, Alfred Tarski'nin doğruluk kuramı ve Turing'in evrensel makinesi gibi kilometre taşları sistematik biçimde incelenmektedir. Eser, mantığın epistemolojik, metodolojik, ontolojik ve pragmatik dönüşümlerini tarihsel bağlamında sunarak, modern mantık ve bilgisayar biliminin entelektüel temellerini aydınlatmayı amaçlamaktadır. Türkçe mantık tarihi yazımındaki boşluğu doldurmak üzere hazırlanan bu çalışma, hem felsefe ve ilahiyat hem de matematik ve bilgisayar bilimleri alanlarındaki araştırmacılar için kapsamlı bir kaynak sunmaktadır.
  • Açıklama
    • Bu eser, sembolik mantığın 1847-1950 yılları arasındaki tarihsel gelişimini akademik bir perspektifle ele almaktadır. George Boole'un mantığı cebirselleştirme girişiminden Alan Turing'in hesaplanabilirlik teorisine uzanan bu yüz yıllık süreç, mantığın felsefi bir disiplinden matematiksel ve biçimsel bir bilim dalına dönüşümünü temsil eder. Kitap, dört temel dönüşüm evresi üzerinden ilerlemektedir: Cebirselleşme Dönemi (1847-1880), Yüklemler Mantığı Dönemi (1879-1921), Meta-Matematik Dönemi (1920-1934) ve Hesaplanabilirlik Dönemi (1936-1950). Augustus De Morgan'ın ilişkiler teorisi, Gottlob Frege'nin yüklemler mantığı, Bertrand Russell'ın betimlemeler kuramı, Kurt Gödel'in eksiklik teoremleri, Alfred Tarski'nin doğruluk kuramı ve Turing'in evrensel makinesi gibi kilometre taşları sistematik biçimde incelenmektedir. Eser, mantığın epistemolojik, metodolojik, ontolojik ve pragmatik dönüşümlerini tarihsel bağlamında sunarak, modern mantık ve bilgisayar biliminin entelektüel temellerini aydınlatmayı amaçlamaktadır. Türkçe mantık tarihi yazımındaki boşluğu doldurmak üzere hazırlanan bu çalışma, hem felsefe ve ilahiyat hem de matematik ve bilgisayar bilimleri alanlarındaki araştırmacılar için kapsamlı bir kaynak sunmaktadır.
      Stok Kodu
      :
      9786255536808
      Boyut
      :
      135-210-
      Sayfa Sayısı
      :
      122
      Baskı
      :
      1
      Basım Tarihi
      :
      2025-12-26
      Kapak Türü
      :
      Karton
      Kağıt Türü
      :
      Kitap Kağıdı
      Dili
      :
      Türkçe
  • Taksit Seçenekleri
    • Axess Kartlar
      Taksit Sayısı
      Taksit tutarı
      Genel Toplam
      Tek Çekim
      109,38   
      109,38   
      2
      56,88   
      113,76   
      3
      38,65   
      115,94   
      6
      19,69   
      118,13   
      9
      13,37   
      120,32   
      Finansbank Kartları
      Taksit Sayısı
      Taksit tutarı
      Genel Toplam
      Tek Çekim
      109,38   
      109,38   
      2
      56,88   
      113,76   
      3
      38,65   
      115,94   
      6
      19,69   
      118,13   
      9
      13,37   
      120,32   
      Bonus Kartlar
      Taksit Sayısı
      Taksit tutarı
      Genel Toplam
      Tek Çekim
      109,38   
      109,38   
      2
      56,88   
      113,76   
      3
      38,65   
      115,94   
      6
      19,69   
      118,13   
      9
      13,37   
      120,32   
      Paraf Kartlar
      Taksit Sayısı
      Taksit tutarı
      Genel Toplam
      Tek Çekim
      109,38   
      109,38   
      2
      56,88   
      113,76   
      3
      38,65   
      115,94   
      6
      19,69   
      118,13   
      9
      13,37   
      120,32   
      Maximum Kartlar
      Taksit Sayısı
      Taksit tutarı
      Genel Toplam
      Tek Çekim
      109,38   
      109,38   
      2
      56,88   
      113,76   
      3
      38,65   
      115,94   
      6
      19,69   
      118,13   
      9
      13,37   
      120,32   
      World Kartlar
      Taksit Sayısı
      Taksit tutarı
      Genel Toplam
      Tek Çekim
      109,38   
      109,38   
      2
      56,88   
      113,76   
      3
      38,65   
      115,94   
      6
      19,69   
      118,13   
      9
      13,37   
      120,32   
      Diğer Kartlar
      Taksit Sayısı
      Taksit tutarı
      Genel Toplam
      Tek Çekim
      109,38   
      109,38   
      2
      56,88   
      113,76   
      3
      38,65   
      115,94   
      6
      19,69   
      118,13   
      9
      13,37   
      120,32   
  • Yorumlar
    • Yorum yaz
      Bu kitabı henüz kimse eleştirmemiş.
Kapat