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.
| Bu madde bir . Bu maddeyi geliştirerek veya özelleştirilmiş birini koyarak Vikipedi'ye katkıda bulunabilirsiniz. |
Bilgisayar, aritmetik veya mantıksal işlem dizilerini (berim) otomatik olarak yürütmek üzere programlanabilen dijital bir elektronik makinedir. Çağdaş bilgisayarlar, programlar olarak bilinen genel işlem kümelerini gerçekleştirebilir. Bu programlar, bilgisayarların çeşitli görevleri gerçekleştirmesini sağlar. Ayrıca bir bilgisayar sisteminin tam verimle çalışabilmesi için donanım, işletim sistemi ve çevresel cihazlara sahip olması gerekmektedir. Bu terim aynı zamanda bir bilgisayar ağı veya bilgisayar kümesi gibi birbirine bağlı ve birlikte çalışan bir grup bilgisayar anlamına da gelebilir.
Mühendislik, köprüler, tüneller, yollar, araçlar ve binalar dahil olmak üzere makineler, yapılar ve diğer öğeleri tasarlamak ve inşa etmek için bilimsel ilkelerin kullanılmasıdır. Mühendislik disiplini, her biri uygulamalı matematik, uygulamalı bilim ve uygulama türlerinin belirli alanlarına özel vurgu yapan, geniş bir yelpazede uzmanlaşmış mühendislik alanları’nı kapsar.
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.
FAT, dosya sistemi'nin orijinali 1970'lerde ve 1980 yılları başında Microsoft MS-DOS işletim sistemi'nin desteklediği dosya sistemi olarak başlar.
Yapay zekâ ya da kısaca YZ,, insanlar da dahil olmak üzere hayvanlar tarafından, doğal zekânın aksine makineler tarafından görüntülenen zekâ çeşididir. İlk ve ikinci kategoriler arasındaki ayrım genellikle seçilen kısaltmayla ortaya çıkar. Güçlü yapay zeka genellikle Yapay genel zekâ olarak etiketlenirken, doğal zekayı taklit etme girişimleri yapay biyolojik zekâ olarak adlandırılır. Önde gelen yapay zeka ders kitapları, alanı zeki etmenlerin çalışması olarak tanımlar: Çevresini algılayan ve hedeflerine başarıyla ulaşma şansını en üst düzeye çıkaran eylemleri gerçekleştiren herhangi bir cihaz. Halk arasında, yapay zekâ kavramı genellikle insanların insan zihni ile ilişkilendirdiği öğrenme ve problem çözme gibi bilişsel eylemleri taklit eden makineleri tanımlamak için kullanılır.
Yazılım, değişik ve çeşitli görevler yapma amaçlı tasarlanmış elektronik aygıtların birbirleriyle haberleşebilmesini ve uyumunu sağlayarak görevlerini ya da kullanılabilirliklerini geliştirmeye yarayan makine komutlarıdır.
Makine, bir iş yapmak için kuvvet uygulamak ve hareketi kontrol etmek için güç kullanan fiziksel bir sistemdir. Terim genellikle motor kullanan yapay cihazlara veya moleküler makineler gibi doğal biyolojik makromoleküllere de uygulanır.
Makine mühendisliği, mekanik sistemlerin tasarım, analiz, imalat ve bakımı için mühendislik fiziği ve mühendislik matematiği ilkelerini malzeme bilimi ile birleştiren bir mühendislik dalıdır.
Turing makinesi, karmaşık matematiksel hesapların belirli bir düzenek tarafından yapılmasını sağlayan hesap makinesi.
Sanal makine, bilgisayar biliminde programları gerçek bir bilgisayar sistemindeki gibi çalıştıran mekanizmaların yazılım uyarlamasıdır. Sanal Makine, işletim sistemi ile bilgisayar platformu arasında bir sanal ortam yaratır ve bu sanal ortam üzerinde yazılımların çalıştırabilmesine imkân verir.
Kombinatorik, genellikle sonlu soyut nesneleri konu alan soyut matematik dalıdır. Dalla ilgilenen matematikçilere kombinatoryalist veya kombinatorist denir. Matematiğin, cebir, olasılık kuramı, ergodik teori ve geometri gibi farklı dallarıyla da ilgili olan kombinatorik ayrıca bilgisayar bilimi ve istatistiksel fizik gibi dallarda uygulanmıştır. Kombinatorik dahilindeki konulardan bazıları; belirli kriterleri karşılayan nesnelerin "sayılması", kriterlerin ne zaman karşılanmış olacağına karar vermek, kriterleri karşılayan nesnelerin inşa edilmesi ve analiz edilmesi, "en büyük", "en küçük" veya "optimal" nesneleri bulmak ve bu nesnelerin sahip olabileceği cebirsel yapıları bulmaktır.
Kullanıcı arayüzü ya da kullanıcı arabirimi, insanların bir makine, cihaz, bilgisayar programı ya da karmaşık aletlerle etkileşimini sağlayan yöntemlerin bileşkesine verilen addır.
Makine öğrenimi (ML), veriden öğrenebilen ve görünmeyen verilere genelleştirebilen ve dolayısıyla açık talimatlar olmadan görevleri yerine getirebilen istatistiksel algoritmaların geliştirilmesi ve incelenmesiyle ilgilenen, yapay zekâda akademik bir disiplindir. Makine öğrenimi, bilgisayarların deneyimlerinden öğrenerek karmaşık görevleri otomatikleştirmeyi sağlayan bir yapay zeka alanıdır. Bu, veri analizi yaparak örüntüler tespit etme ve tahminlerde bulunma yeteneğine dayanır. Son zamanlarda yapay sinir ağları, performans açısından önceki birçok yaklaşımı geride bırakmayı başardı.
Algoritma analizi veya diğer adıyla algoritma çözümlemesi, bilgisayar biliminde bir algoritmayı çalıştırabilmek için gereken kaynakların miktarının tespitidir. Algoritmaların çoğunluğu, rastgele seçilmiş uzunluktaki girdiler ile çalışmak için tasarlanmıştır. Genellikle, bir algoritmanın verimlilik veya çalışma zamanı, adımların sayısı veya depolama yerleri 'nin girdi uzunluğuyla ilişkili olan işlev olarak ifade edilir.
Java Sanal Makinesi (JSM), Java platformunun nesne modülü formatı olan class uzantılı sınıf dosyalarının belleğe yüklenip çalıştırılması için gereken hizmetleri sunan bir sistem programıdır ve temel görevinin sınıf dosyalarını yorumlamak olduğu söylenebilir. Ancak, JSM'ni salt bir yorumlayıcı olarak görmek büyük haksızlık olur. Zira, yorumlama ile birlikte JSM'nin şu görevleri de vardır.
Bilgi kuramı, bilginin nicelikselleştirilmesi ile ilgili bir uygulamalı matematik ve elektrik mühendisliği dalıdır. Bilgi kuramı; Claude E. Shannon tarafından güvenli şekilde veri sıkıştırma, depolama ve iletme gibi sinyal işleme işlemlerinin kısıtlarını bulmak için geliştirilmiştir.
Ayrıştırıcı, girdi verilerini alır ve girdinin yapısal bir temsilini vererek, süreçte doğru sözdizimini kontrol eden bir veri yapısı oluşturan bir yazılım bileşenidir. Ayrıştırma öncesinde veya sonrasında başka adımlar izlenebilir veya bunlar tek bir adımda birleştirilebilir. Ayrıştırıcı, genelde girilen karakter dizisinden belirteçler oluşturan ayrı bir sözcük tabanlı analiz motorunu takip eder. Ayrıştırıcılar elle programlanabilir veya bir ayrıştırıcı üreteci tarafından otomatik olarak veya yarı otomatik olarak oluşturulabilir. Ayrıştırma, biçimlendirilmiş çıktı üretimlerini tek bir şablonda tamamlama görevi görür. Bunlar, farklı etki alanlarına uygulanabilir, ancak bir derleyicinin girdi ve çıktı aşamaları gibi genellikle bir arada sunulur.
Manuel Blum, Venezuelalı bilgisayar bilimcisi. Hesaplamalı karmaşıklık kuramına yaptığı katkılardan ötürü 1995 yılında Turing Ödülü'nü almaya hak kazanmıştır. Massachusetts Teknoloji Enstitüsü mezunudur.
Richard Edwin Stearns, Amerikalı bilgisayar bilimcisi. Hesaplamalı karmaşıklık kuramına yaptığı katkılardan ötürü 1993 yılında Juris Hartmanis'le birlikte Turing Ödülü'nü almaya hak kazanmıştır. Doktora çalışmasını 1961'de Princeton Üniversitesi'nde tamamlamıştır.
Simatic Siemens tarafından 1958'de geliştirilen programlanabilir lojik kontrolör ve otomasyon sistemidir. Siemens'in bilgisayar kontrollü otomasyon ürünlerine verdiği addır. Dört ana nesilden geçmiştir.