Описание летней выездной школы по функциональному программированию:
Конструктивная верификация, model checking, индустриальное компиляторостроение, реверс-инжиниринг железа с перерывами на спорт, лошадей, личностный рост, поход, музыку, танцы, йогу, бёрнинг мэн, шахматы, показ мод, хайкинг и фотографию.
Конструктивная верификация, model checking, индустриальное компиляторостроение, реверс-инжиниринг железа с перерывами на спорт, лошадей, личностный рост, поход, музыку, танцы, йогу, бёрнинг мэн, шахматы, показ мод, хайкинг и фотографию.
Empty Name
In 1915, Emmy Noether was invited by David Hilbert and Felix Klein to join the mathematics department at the University of Göttingen, a world-renowned center of mathematical research. The philosophical faculty objected, however, and she spent four years…
вот казалось бы, модальная логика и Нётер
Альфред Норт Уайтхед как-то сказал: «Обращаться к метафизике все равно что бросать спичку в склад с порохом. Взорвется все вокруг»