Категорія:Теоретична інформатика

Е

• [+] Еволюційні обчислення‎ (1 К)

К

• [×] Квантовий комп'ютер‎ (11 С)

Н

• [×] Нерозв'язані проблеми інформатики‎ (5 С)

П

• [+] Псевдовипадковість‎ (1 К, 7 С)

Т

• [+] Теорія алгоритмів‎ (6 К, 45 С)
• [+] Теорія графів‎ (10 К, 50 С)
• [+] Теорія інформації‎ (3 К, 24 С)
• [+] Теорія компіляторів‎ (1 К, 8 С)

Ф

• [+] Формальні методи‎ (2 К, 27 С)
• [+] Формальні мови‎ (5 К, 26 С)

А

• Алгоритм
• Алгоритміка

Д

• ДНК-комп'ютер

З

• Закон Густавсона — Барсіса

І

• Ідемпотентність

К

• Квантова машина Тюрінга
• Квантовий комп'ютер

Л

• Логіка першого порядку
• Лямбда-числення

М

• Машина Тюрінга
• Машинне навчання

П

• Христос Пападімітріу
• Паралелізм (інформатика)
• Пі-числення
• Премія Геделя
• Премія Кнута
• Псевдовипадкова послідовність

Т

• Теоретична інформатика

Т прод.

• Теорія алгоритмів
• Теорія графів
• Теорія інформації
• Теорія складності обчислень

Ф

• Формальна верифікація
• Формальна мова
• Формальні методи