Otomatlar Biçimsel Diller ve Turing Makineleri Cinius Yayınları

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.

İade Şartları

Değerli Müşterilerimiz;

Satın aldığınız ürünü, kargodan teslim aldığınız günden itibaren 7 gün içinde Kitapsec.com’ a başvuruda bulunarak aşağıdaki koşullar dahilinde iade edebilirsiniz.

İadelerinizle Alakalı Her Türlü Sorularınızda www.kitapsec.com Adresinin Size Atamış Olduğu Sipariş Numarasını Örneğin: (Siparişlerim Bölümündeki Sipariş ID:43525) Belirtmeniz Gerekmektedir.

Kitapsec.com tüketici lehine hareket etmeyi, her türlü sorunu yasaca belirlenmiş süreden daha erken ve kalite politikasına uygun olarak çözmeyi temel ilke edinmiştir.

• Kitapsec.com ‘dan satın alınan ürünler, teslim tarihinden itibaren (7) gün içerisinde değişim yapabilmektedir.

• Bir ürünün iade edilebilmesi genel olarak aşağıdaki şartlara bağlıdır:

• Satın aldığınız ürünleri tahrip etmeden, kullanmadan ve ürünün tekrar satın alabilirliğini bozmadan, teslim tarihinden itibaren yedi (7) günlük süre içinde neden belirterek iade edebilirsiniz.

• Kullanılmış, ambalajı açılmış, tahrip edilmiş vb. şekildeki ürünler iade edilemez.

• Görüntülü DVD, Flash Disk görüntülü Eğitim Setleri vb. için; ürün kutusunda yer alan koruma bandı çıkarılmamış olmalıdır. Ürünlerin diğer yerlerinde çizik, hasar, darbe, sıvı teması vs. olmamalıdır.

• Orijinal ambalaja sahip ürünlerin iadesi, orijinal ambalaj ile yapılmalıdır.

• İade edilecek ürünün şirketimiz adına kesilecek bir iade faturası ile iade faturası düzenleme imkanı bulunmayan durumlarda, ürüne ait fatura ve sevk irsaliyesinin aslıyla birlikte iade edilmesi gerekmektedir. İade faturası ya da fatura ve sevk irsaliyesi asıllarının temin edilemediği durumlarda, bundan kaynaklanan KDV vb. mali yükümlülükler iade edilecek bedelden indirilir.

• Üründe ve ambalajında herhangi bir yazı yazma, açılma, bozulma, kırılma, tahrip, yırtılma, kullanılma vb. durumlar tespit edildiği hallerde ve ürünün müşteriye teslim edildiği andaki hali ile iade edilememesi durumunda, ürün iade alınmaz ve bedeli iade edilmez.

• İade şartlarına uygun durumlarda yapılan gönderimlerde taşıma masrafı müşteri tarafından ödenecektir.

• İade edilecek ürünler PTT kargo ile kurumumuzdan aldığınız iade mağaza koduyla gönderilmelidir.

• Baskısında hata bulunan, eksik, fazla veya yanlış basılmış ürünlerin iadesinde kargo ücreti geliş ve gidiş olarak www.kitapsec.com`a aittir.

• Siparişin yanlış gönderilmesinden kaynaklanan değişimlerde kargo ücreti geliş ve gidiş olarak www.kitapsec.com’a aittir.