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

Slides:



Advertisements
Benzer bir sunumlar
Zeka Nedir? Zekayı tanımlama problemi nedir? Zekanın bileşenleri neler? Yapay Zeka nedir? Güçlü Yapay Zeka nedir? Yapay Zeka ekolleri nelerdir? Yapay Zeka.
Advertisements

KÜMELER TEORİSİNİN TARİHÇESİ
Karmaşıklık Giriş.
Ayrık Yapılar Algoritma Analizi.
GEÇMİŞTEN GELECEĞE BİLGİSAYIM VE BİLGİSAYARLAR
ÖNERME ANALİZİ VE YÜKLEM MANTIĞI Yılmaz KILIÇASLAN.
ÖNERME ANALİZİ VE YÜKLEM MANTIĞI Yılmaz KILIÇASLAN.
BAS-BIRAK OTOMATLARI (YIĞITLI ÖZDEVİNİRLER)
SONLU DURUM OTOMATLARI
SONLU DURUM OTOMATLARI
TURING MAKİNELERİ Yılmaz Kılıçaslan.
BPR151 ALGORİTMA VE PROGRAMLAMA - I
ALGORİTMA ve PROGRAMLAMA
NESNEYE YÖNELİK PROGRAMLAMANIN TEMEL İLKELERİ GENEL BİR BAKIŞ
SONLU DURUM OTOMATLARI
Sonlu Durum Makinesi M=(S, I, O, f, g, s0) S:durumlar kümesi
Veri Yapıları ve Algoritmalar
MANTIK BİLİMİNE GİRİŞ VE ÖNERMELER MANTIĞI Yılmaz KILIÇASLAN.
ÖĞRENMEDE BİLGİ Yılmaz KILIÇASLAN.
Problem Çözme Süreci.
YAPAY ZEKA Yılmaz KILIÇASLAN.
MANTIK PROGRAMLAMA TEMEL YAPILARI Yılmaz KILIÇASLAN.
Yapay Zeka DR.KORHAN KAYIŞLI.
Bağlama Duyarlı Diller
TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ
HÜLYA ÖZCAN HÜLYA ŞAHİN SEVİNÇ ÖNÜR
KÜMELER İLERİ.
SONLU ELEMANLAR YÖNTEMİ
DÜZENLİ GRAMERLER Yılmaz Kılıçaslan.
MANTIK PROGRAMLARININ TEMEL YAPILARI VE BİLGİSAYIM MODELİ Yılmaz KILIÇASLAN.
TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ
BAĞLAMDAN BAĞIMSIZ GRAMERLER ÖZYİNELEMELİ GEÇİŞ AĞLARI (Chomsky Hiyerarşisi: Tip 2) Yılmaz Kılıçaslan.
TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ
BAĞLAMA DUYARLI GRAMERLER
BAĞLAMA DUYARLI GRAMERLER
BAĞLAMA DUYARLI GRAMERLER
ÖNERMELER MANTIĞI Yılmaz KILIÇASLAN.
ALGORİTMA.
MANTIK BİLİMİNE GİRİŞ VE ÖNERMELER MANTIĞI Yılmaz KILIÇASLAN.
MANTIK VE MANTIK PROGRAMLAMA Yılmaz KILIÇASLAN.
Bilgisayar Bilimlerinin Kuramsal Temelleri
Çizge Algoritmaları Ders 2.
ÖNERMELER MANTIĞI Yılmaz KILIÇASLAN. Önermeler Mantığı - Bağlaçlar Yalnızca doğruluk değerleri üzerinden fonksiyonel olarak tanımlanabilen bağlaçlar ve.
TEK Mİ ÇİFT Mİ? TOPLA YA DA ÇIKAR.
Problem Yaklaşım Temelleri, Algoritma ve Akış Şeması
ÖNERME ANALİZİ VE YÜKLEM MANTIĞI Yılmaz KILIÇASLAN.
DÜZENLİ İFADELER Regular Expressions.
Biçimsel Diller ve Soyut Makineler
Biçimsel Diller ve Soyut Makineler
SONLU OTOMATLAR Yılmaz Kılıçaslan.
Bulanık Mantık Bulanık Mantık (Fuzzy Logic)
Sunulacak / Tartışılacak Konular
Matematiksel Veri Yapıları. İçerik Matematiksel Veri Yapıları – Kümeler – Diziler – Fonksiyonlar – İkili ilişkiler Sonsuz kümeler – Sonlu nicelik – Sonsuz.
MANTIK VE MANTIK PROGRAMLAMA Yılmaz KILIÇASLAN. Sunu Planı Bir bilgisayım yöntemi olarak mantıksal çıkarım Prolog programlama dilinin temel yapıları Prolog.
Ege ÜNİVERSİTESİ ULUSLARARASI BİLGİSAYAR ENSTİTÜSÜ AYCAN VARGÜN Prof
TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ - Sayılabilirlik - Yılmaz Kılıçaslan.
TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ - Karmaşıklık - Yılmaz Kılıçaslan.
Bilgisayar Programlamaya Giriş - 1
KÜME KAVRAMI 1/24 A B C E Sinan NARMANLI ID :
Programlama Temellerİ
Formel Diller ve Soyut Makineler
Formel Diller ve Soyut Makineler
Turing Machines Turing Makineleri.
Formel Diller ve Soyut Makineler
Kümeleme ve Regresyon Problemleri için Kolektif Öğrenme
VERİ TÜRLERİ.
Bölüm 7 İfadeler ve atamalar.
NİŞANTAŞI ÜNİVERSİTESİ
BLGM471 Özdevinirler Kuramı
NİŞANTAŞI ÜNİVERSİTESİ
Sunum transkripti:

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

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İ

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.

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)

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.

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.

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

Bilgisayar Bilimi Bilgisayım Kuramı Enformasyon Kuramı

Hesaplanabilirlik Sayılabilir Kümeler Sayılamaz Kümeler

Sayılabilir Kümeler Tamsayılar Rasyonel Sayılar

Sayılamaz Kümeler Reel Sayılar Karmaşık Sayılar

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

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

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

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.