Hesaplanabilirlik bir sorunun verimli bir biçimde çözülebilmesidir. Matematiksel mantık dalı hesaplanabilirlik kuramı ile bilgisayar bilimi dalı algoritmalar kuramının temelini oluşturmaktadır. Bir sorunun hesaplanabilirliği, çözüm için bir algoritmanın var olup olmadığıyla yakından ilintilidir.
Bilgisayar mühendisliği temel olarak yazılım, programlama ve algoritma ile ilgilenir. Bilgisayar ağları, veri tabanı yöneticiliği ve gömülü sistemler de diğer çalışma alanlarıdır.
Bilgisayar bilimi, bilgisayarların tasarımı ve kullanımı için temel oluşturan teori, deney ve mühendislik çalışmasıdır. Hesaplamaya ve uygulamalarına bilimsel ve pratik bir yaklaşımdır. Bilgisayar bilimi; edinim, temsil, işleme, depolama, iletişim ve erişimin altında yatan yönteme dayalı prosedürlerin veya algoritmaların fizibilitesi, yapısı, ifadesi ve mekanizasyonunun sistematik çalışmasıdır. Bilgisayar biliminin alternatif, daha özlü tanımı "büyük, orta veya küçük ölçekli algoritmik işlemleri otomatikleştirme çalışması" olarak nitelendirilebilir. Bir bilgisayar bilimcisi, hesaplama teorisi ve hesaplama sistemlerinin tasarımı konusunda uzmanlaşmıştır.
Bilişim, bilişim bilimi ya da bilgisayar bilimi, bilgi ve hesaplamanın kuramsal temellerini ve bunların bilgisayar sistemlerinde uygulanabilmeleri sağlayan pratik teknikleri araştıran bir yapısal bilim dalıdır. Bilişimciler ya da bilgisayar bilimcileri bilgi oluşturan, tanımlayan ve dönüştüren algoritmik süreçler icat edip, kompleks sistemleri tasarlamak ve modellemek için uygun soyutlamalar formüle ederler. Bilişim Dünya'da hızla gelişmeye devam eden önemli bir teknolojidir.
P harfi "polynomial", NP harfleri ise "non-deterministic polynomial" ifadelerini temsil eder, Türkçe karşılıkları "polinom" ve "belirleyici olmayan polinom"dur. "P eşittir NP?" ise hesaplama teorisi'nin en temel ve meşhur problemidir.
Algoritma, belli bir problemi çözmek veya belirli bir amaca ulaşmak için tasarlanan yol. Matematikte ve bilgisayar biliminde bir işi yapmak için tanımlanan, bir başlangıç durumundan başladığında, açıkça belirlenmiş bir son durumunda sonlanan, sonlu işlemler kümesidir. Genellikle bilgisayar programlamada kullanılır ve tüm programlama dillerinin temeli algoritmaya dayanır. Aynı zamanda algoritma tek bir problemi çözecek davranışın, temel işleri yapan komutların veya deyimlerin adım adım ortaya konulmasıdır ve bu adımların sıralamasına dikkat edilmelidir. Bir problem çözülürken algoritmik ve sezgisel (herustic) olmak üzere iki yaklaşım vardır. Algoritmik yaklaşımda da çözüm için olası yöntemlerden en uygun olan seçilir ve yapılması gerekenler adım adım ortaya konulur. Algoritmayı belirtmek için; metinsel olarak düz ifade ve akış diyagramı olmak üzere 2 yöntem kullanılır. Algoritmalar bir programlama dili vasıtasıyla bilgisayarlar tarafından işletilebilirler.
Kriptoloji, şifre bilimidir. Haberleşme ve iletişim alanında iletilerin, mesajların, yazıların güvenli şekilde alıcısına ulaşması için çalışmalar yapan, yöntemler geliştiren bilim dalıdır. Önemli haberleşme verilerinin başkaları tarafından deşifre edilmemesi için özel matematiksel yöntemler kullanılarak güvenli şekilde iletişim sağlanması için kriptolojiye başvurulur. Bu sayede haberleşme daha güvenli hale getirilir. Şifrelenmiş bir metnin deşifre edilmesi ülkeler arası büyük bir krize neden olabilir ve bu durum iki ülke arasında savaş başlamasına sebep olabilir veya savaş halindeki iki ülkenin savaşı bitirmesini de sağlayabilir.
Telekomünikasyon ya da haberleşme mühendisliği, her türlü haberleşme sisteminin tasarım, üretim ve geliştirilmesi üzerine çalışan mühendislik dalıdır.
Görüntü çözücü, sayısal görüntülerin sıkıştırılabilmesi için kullanılan donanım ya da yazılım birimidir. Sıkıştırmada genellikle kayıplı veri sıkıştırma yöntemleri kullanır.
Endüstri mühendisliği ya da sanayi mühendisliği, insan, malzeme ve makineden oluşan bütünleşik sistemlerin kuruluş ve devamlılığının yönetimi ile ilgilenen mühendislik dalıdır. Endüstri mühendisleri, diğer mühendislik dallarının birçoğunun derslerini de alıp, üzerine işletme, yönetim, üretim, ekonomi ve endüstri mühendisliğine özel derslerle birlikte diğer mühendislik alanlarının yöneticilik yetkisine sahip mühendislik dalı.
Sıralama algoritması, bilgisayar bilimlerinde ya da matematikte kullanılan, verilen bir listenin elemanlarını belirli bir sıraya sokan algoritmadır. En çok kullanılan sıralama türleri, sayı büyüklüğüne göre sıralama ve alfabetik sıralamadır. Sıralama işleminin verimli yapılması, arama ve birleştirme algoritmaları gibi çalışması için sıralanmış dizilere gereksinim duyan algoritmaların başarımının yüksek olması için önemlidir. Sıralama algoritmaları bilgisayarlarda tutulan verilerin düzenlenmesini ve insan kullanıcı tarafından daha rahat algılanmasını da sağlar.
Yazılım tasarımı, bir sorunun yazılım çözümü için, sorun giderme ve planlama aşamasıdır. Yazılımın özellikleri kararlaştırıldıktan sonra yazılım geliştiricileri sorun için bir çözüm geliştirir. Bu aşama mimarisel görünüm kadar, alt düzey algoritma gerçeklemeyi de içerir. Yazılım tasarımı için programlamanın ilk aşaması da diyebiliriz. Programlama işlemine başlamadan önce mutlaka ön çalışma yapmak ve programın nasıl işleyeceğini ortaya koymak gerekir. Programlama makine dili veya yüksek seviyeli bir programlama dili kullanılarak yapılır.
Soyut makine veya soyut bilgisayar, özdevinirler kuramında kullanılan kuramsal bir bilgisayar donanım ve yazılım sistemidir. Hesaplama kuramında soyut makineler algoritma çözümlemesi gibi alanlardaki düşünce deneylerinde kullanılırlar. Soyut bir makine genelde girdileri, çıktıları ve girdiden çıktı üretebilmek için gereken işlemlerin tanımlanmasıyla oluşturulur.
Teknoloji eğitimi teknolojik alanlarda yapılan egitimlerdir. Elektrik aksamı ve yapılarının incelendiği donanım ile temel algoritma bilgisinin verildiği yazılım alt dallarından oluşmaktadır. Donanım eğitimleri genel başlıkları: - Sistem eğitimi - Network eğitimi - CEH eğitimi
Sonlanma problemi, hesaplanabilirlik kuramı'nda, "girdileri ve tanımı verilen bir bilgisayar programının çalışmasını sonlandıracağına ya da sonsuza kadar çalışacağına" karar verme problemidir. Tüm program-girdi çiftleri için çözüm sağlayacak bir algoritmanın olamayacağı 1936 yılında Alan Turing tarafından kanıtlanmıştır.
Teorik bilişim biliminde ve matematikte hesaplanabilirlik teorisi, belirli bir hesap modeline ait soruların uygun bir komut silsilesi ile ne kadar verimli bir şekilde çözülebileceğiyle ilgilenen daldır. Alan, üç yan ana dala ayrılmaktatır. Otomat teorisi ve dil, hesaplanabilirlik kuramı ve hesapsal karmaşıklık kuramı ki bunlar şu soru ile birbirine bağlanır:'Bilgisayarların temel kabiliyetleri ve sınırlamaları nelerdir?'
Hesaplamalı karmaşıklık teorisi, hesaplama problemlerini kendi zorluklarına göre sınıflandırmaya ve bu sınıfları birbirleriyle ilişkilendirmeye odaklanan teorik bilgisayar bilimlerinde hesaplama teorisinin bir dalıdır. Bir hesaplama probleminde prensip, algoritmada belirtilen matematiksel adımların mekaniğe uygulanması yoluyla probleme yaklaşmaktır. Ve bununla beraber hesaplama karmaşıklık teorisindeki problemler, eşdeğer bir bilgisayar tarafından çözülebilen ortamlarda kullanılır.
Hesaplamalı geometri, geometri açısından ifade edilebilen algoritmaların incelenmesine ayrılmış bilgisayar bilimlerinin bir dalıdır. Bazı çalışmalar tamamen geometrik problemlerden meydana gelirken bazıları ise hesaplamalı geometrik algoritmaların incelenmesi sonucunda meydana gelmektedir. Bunun gibi problemlerin hesaplama geometrisinin bir parçası olduğu düşünülmektedir. Modern hesaplamalı geometri son zamanlarda gelişme göstermesine karşın, tarihin antik dönemine kadar uzanan en eski bilgi işlem alanlarından biridir.
Robert W. (Bob) Floyd, Amerikalı bilgisayar bilimcisi. Bir çizgedeki en kısa yolları bulmaya yarayan Floyd-Warshall algoritmasıyla tanınmıştır. 1967 tarihli Assigning Meanings to Programs makalesiyle program doğrulama dalının temellerini atan Floyd 1978'de Turing Ödülü'ne değer görülmüştür.
Analiz, karmaşık bir konuyu veya maddeyi daha iyi anlamak için daha küçük parçalara ayırma sürecidir. Teknik, matematik ve mantık çalışmalarında Aristoteles'ten önce uygulanmıştır.
Hesaplanabilir fonksiyonlar, hesaplanabilirlik teorisinde kullanılan temel nesnelerdir. Hesaplanabilir fonksiyonlar, algoritmaların sezgisel kavramının resmîleştirilmiş analoğudur. Bir fonksiyonun, fonksiyonun işini yapabilen bir algoritma varsa hesaplanabilir olması, yani fonksiyon alanının bir girdisi verildiğinde karşılık gelen çıktıyı vermesidir. Hesaplanabilir fonksiyonlar, Turing makineleri veya kayıt makineleri gibi herhangi bir somut hesaplama modeline atıfta bulunmadan hesaplanabilirliği tartışmak için kullanılır. Hesaplanabilir işlevler kümesine yol açan belirli hesaplanabilirlik modelleri, Turing-hesaplanabilir işlevler ve genel özyinelemeli işlevlerdir.