Це книга про Linux-додаток під назвою HomotopyTypeTheory-UnivalentFoundationsofMathematics,FirstEditionsourcecode.tar.gz. Її можна запускати онлайн на безкоштовному хостинг-провайдері OnWorks для робочих станцій.
Завантажте та запустіть онлайн цю програму під назвою «Book with OnWorks» безкоштовно.
Дотримуйтесь цих інструкцій, щоб запустити цю програму:
- 1. Завантажив цю програму на свій ПК.
- 2. Введіть у наш файловий менеджер https://www.onworks.net/myfiles.php?username=XXXXX із потрібним ім'ям користувача.
- 3. Завантажте цю програму в такий файловий менеджер.
- 4. Запустіть онлайн-емулятор OnWorks Linux або Windows або онлайн-емулятор MACOS з цього веб-сайту.
- 5. З ОС OnWorks Linux, яку ви щойно запустили, перейдіть до нашого файлового менеджера https://www.onworks.net/myfiles.php?username=XXXXX з потрібним іменем користувача.
- 6. Завантажте програму, встановіть її та запустіть.
ЕКРАНИ
Ad
книга
ОПИС
Канонічний неофіційний підручник з теорії гомотопічних типів, започаткований в Інституті перспективних досліджень (2012–13) в рамках проекту Univalent Foundations. Він представляє теорію педагогічно, не вимагаючи використання помічника з технічного доведення.
Функції
- Вичерпний вступ до теорії гомотопічних типів та однолистності
- Акцент на інтуїції та математичних міркуваннях без помічників з доведення
- Частина ширшої ініціативи одновалентних фондів
- Розповсюджується за ліцензією CC‑BY‑SA 3.0
- Внески приймаються через PR та проблеми GitHub
- Щонічні збірки та скомпільовані версії доступні онлайн
Мова програмування
Python
Категорії
Цю програму також можна завантажити з https://sourceforge.net/projects/book.mirror/. Вона розміщена на OnWorks для найпростішого запуску онлайн з однієї з наших безкоштовних операційних систем.
