Теоретическую базу информатики составляют, например, такие математические разделы:
  - Математическая логика.                                                                          obrazovaka.ru                       Изучает применение математических методов для решения логических задач и построения логических схем, которые лежат в основе работы любого компьютера.                                                                          obrazovaka.ru                      
- Вычислительная математика.                                                                          obrazovaka.ru                       Разрабатывает методы решения задач на компьютерах с использованием алгоритмов и программ.                                                                          obrazovaka.ru                      
- Теория кодирования информации.                                                                          obrazovaka.ru                       Специализируется на изучении и разработке методов представления информации в компьютере.                                                                          obrazovaka.ru                      
- Моделирование.                                                                          obrazovaka.ru                       Занимается изучением и разработкой методов моделирования, для представления реальных объектов в виде математических моделей.                                                                          obrazovaka.ru                      
- Теория принятия решений.                                                                          obrazovaka.ru                       Разрабатывает общие схемы, задачи, направления при принятии решения.                                                                          obrazovaka.ru                       Включает в себя теорию исследования операций и теорию игр.                                                                          obrazovaka.ru                      
Также в исследованиях теоретических вопросов информатики активно используются такие разделы математики, как теория множеств, общая алгебра, линейная алгебра, математический анализ, теория вероятностей и математическая статистика, комбинаторика, теория графов и топология.                                                                          kpfu.ru