İçindekiler
20 ilişkiler: Algoritma, Algoritma analizi, Association for Computing Machinery, Çizge teorisi, Bilgi teorisi, Bilgisayar bilimi, Dağıtık hesaplama, European Association for Theoretical Computer Science, Hesaplamalı biyoloji, Hesaplamalı geometri, Kategori teorisi, Kriptografi, Kuantum bilgisayarı, Makine öğrenimi, Mantık, Matematik, Matematiksel mantık, Otomat teorisi, Sayılar teorisi, Veri yapısı.
- Formal bilimler
Algoritma
akış şemaları kullanılır. 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.
Görmek Teorik bilgisayar bilimi ve Algoritma
Algoritma analizi
Algoritma analizi veya diğer adıyla algoritma çözümlemesi, bilgisayar biliminde bir algoritmayı çalıştırabilmek için gereken kaynakların (zaman, yer gibi) miktarının tespitidir.
Görmek Teorik bilgisayar bilimi ve Algoritma analizi
Association for Computing Machinery
Bilgisayar Derneği (İng: Association for Computing Machinery; kısaca ACM), bilgisayar bilimleri alanındaki en eski mesleki kuruluştur. 1947'de kurulmuş, günümüzde 80.000 üyeye ulaşmıştır.
Görmek Teorik bilgisayar bilimi ve Association for Computing Machinery
Çizge teorisi
Örnek bir çizge Graf teorisi, çizge teorisi veya çizit teorisi, grafları inceleyen matematik dalıdır. Graf, düğümler ve bu düğümleri birbirine bağlayan kenarlardan oluşan bir tür ağ yapısıdır.
Görmek Teorik bilgisayar bilimi ve Çizge teorisi
Bilgi teorisi
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.
Görmek Teorik bilgisayar bilimi ve Bilgi teorisi
Bilgisayar bilimi
Bilgisayar biliminin temel alanları bilgisayar programlama dillerini (sol üst), algoritmaların dizayn ve analizini (sağ üst), akıllı sistemlerin yapılmasını (sol alt) ve elektrik donanımları (sağ alt) kapsar.
Görmek Teorik bilgisayar bilimi ve Bilgisayar bilimi
Dağıtık hesaplama
Dağıtık hesaplama bilişim biliminde dağıtık sistemleri inceleyen bir bilim dalıdır. Dağıtık sistem, birden fazla otomatik bilgisayarın bir ağ üzerindeki iletişimidir.
Görmek Teorik bilgisayar bilimi ve Dağıtık hesaplama
European Association for Theoretical Computer Science
EATCS logosu European Association for Theoretical Computer Science, kısaca EATCS, 1972 yılında kurulan Avrupa odaklı, uluslararası bir kuruluştur.
Görmek Teorik bilgisayar bilimi ve European Association for Theoretical Computer Science
Hesaplamalı biyoloji
Bir protein interaksiyon ağı. Hesaplamalı biyoloji alanında kullanılan metodlar sonucu elde edilmiş bir görsel. Hesaplamalı biyoloji veya bilişimsel biyoloji, biyolojik, ekolojik, davranışsal ve sosyal sistemlerin araştırılmasında veri analitik ve teorik yöntemlerin, matematiksel modelleme ve hesaplamalı simülasyon tekniklerinin geliştirilmesini ve uygulanmasını içerir.
Görmek Teorik bilgisayar bilimi ve Hesaplamalı biyoloji
Hesaplamalı geometri
Hesaplama geometrisinde kullanılan ve verimli bölgelerin sorgulanmasına izin veren bir veri yapısı. Hesaplamalı geometri, geometri açısından ifade edilebilen algoritmaların incelenmesine ayrılmış bilgisayar bilimlerinin bir dalıdır.
Görmek Teorik bilgisayar bilimi ve Hesaplamalı geometri
Kategori teorisi
Kategori teorisi ya da Ulam kuramı, matematiksel yapılar ve bunlar arasındaki ilişkilerle soyut olarak ilgilenen bir matematik kuramıdır. Kategori kuramı, öğelere (nesnelere) yoğunlaşan küme kuramının aksine, nesneler arası ilişkilere (morfizmlere) odaklanır.
Görmek Teorik bilgisayar bilimi ve Kategori teorisi
Kriptografi
Kriptografi, kriptoloji ya da şifreleme (Eski Yunancadan: κρυπτός, romanlaştırılmış: kryptós "gizli, saklı" ve γράφειν graphein, "yazma" veya -λογία -logia, "çalışma"), okunabilir durumdaki bir verinin içerdiği bilginin istenmeyen taraflarca anlaşılamayacak bir hale dönüştürülmesinde kullanılan yöntemlerin tümüdür.
Görmek Teorik bilgisayar bilimi ve Kriptografi
Kuantum bilgisayarı
D-Wave Systems Inc. tarafından imal edilen ve bir numune tutucuya monte edilmiş ve tel bağlanmış bir yonganın fotoğrafı. D-Wave işlemci, işlemleri gerçekleştirmek için kontrol edilebilir ve ayarlanabilir bağlantıyı gösteren 128 süper iletken mantıksal ögeyi kullanmak üzere tasarlanmıştır.
Görmek Teorik bilgisayar bilimi ve Kuantum bilgisayarı
Makine öğrenimi
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.
Görmek Teorik bilgisayar bilimi ve Makine öğrenimi
Mantık
Mantık ya da eseme, bilginin yapısını inceleyen, doğru ile yanlış arasındaki akıl yürütmenin ayrımını yapan disiplindir, doğru düşüncenin aletidir.
Görmek Teorik bilgisayar bilimi ve Mantık
Matematik
Sudoku matematik oyunu. Hesap Makinesi Matematik (Yunanca μάθημα máthēma, "bilgi, çalışma, öğrenme"); sayılar, felsefe, uzay ve fizik gibi konularla ilgilenir.
Görmek Teorik bilgisayar bilimi ve Matematik
Matematiksel mantık
Matematiksel mantık biçimsel mantığın matematiğe uygulanmasıyla ilgilenen bir matematik dalıdır. Metamatematik, matematiğin temelleri ve kuramsal bilgisayar bilimi alanlarıyla yakınlık gösterir.
Görmek Teorik bilgisayar bilimi ve Matematiksel mantık
Otomat teorisi
Bir otomat örneği. Otomat teorisinde, bu gibi otomatların matematiksel özellikleri incelenir. Otomat teorisi (özdevinim kuramı ya da otomata teorisi), teorik bilgisayar biliminde soyut makineleri (ya da daha uygun bir deyimle soyut 'matematiksel' makineleri veya sistemleri) ve bu makineleri kullanarak hesaplama problemlerinin çözülebilmesini araştıran daldır.
Görmek Teorik bilgisayar bilimi ve Otomat teorisi
Sayılar teorisi
Sayılar teorisi (ya da aritmetik), tamsayılar ve bunlarla ilgili işlemleri inceleyen bilim dalıdır. Sayılar teorisi, tam sayıların (özellikle pozitif) özelliklerini inceleyen matematiğin bir alanıdır.
Görmek Teorik bilgisayar bilimi ve Sayılar teorisi
Veri yapısı
Veri yapısı, bilgisayar ortamında verilerin etkin olarak saklanması ve işlenmesi için kullanılan yapı. Veri yapıları, verilerin düzenlenme biçimini belirleyen yapıtaşlarıdır.
Görmek Teorik bilgisayar bilimi ve Veri yapısı
Ayrıca bakınız
Formal bilimler
- Örüntü tanıma
- Bilgi teorisi
- Bilgisayar bilimi
- Bilgisayarlı dilbilim
- Fen bilimleri
- Formal bilim
- Karar teorisi
- Kriptografi
- Kuyruk teorisi
- Mantık
- Mantıksal analiz
- Matematik
- Oyun teorisi
- Teorik bilgisayar bilimi
- Veri madenciliği
- Yapay zekâ
- İstatistik
Ayrıca bilinir Kuramsal bilgisayar bilimi.