TGViewer
Covalue Covalue @covalue · 886 subscribers
Post #105 1.76K
Сегодня в 12:30 UTC (через 1.5 часа) планирую постримить на ютюб-канале разбор диалоговой семантики и вайб-кодинг солвера на её основе. Подключайтесь, кому интересно!
Telegram Covalue Piecha, [2013] "Three Lectures on Dialogues" Три лекции по диалоговой семантике интуиционистской логики. Диалоговая семантика - это интерпретация логических формул, придуманная Паулем Лоренценом и его учеником Куно Лоренцем в 1950х годах. Она основана на…
  • ❤ 14
  • 🔥 7
Open in Telegram All posts from @covalue
More from @covalue
  1. Jul 24, 2026Post #120
  2. Jul 21, 2026Следующая лекция по теориям типов (STLC и System T) пройдет в среду 5 августа, в то же вре…
  3. Jul 15, 2026Первая лекция через час, зум-ссылка в календаре.
  4. Jul 7, 2026Онлайн-курс «Современные теории типов» В среду 15 июля в 19:00 CEST/UTC+2 (20:00 MSK) в Ла…
  5. May 22, 2026Начинаем
  6. May 22, 2026Сегодня в 12:30 UTC (через ~2 часа) планирую постримить формализацию понятия рефлексивных…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →