- Web sitesi
- www.uydutv.de
Bilgi ve kodlama teorisi
Bilgi teorisi, bilginin nicelleştirilmesi ile ilgilidir. Bu teori, veri sıkıştırması,verilerin depolanması ve iletilmesi gibi sinyal işleme operasyonlarının temel sınırlarını bulmak için Claude Shannon tarafından geliştirildi.[43] Kodlama teorisi, kodların özelliklerinin incelenmesi (bilgileri bir formdan diğerine dönüştürmek için kullanılan sistemler) ve bunların belirli bir uygulama için uygunluğunu inceler. Kodlar veri sıkıştırma, şifreleme, hata algılama ve düzeltme ve daha yakın zamanda ağ kodlaması için de kullanılır. Kodlar, etkin ve güvenilir veri iletim yöntemleri tasarlamak amacıyla incelenir.
Algoritmalar ve veri yapıları
Algoritmalar ve veri yapıları, yaygın olarak kullanılan hesaplama yöntemlerinin ve bunların hesaplama verimliliğinin incelenmesidir.
Programlama dili teorisi
Programlama dili teorisi, programlama dillerinin tasarımı, uygulanması, analizi, karakterizasyonu ve sınıflandırılması ile tekil özellikleri ele alan bir bilgisayar bilimi dalıdır. Hem matematiğe, hem yazılım mühendisliğine hem de dil bilimine bağlı olan bu alan bilgisayar biliminin disiplini içine girmektedir. Çok sayıda akademik dergisi bulunan etkin bir araştırma alanıdır.
Biçimsel yöntemler
Biçimsel yöntemler, yazılım ve donanım sistemlerinin spesifikasyonu, geliştirilmesi ve doğrulanması için matematik temelli bir tekniktir. Yazılım ve donanım tasarımı için biçimsel yöntemlerin kullanılması, diğer mühendislik disiplinlerinde olduğu gibi, uygun matematiksel analizlerin yapılması sayesinde geliştirilmekte olan bir tasarımın sağlamlığına ve güvenilirliğine katkıda bulunabileceği beklentisinden kaynaklanmaktadır. Yazılım mühendisliği için, özellikle emniyet veya güvenlikle ilgili önemli teorik bir temel oluşturmaktadır. Biçimsel yöntemler, hataları önlemeye yardımcı olduklarından ve sınama için bir çerçeve oluşturabildiklerinden, yazılım testi için kullanışlı bir yardımcıdır. Endüstriyel kullanım için ise takım desteği gereklidir. Bununla birlikte, biçimsel yöntemleri endüstride kullanmanın yüksek bedelinden ötürü,kullanım alanı genellikle güvenlik veya güvenliğin çok önemli olduğu, yüksek bütünlük gerektiren kritik yaşam sistemleri vb. alanların geliştirilmesi gibi uygulamalarla sınırlıdır. Biçimsel yöntemler en temel teorik bilgisayar bilimi konularının, özellikle mantık hesapları, biçimsel diller, otomata teorisi ve program semantiği gibi oldukça geniş bir çeşitliliğin uygulanması olarak tanımlanır; aynı zamanda, yazılım ve donanım özelliklerinde sorunların üstesinden gelmek için programlama dillerindeki tip sistemleri,cebirsel veri türleri ve doğrulama vb. alanları kullanmaktadır.
Kaynak : Vikipedi
Bilgi teorisi, bilginin nicelleştirilmesi ile ilgilidir. Bu teori, veri sıkıştırması,verilerin depolanması ve iletilmesi gibi sinyal işleme operasyonlarının temel sınırlarını bulmak için Claude Shannon tarafından geliştirildi.[43] Kodlama teorisi, kodların özelliklerinin incelenmesi (bilgileri bir formdan diğerine dönüştürmek için kullanılan sistemler) ve bunların belirli bir uygulama için uygunluğunu inceler. Kodlar veri sıkıştırma, şifreleme, hata algılama ve düzeltme ve daha yakın zamanda ağ kodlaması için de kullanılır. Kodlar, etkin ve güvenilir veri iletim yöntemleri tasarlamak amacıyla incelenir.
Algoritmalar ve veri yapıları
Algoritmalar ve veri yapıları, yaygın olarak kullanılan hesaplama yöntemlerinin ve bunların hesaplama verimliliğinin incelenmesidir.
Programlama dili teorisi
Programlama dili teorisi, programlama dillerinin tasarımı, uygulanması, analizi, karakterizasyonu ve sınıflandırılması ile tekil özellikleri ele alan bir bilgisayar bilimi dalıdır. Hem matematiğe, hem yazılım mühendisliğine hem de dil bilimine bağlı olan bu alan bilgisayar biliminin disiplini içine girmektedir. Çok sayıda akademik dergisi bulunan etkin bir araştırma alanıdır.
Biçimsel yöntemler
Biçimsel yöntemler, yazılım ve donanım sistemlerinin spesifikasyonu, geliştirilmesi ve doğrulanması için matematik temelli bir tekniktir. Yazılım ve donanım tasarımı için biçimsel yöntemlerin kullanılması, diğer mühendislik disiplinlerinde olduğu gibi, uygun matematiksel analizlerin yapılması sayesinde geliştirilmekte olan bir tasarımın sağlamlığına ve güvenilirliğine katkıda bulunabileceği beklentisinden kaynaklanmaktadır. Yazılım mühendisliği için, özellikle emniyet veya güvenlikle ilgili önemli teorik bir temel oluşturmaktadır. Biçimsel yöntemler, hataları önlemeye yardımcı olduklarından ve sınama için bir çerçeve oluşturabildiklerinden, yazılım testi için kullanışlı bir yardımcıdır. Endüstriyel kullanım için ise takım desteği gereklidir. Bununla birlikte, biçimsel yöntemleri endüstride kullanmanın yüksek bedelinden ötürü,kullanım alanı genellikle güvenlik veya güvenliğin çok önemli olduğu, yüksek bütünlük gerektiren kritik yaşam sistemleri vb. alanların geliştirilmesi gibi uygulamalarla sınırlıdır. Biçimsel yöntemler en temel teorik bilgisayar bilimi konularının, özellikle mantık hesapları, biçimsel diller, otomata teorisi ve program semantiği gibi oldukça geniş bir çeşitliliğin uygulanması olarak tanımlanır; aynı zamanda, yazılım ve donanım özelliklerinde sorunların üstesinden gelmek için programlama dillerindeki tip sistemleri,cebirsel veri türleri ve doğrulama vb. alanları kullanmaktadır.
Kaynak : Vikipedi