- Популярные видео
- Авто
- Видео-блоги
- ДТП, аварии
- Для маленьких
- Еда, напитки
- Животные
- Закон и право
- Знаменитости
- Игры
- Искусство
- Комедии
- Красота, мода
- Кулинария, рецепты
- Люди
- Мото
- Музыка
- Мультфильмы
- Наука, технологии
- Новости
- Образование
- Политика
- Праздники
- Приколы
- Природа
- Происшествия
- Путешествия
- Развлечения
- Ржач
- Семья
- Сериалы
- Спорт
- Стиль жизни
- ТВ передачи
- Танцы
- Технологии
- Товары
- Ужасы
- Фильмы
- Шоу-бизнес
- Юмор
0.1 Intro: Abstract Algebra formalized from scratch with Turn-Lang
We start translating the book 《Abstract Algebra Theory and Applications》by Thomas W. Judson and Stephen F. Austin.
The full playlist: https://www.youtube.com/playlist?list=PLjojnQQrkjneT_B_JwTkrZWHw4Q3Nz1fZ
Join turn-lang waitlist: turn-lang.com/waitlist
My experience at Imperial help me make this new math language!
See for yourself at turn-lang.com
#education #imperialcollegelondon #imperial #programminglanguage #mathtools #mathematics
Видео 0.1 Intro: Abstract Algebra formalized from scratch with Turn-Lang канала TurnerZ
The full playlist: https://www.youtube.com/playlist?list=PLjojnQQrkjneT_B_JwTkrZWHw4Q3Nz1fZ
Join turn-lang waitlist: turn-lang.com/waitlist
My experience at Imperial help me make this new math language!
See for yourself at turn-lang.com
#education #imperialcollegelondon #imperial #programminglanguage #mathtools #mathematics
Видео 0.1 Intro: Abstract Algebra formalized from scratch with Turn-Lang канала TurnerZ
Комментарии отсутствуют
Информация о видео
22 мая 2026 г. 15:48:39
00:00:38
Другие видео канала
turn-lang: make method application mathematical!
0.2 Workspace Setup: Abstract Algebra formalized from scratch with Turn-Lang
How to make formal math more intuitive than informal math
1.1 Sets: Abstract Algebra formalized from scratch with Turn-Lang
Abstract algebra in Turn-Lang: why it is better that other math tools
after attending Imperial college, I made this programming language!
Why turn-lang could be the foundation of Computational Law?
How turn-lang is more intuitive than textbook for every math object!
The first pitfall in Abstract Algebra proof.
turn-lang: pretty math in easy step
Relax from math: Climb a Mountain 1
How to make formal math Mutli-National 🌏 ? Turn-lang is the anwser
How to show adjective-like math proposition
turn-lang is better than Lean at modelling proposition
