Otomatlar, Biçimsel Diller ve Turing Makineleri

Stok Kodu:
9786257313674
Boyut:
14.00x21.00
Sayfa Sayısı:
340
Basım Yeri:
İstanbul
Baskı:
2
Basım Tarihi:
2021-08
Kapak Türü:
Ciltsiz
Kağıt Türü:
2. Hamur
Dili:
Türkçe
106,00
9786257313674
724488
Otomatlar, Biçimsel Diller ve Turing Makineleri
Otomatlar, Biçimsel Diller ve Turing Makineleri
106.00

Emre Sermutlu, Orta Doğu Teknik Üniversitesi Fizik ve Matematik (Çift Anadal) bölümlerini bitirdikten sonra, master ve doktorasını Bilkent Üniversitesi Matematik Bölümü'nde tamamladı. 20 yılı aşkın süredir çalıştığı Çankaya Üniversitesi'nde, halen matematik, fizik ve bilgisayar bilimi üzerine dersler vermektedir.

Bu kitap, bilgisayar biliminin teorik temelleriyle ilgilidir. Turing makineleri ve biçimsel diller, mümkün olan tüm algoritmalara çok yükseklerden bakmamızı sağlar. Bu bakış açısı oldukça soyut olmakla birlikte, algoritmik düşünce ile ilgili bazı kavramları, belli bir programlama dilinin ayrıntılarında boğulmadan, net şekilde görmemize imkan verir.

Kitapta, matematiksel düşünce ve ispatlarla uygulamalı problemler arasında bir denge gözetilmiştir. Hem bölüm içi soruların zorlukları, hem de bölümler ilerledikçe karşılaşılan kavramların soyutluğu, kademeli olarak artmaktadır. Teknik terimler sadece gerektikleri kadar kullanılmış, bir çok kavram hem teknik dille hem gündelik hayat diliyle iki kez açıklanmıştır. Çok sayıda çözümlü ve cevaplı soru, yeni karşılaşılan soyut kavramları her yönüyle kurcalamakta, tanıdık hale getirmekte önemli rol oynamaktadır.

Türkçe kaynaklar açısından önemli bir boşluğu dolduracak olan bu kitap, bir ders kapsamında ana veya yardımcı kitap olarak kullanılabileceği gibi, tek başına çalışmak isteyenler için de uygundur.

Emre Sermutlu, Orta Doğu Teknik Üniversitesi Fizik ve Matematik (Çift Anadal) bölümlerini bitirdikten sonra, master ve doktorasını Bilkent Üniversitesi Matematik Bölümü'nde tamamladı. 20 yılı aşkın süredir çalıştığı Çankaya Üniversitesi'nde, halen matematik, fizik ve bilgisayar bilimi üzerine dersler vermektedir.

Bu kitap, bilgisayar biliminin teorik temelleriyle ilgilidir. Turing makineleri ve biçimsel diller, mümkün olan tüm algoritmalara çok yükseklerden bakmamızı sağlar. Bu bakış açısı oldukça soyut olmakla birlikte, algoritmik düşünce ile ilgili bazı kavramları, belli bir programlama dilinin ayrıntılarında boğulmadan, net şekilde görmemize imkan verir.

Kitapta, matematiksel düşünce ve ispatlarla uygulamalı problemler arasında bir denge gözetilmiştir. Hem bölüm içi soruların zorlukları, hem de bölümler ilerledikçe karşılaşılan kavramların soyutluğu, kademeli olarak artmaktadır. Teknik terimler sadece gerektikleri kadar kullanılmış, bir çok kavram hem teknik dille hem gündelik hayat diliyle iki kez açıklanmıştır. Çok sayıda çözümlü ve cevaplı soru, yeni karşılaşılan soyut kavramları her yönüyle kurcalamakta, tanıdık hale getirmekte önemli rol oynamaktadır.

Türkçe kaynaklar açısından önemli bir boşluğu dolduracak olan bu kitap, bir ders kapsamında ana veya yardımcı kitap olarak kullanılabileceği gibi, tek başına çalışmak isteyenler için de uygundur.

Yorum yaz
Bu kitabı henüz kimse eleştirmemiş.
Kapat