Weak head normal form WHNF
10:02
3 ай бұрын
church numerals multipliaction
8:28
Add church numerals
12:38
3 ай бұрын
church numerals
4:56
3 ай бұрын
Pairs with lambda calculus
3:28
4 ай бұрын
referential transparency
11:58
4 ай бұрын
Newman's lemma
5:20
4 ай бұрын
Reduction strategy
6:56
5 ай бұрын
Word problem (mathematics)
14:59
5 ай бұрын
What is term in math logic?
11:49
5 ай бұрын
Church-Rosser property and  theorem
12:18
Abstract rewriting system
8:58
5 ай бұрын
Confluence of rewriting systems
19:50
Rewriting in mathematics
6:38
5 ай бұрын
Factorial with lambda calculus
13:48
Lambda Calculus Calculator
3:17
5 ай бұрын
What is Fixed point
6:32
5 ай бұрын
Пікірлер
@brokk-rn8vs
@brokk-rn8vs 13 күн бұрын
ублюдство не показал как переводить в 5 6 7 ричные системы
@user-if1dj7fy2y
@user-if1dj7fy2y 18 күн бұрын
Чудесно звучит как ❤🎉 А когда будет продолжение этой темы разговора 😮
@mal4ugang
@mal4ugang 24 күн бұрын
биток 20к….
@7evens238
@7evens238 Ай бұрын
огромные сиськи приваблюють
@tonyb5351
@tonyb5351 Ай бұрын
Чувак переустанови винду. Всё лагает пипец
@lambdaway
@lambdaway Ай бұрын
Кому?)
@user-eq9du1ky4i
@user-eq9du1ky4i 2 ай бұрын
Григорий фалькович профессор физики
@jeniohurenito6049
@jeniohurenito6049 2 ай бұрын
ohuenno
@Erohalo
@Erohalo 2 ай бұрын
Штробассом перебарщиваешь.
@user-kc9zg4mr7w
@user-kc9zg4mr7w 3 ай бұрын
И побрейся
@lambdaway
@lambdaway 3 ай бұрын
Еще пожелания?
@user-kc9zg4mr7w
@user-kc9zg4mr7w 3 ай бұрын
На русском языке говори
@user-wg6wi1zm2h
@user-wg6wi1zm2h 3 ай бұрын
Спасибо большое, очень быстро и понятно
@lambdaway
@lambdaway 3 ай бұрын
Благодарю
@KopoLPedov
@KopoLPedov 3 ай бұрын
вы вступили в игил?
@lambdaway
@lambdaway 3 ай бұрын
Рефку дать?)
@saefsasdf
@saefsasdf 4 ай бұрын
Спасибо, теперь понятнее
@saefsasdf
@saefsasdf 4 ай бұрын
Спасибо, наконец-то теперь все прнятно
@lambdaway
@lambdaway 4 ай бұрын
Ахах) главное не останавливаться :)
@jinnzhu768
@jinnzhu768 4 ай бұрын
thank you for the nice lecture🎉,would you like to create a playlist for this series video?
@lambdaway
@lambdaway 4 ай бұрын
thank you! I just created a playlists for formal systems and lambda calculus kzbin.info/aero/PL79T_6pcZAxx9WAK85QJGdpT-6GJ-E1PJ kzbin.info/aero/PL79T_6pcZAxxI7k5g4U6NPbeDYZRgpMM8
@ArchmageSSS
@ArchmageSSS 4 ай бұрын
Все круто, но нужно бы получше план урока расписывать, чтобы легче было рассказывать
@andreysakharov6210
@andreysakharov6210 5 ай бұрын
Love it!
@viktorianeizvestnaa
@viktorianeizvestnaa 5 ай бұрын
Прошло 7 лет, а видео помогает людям до сих пор)
@user-ii8hf9zn8d
@user-ii8hf9zn8d 5 ай бұрын
What.I don't understand anything, translate your videos into English
@firstplayer758
@firstplayer758 5 ай бұрын
Очень круто и материал и подача, микрофон бы только получше.
@lambdaway
@lambdaway 5 ай бұрын
Благодарю)
@yasniyrazum
@yasniyrazum 6 ай бұрын
Без "фиговины" было бы лучше. Мы даже смотреть не стали до конца этот ролик, будем искать более грамотную подачу материала.
@user-uf7mv2dh2i
@user-uf7mv2dh2i 6 ай бұрын
Вы очень смышленый, малый! Очень красивы и умны!
@abhijit-sarkar
@abhijit-sarkar 6 ай бұрын
Perhaps next time don't record in the vicinity of a construction zone or whatever is making those gawd awful noises.
@user-yu4og4cp6o
@user-yu4og4cp6o 6 ай бұрын
все четко, спасибо
@user-no7sl1yk3f
@user-no7sl1yk3f 6 ай бұрын
Чел, спасибо тебе большое, коротко понятным языком по полочкам раскидал
@londonvill
@londonvill 6 ай бұрын
Спасибо!
@uaqsop7487
@uaqsop7487 7 ай бұрын
лучшее объяснение из всего доступного материала
@sashakuzin4458
@sashakuzin4458 7 ай бұрын
Я думал тут про костыли в коде, магические числа и всё в этом роде. А тут про здоровье. Только в конце идёт затрагивание самой темы программирования.
@peterthomson1753
@peterthomson1753 7 ай бұрын
When I run Cabal init my computer does not create a main.hs file, only project.cabal, changelog and "app". Do you have any idea why this happens?
@X1th
@X1th 7 ай бұрын
06:38 Вот эта вот Графическая демонстрация для меня всё расставила на свои места. Благодарю!
@user-bi7vn6nw9y
@user-bi7vn6nw9y 8 ай бұрын
Спасибо, очень хорошо прояснили тему)
@CJ-hr9ig
@CJ-hr9ig 8 ай бұрын
Есть тут моменты где человек лишний раз не раскрывает что от куда берётся, ибо видно что сам не понимает про что говорит) Надо лучше подготавливаться)
@djadjaandrey
@djadjaandrey 8 ай бұрын
Thanks a million!!!
@mega_hacker_228
@mega_hacker_228 8 ай бұрын
Спасибо огромное, всё понятно и быстро!!!!
@w1llbefine
@w1llbefine 9 ай бұрын
Глубоко))
@user-iq9ds4yt4y
@user-iq9ds4yt4y 9 ай бұрын
Чел хорош круто обяснил на моем языке ,,фиговина1 фиговина2'' (не сорказм)
@user-ss1gb9of6n
@user-ss1gb9of6n 9 ай бұрын
Чертов гений, я его со школы не понимал 😢😢😢😢😢😢😢😢😢😢
@shigemigames
@shigemigames 9 ай бұрын
Число - это мера, выраженная в материальном представлении
@mrwicked820
@mrwicked820 9 ай бұрын
{'ok': False, 'error_code': 404, 'description': 'Not Found'}
@griffon200
@griffon200 10 ай бұрын
Зачем цыкать цокать причавкивать как щенок. Автор, слюной не давись
@velikiy_i_slepoy
@velikiy_i_slepoy 10 ай бұрын
Спасибо за объяснение!
@McGewen
@McGewen 10 ай бұрын
Donald!!!!!!!
@McGewen
@McGewen 10 ай бұрын
качок-ботанік)
@dmitrya9489
@dmitrya9489 10 ай бұрын
Благодарю вас
@KapibaraZarathrustra
@KapibaraZarathrustra 10 ай бұрын
хороший курс! спасибо
@fake_kira
@fake_kira 11 ай бұрын
Спасибо большое, полезное видео
@tserk2335
@tserk2335 11 ай бұрын
Не работает
@HDDopler
@HDDopler 11 ай бұрын
Козлина! Назови видос по другому!
@ivanpriz4547
@ivanpriz4547 11 ай бұрын
Great video!
@guess8193
@guess8193 Жыл бұрын
Брат, все четко и понятно, сяб