1 / 15

TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ

TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ. Yılmaz Kılıçaslan. Sunum Planı. Hilbert’in Problemi Hilbert’e Yanıtlar Bilgisayar Bilimi Bilgisayım Kuramı Enformasyon Kuramı Hesaplanabilirlik Sayılabilir Kümeler Sayılamaz Kümeler Karmaşıklık Verimli Hesaplama Chomsky Hiyerarşisi.

sullivan-ownes
Télécharger la présentation

TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. TEMEL KURAM VE AÇMAZLARIYLABİLGİSAYAR BİLİMİ Yılmaz Kılıçaslan

  2. Sunum Planı • Hilbert’in Problemi • Hilbert’e Yanıtlar • Bilgisayar Bilimi • Bilgisayım Kuramı • Enformasyon Kuramı • Hesaplanabilirlik • Sayılabilir Kümeler • Sayılamaz Kümeler • Karmaşıklık • Verimli Hesaplama • Chomsky Hiyerarşisi DİĞER BİLİMLERLE İLİŞKİSİ İÇİNDE BİLGİSAYAR BİLİMİ

  3. Hilbert’in Problemi (1928) Formel Dil ALGORİTMA ? Doğru / Yanlış Matematiksel İfade (Önerme) Algoritma: Bir problemi sonlu sayıda adımla etkin (mekanik) olarak çözen yöntem.

  4. Hilbert’e Kötü Haberler • Aritmetik Sistemlerin Eksikliği (Kurt Gödel) (Incompleteness of Systems of Arithmetic) • (Birinci Dereceden Yüklem) Mantığında Karar Verilmezlik (Alonzo Church) (Undecidability of (First Order) Logic) • Doğruluğun Tanımsızlığı (Alfred Traski) (Indefinability of Truth) • Fonksiyonların Hesaplanamazlığı / Durma Problemi (Alan Turing) (Uncomputability of Functions / Halting Problem)

  5. Gödel’in Eksiklik Teoremi • Gödel Yalancının Paradoksunu aşağıdaki şekilde değiştirdi: “Bu önerme ispatlanabilir değildir.” • … • Aritmetiğin her tutarlı biçimselleştirilmesi için öyle aritmetik doğrular vardır ki, bunlar bu biçimsel sistem içinde ispatlanabilir değillerdir.

  6. Durma Problemi Program ALGORİTMA (BİLGİSAYIM MODELİ) ? Durur / Durmaz Input Alan Turing 1936’da, Durma Problemini bütün program-input çiftleri için çözebilecek genel bir algoritmanın olmadığını ispatlamıştır.

  7. Tipik Matematiksel Bilgisayım Modelleri • Durum Modelleri • Sonlu Durum Otomatları • Bask-Bırak Otomatları • Turing Makineleri • etc. • Lambda Calculus gibi fonksiyonel modeller • Mantık programlama gibi mantıksal modeller

  8. Bilgisayar Bilimi • Bilgisayım Kuramı • Enformasyon Kuramı

  9. Hesaplanabilirlik • Sayılabilir Kümeler • Sayılamaz Kümeler

  10. Sayılabilir Kümeler • Tamsayılar • Rasyonel Sayılar

  11. Sayılamaz Kümeler • Reel Sayılar • Karmaşık Sayılar

  12. Karmaşıklık • Verimli Hesaplama (Efficient Computation) • NP Problemleri • Üstel Patlama

  13. Chomsky Hiyerarşisi Otomatlar Diller Turing Machine TİP 0 R.E. TİP 1 Bağlama-duyarlı ATN TİP 2 Bağlamdan-bağımsız RTN Düzenli Diller FSA TİP 3

  14. Bir Kognitif Hiyerarşi Denemesi Bilişsel Yetiler Bilişsel Araçlar Akıl Mantık Turing Machine Anlam ATN Semantik Bellek RTN Sentaks Morfoloji Özyineleme FSA

  15. En Kısa Özet • Matematik, Mantık ve Simge-Bilim alanlarının etkileşiminin doğurduğu Bilgisayar Bilimi • Bilgisayım ve • Enformasyon kuramlarını içerir. • Bilgisayım Kuramı • Hesaplanabilirlik ve • Karmaşıklık alt kuramlarını barındırır.

More Related