Skip to content

Instantly share code, notes, and snippets.

@suhr
Created June 19, 2023 09:06
Show Gist options
  • Save suhr/f772a02c68bf5d288d71d9095e74cc2c to your computer and use it in GitHub Desktop.
Save suhr/f772a02c68bf5d288d71d9095e74cc2c to your computer and use it in GitHub Desktop.

Как рассуждать в программировании (ссылки)

База — формальные доказательства:

База — математика:

  • «Конкретная математика. Основание информатики» (Д. Кнут)

Корректность императивных программ — логика Хоара:

Производительность программ:

Статический анализ программ:

  • Abstract interpretation

Представление данных:

Представления программ:

  • Continuation-Passing Style
  • Static Single Assignment form

Моделирование систем:

Диаграммы:

  • (Hierarchical) State Machines
  • Sequence Diagrams
  • Entity-Relation Diagrams
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment