blob: 5c4c47b153387b315bec590e2a2f9326df00add4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
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
|
