diff options
Diffstat (limited to 'content/digarden/pages/20210427161042-кибернетика.org')
| -rw-r--r-- | content/digarden/pages/20210427161042-кибернетика.org | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/content/digarden/pages/20210427161042-кибернетика.org b/content/digarden/pages/20210427161042-кибернетика.org new file mode 100644 index 0000000..5c4c47b --- /dev/null +++ b/content/digarden/pages/20210427161042-кибернетика.org @@ -0,0 +1,25 @@ +:PROPERTIES: +:ID: 694b30d2-e439-4efd-850d-0ffdc7b80093 +:END: +#+title: Кибернетика +Здесь находится то, что скорее относится к теории информатики, а не к реализация +с использованием [[id:77d32578-cf7b-4947-8351-ca2fe19bbf6f][языков программирования]]. + +Теории: +- [[id:263c2aab-e5d0-4926-983d-885a5ee32a36][Теория вычислений]] +- [[id:d8aeeba4-4dce-44a4-aaf0-68338af0ce7a][Теория категорий]] + +- [[https://softwarefoundations.cis.upenn.edu][Основания информатики]] + +Термины: +- [[id:46fd8a93-c8de-49d7-bddc-1dcc61b23cef][Сложность]] +- [[id:661eb1aa-781a-4694-a11b-3dfe4ade635f][Лямбда-куб]] +- [[id:ad26933b-e21d-421e-90af-93dca2c6acaf][Квадрат типизации]] + +Проблемы: +- [[id:b030aa93-44c1-4c21-96c7-506a6d9f30ba][Проблема фунарга]] +- [[id:1cdf4f3f-67ad-4427-996a-783b0f210b8b][Проблема остановки]] + +Учебники (теория): +- Информатика + https://kpolyakov.spb.ru |