Дальше еще можно:
DiFoS — архив материалов
Thomas Piecha — материалы и публикации
Идея, как обычно, в том, чтобы посчитать и выиграть диалог при любом допустимом поведении оппонента.
#девкилюбятматематику
#вестникуправленца
Post #1843
132
Covalue Piecha, [2013] "Three Lectures on Dialogues" Три лекции по диалоговой семантике интуиционистской логики. Диалоговая семантика - это интерпретация логических формул, придуманная Паулем Лоренценом и его учеником Куно Лоренцем в 1950х годах. Она основана на…