Какой раздел информатики занимается теорией формальных языков и автоматов, теориями вычислимости и сложности, теорией графов, криптологией, логикой, формальной семантикой?
- Прикладная информатика
- Техническая информатика
- Естественная информатика
- Практическая информатика
- Теоретическая информатика
К сожалению, у нас пока нет статистики ответов на данный вопрос,
но мы работаем над этим.