Hesaplama Kuramı

Alt konular

• Otomatlar ve Biçimsel Diller
• Hesaplanabilirlik ve Karar Verilebilirlik
• Hesaplamalı Karmaşıklık Kuramı
• Hesaplamada Mantık
• Hesaplama Modelleri

Bu kavram için yöntemler

• Automated Theorem Proving
• Dijkstra Algorithm
• Zero-Knowledge Proof
• Dynamic Programming
• Binary Decision Diagram
• Blockchain Consensus
• Constraint Programming
• Shor's Algorithm

İlgili kavramlar

• Algoritmalar ve Veri Yapıları
• Matematiksel Mantık ve Temelleri
• Matematik
• Ayrık Matematik ve Kombinatorik
• Sayı Kuramı
• Olasılık Kuramı