Митофан Разделы информатики Математические основыСистемы счисления Целочисленные: двоичная, троичная, четверичная, ..Нецелочисленные: с основанием е, с другими основаниями. Криптография Алгоритмы для защиты конфиденциальной информации, включают в себя шифрование. Теория графов Основы структур данных и алгоритмов поиска. Математическая логика Булева логика и другие способы моделирования логических запросов. Теория типов Формальный анализ типов данных и использование этих типов для понимания свойств программ, в частности, их безопасности. Теория вычисленийТеория автоматов Разные логические структуры для решения задач. Теория вычислений Что можно вычислить, используя современные модели компьютеров. Теория сложности вычислений Основные ограничения (в особенности время и размер для хранения данных) классов вычислений. Алгоритмы и структуры данныхАлгоритмы Формальные логические процессы, используемые для вычислений и эффективность этих процессов. См. также Анализ алгоритмов. Структуры данных Организация и правила управления данными. Генетические алгоритмы Генетические алгоритмы - это способ поиска приблизительных решений задач поиска и оптимизаций. Языки программирования и трансля́торыТрансляторы Способы трансляции компьютерных программ, как правило, из языков программирования высокого уровня в языки низкого уровня. Компиляторы - трансляторы, которые проводят полную трансляцию всей программы (часто в несколько шагов) и на выходе выдают результат в виде исполняемого файла. После этого исполняемый файл можно запускать без повторной трансляции. Интерпретаторы - трансляторы, которые проводят трансляцию программы шаг за шагом, и выполняют ее также пошагово. При последующем запуске интерпретатору приходится выполнять все шаги интерпретации и исполнения заново. Языки программирования Формальные парадигмы языков для выражения алгоритмов и свойств этих языков (к примеру, на каком языке лучше решить данную задачу). Базы данныхПоиск данных Изучение алгоритмов для поиска и обработки информации в документах и базах данных; тесно связан с информационным поиском. Конкуррентные, параллельные и распределенные системыКонкуррентность Теория и практика одновременных вычислений; безопасность данных в любых многозадачных или многопоточных средах. Распределенные вычисления Вычисления, которые используют несколько компьютерных приборов через сеть для решения общей задачи. Компьютерные сети Алгоритмы и протоколы для надежной передачи данных через разные разделенные или выделенные ресурсы (см. также Коррекция ошибок). Параллельные вычисления Вычисление, использующее несколько конкуррентных потоков исполнения.
