Sunuyu indir
Sunum yükleniyor. Lütfen bekleyiniz
1
TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ
Yılmaz Kılıçaslan
2
DİĞER BİLİMLERLE İLİŞKİSİ İÇİNDE
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
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.
6
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
7
Bilgisayar Bilimi Bilgisayım Kuramı Enformasyon Kuramı
8
Hesaplanabilirlik Sayılabilir Kümeler Sayılamaz Kümeler
9
Sayılabilir Kümeler Tamsayılar Rasyonel Sayılar
10
Sayılamaz Kümeler Reel Sayılar Karmaşık Sayılar
11
Karmaşıklık Verimli Hesaplama (Efficient Computation) NP Problemleri
Üstel Patlama
12
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
13
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
14
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.
Benzer bir sunumlar
© 2024 SlidePlayer.biz.tr Inc.
All rights reserved.