TGStat
TGStat
Qidiruv uchun matnni kiriting
Ilg‘or kanal qidiruvi
Uzbek
Sayt tili
Russian
English
Uzbek
Saytga kirish
Katalog
Kanal va guruhlar katalogi
Kanallar qidiruvi
Kanal/guruh qo‘shish
Reytinglar
Kanallar reytingi
Guruhlar reytingi
Postlar reytingi
Brendlar va shaxslar reytingi
Analitika
Postlarda qidiruv
Telegram'ni kuzatish
formal labs
12 Aug, 15:52
Telegram'da ochish
Ulashish
Shikoyat qilish
Ссылка на запись лекции 2 по теориям типов (STLC+System T):
https://us02web.zoom.us/clips/share/QrkQ7bSVRD-6O0Gwg62LRw
Современные теории типов. Лекция 2
Я представил System T как тотальный язык программирования с гарантированной терминацией. Объяснил его систему типов и продемонстрировал примитивные свойства рекурсии. Я показал, как диалектическая интерпретация переводит логические доказательства в исполняемые программы.
383
0
11
21
×
![](data:image/svg+xml;charset=utf-8,<svg width="640" height="640" style="background-color:%2344badc;font-family:Nunito,sans-serif" viewBox="0 0 100 100" preserveAspectRatio="xMidYMid meet" xmlns="http://www.w3.org/2000/svg">
<text font-size="30" x="50%" y="50%" dy="5" fill="white" dominant-baseline="middle" text-anchor="middle">fl</text>
</svg>)