| |||
|
|
Математическую логику, алгебру, теорию чисел, анализ и теорию вероятностей, на общеобразовательном уровне. Из специальных вещей - комбинаторику, алгоритмы и структуры данных, теорию сложности, теорию вычислимости (в рамках логики), криптографию, формальные языки, семантику языков программирования. Полезные книги: * Кнут, Искусство программирования (всё опубликованное и неопубликованное) * Грэм-Кнут-Паташник, Конкретная математика * Верещагин-Шень, Математическая логика и теория алгоритмов (в трех частях) * Sipser, Introduction to the theory of computation * Кормен-Лейзерсон-Ривест-Штайн, Алгоритмы Добавить комментарий: |
|||