Otomatlar, Biçimsel Diller ve Turing Makineleri

Sipariş numarası ile siparişinizi takip edebilirsiniz.
Havale / EFT ile yapılacak ödemelerde açıklama kısmına mutlaka KY ile başlayan sipariş takip numaranızı yazmanızı rica ediyoruz.
Bu andan itibaren 7 gün içinde, siparişinizi hazırlanmak üzere işleme alınabilmesi için siparişinize ait ödemenin Kitapavrupa'ya ulaşması beklenecektir.
Ödeme ulaşmadığı taktirde, 2 kez ödemeyi hatırlatan e-posta gönderilecek, ödeme ulaşmadığında ise 7 gün sonra siparişiniz otomatik olarak iptal edilecektir.

Online IBAN Havale / E FT ile ödemenizi KitapAvrupa UG adına aşağıdak hesaba yapabilirsiniz. Avrupa Birliği ülkeleri içersinde IBAN ile ödemelerden havale ücret, alınmamaktadır.

KITAPAVRUPA UG
IBAN: DE65 1001 0123 0272 2865 22
BIC/Swift: QNTODEB2XXX

OLINDA BANK

Not: Havale bilgilerinizi e-posta ile bize ulaştırabilirseniz, işlemleri daha hızlandırmamıza yardımcı olursunuz.

Otomatlar, Biçimsel Diller ve Turing Makineleri

Dr. Emre Sermutlu

CİNİUS YAYINLARI

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.