Область
Авторы, связанные с логикой, алгоритмами, вычислениями, теорией информации, кодированием, цифровыми системами и компьютерными формулами.
вычисления, алгоритмы, история информатики / 5 формул
Ада Лавлейс увидела в вычислительной машине не только арифметический механизм, но и носитель алгоритма. Ее имя связывает раннюю информатику с разрядной записью, порядком операций и идеей формального правила обработки символов.
информатика, логика, алгоритмы / 5 формул
Алан Тьюринг дал математике строгий образ вычислимого алгоритма. Его имя уместно рядом с разрядной записью, порядком действий, последовательностями и матричными преобразованиями: расчет начинается с правил и состояний.
геодезия, практическая математика, вычислительные методы / 3 формулы
Вильгельм Жордан связан с практической геодезией и вариантом исключения, который доводит систему до приведенного ступенчатого вида. Его имя помогает отличить метод Гаусса-Жордана от других тем с фамилией Жордана и увидеть, зачем строки преобразуют до формы, из которой решение читается сразу.
математика, философия, логика / 54 формулы
Готфрид Вильгельм Лейбниц дал анализу язык дифференциалов, производных и интегралов, который до сих пор делает изменение видимым в самой записи. Его имя связывает dx, dy, знак интеграла, правило работы с переменной и переход от локального приращения к суммарному результату.
статистика, анализ данных, вычислительная математика / 5 формул
Джон Тьюки дал анализу данных практичный язык разведочного взгляда на выборку. Его имя особенно хорошо ложится рядом с квартилями, межквартильным размахом и выбросами, где сначала нужно увидеть структуру данных.
математика, информатика, функциональный анализ, теория игр / 7 формул
Джон фон Нейман соединяет линейные операторы, матрицы, вычисления, теорию игр и математическое моделирование решений. Его имя помогает читать спектральные идеи, алгоритмы, вероятностные модели и вычислительные схемы как части одного строгого языка.
математика, логика, алгебра логики / 6 формул
Джордж Буль превратил логические высказывания в алгебру, где истина и ложь подчиняются правилам операций. Его имя связывает условия IF, AND, OR, NOT, булевы выражения, фильтрацию данных и проверку сложных критериев в вычислениях.
математика, логика, аксиоматика, линейные пространства / 10 формул
Джузеппе Пеано принес в математику аксиоматический и логический стиль, важный для строгой записи объектов и операций. В линейной алгебре эта линия поддерживает язык векторных пространств, линейных комбинаций, отображений и условий, без которых формула легко превращается в набор символов.
информатика, алгоритмы, дискретная математика / 5 формул
Дональд Кнут сделал алгоритмы предметом строгого математического чтения. Его имя уместно рядом с дискретным счетом, матричным произведением и рядами, где нужно понимать не только ответ, но и структуру вычисления.
информатика, теория информации / 3 формулы
Клод Шеннон дал информации количественный язык: сообщение можно изучать через число возможных состояний, бит, алфавит, вероятность и канал передачи. В учебных формулах его линия помогает отделить смысл текста от измеримого объема информации и увидеть информатику как строгую математику.
математика, алгебра, алгоритмы / 6 формул
Мухаммад аль-Хорезми стоит у истоков алгебры как искусства пошагового преобразования уравнений. Его имя связывает линейные и квадратные уравнения, алгоритмы, вычислительные правила и переход от словесной задачи к процедуре, которую можно повторить и проверить.
