Предлагаем ознакомиться с малоизвестным, но весьма интересным разделом математики - теневым исчислением. Это техника получения алгебраических тождеств, которая возникла на пересечении комбинаторики и классического анализа. Теневое исчисление долго существовало как необоснованная, и плохо формализированная, но эффективная техника в комбинаторике, пока в 60-х - 70-х годах Джиан-Карло Рота не смог построить теневое исчисление как строго обоснованный раздел математики. Здесь прикреплена статья Стивена и Рота 1978 года, в которой теневое исчисление впервые было полностью изложено.
ODS запускает открытый курс по квантовому машинному обучению. Курс максимально практический и организован через трек ODS. Регистрация на курс через аккаунт ODS. Курс не сильно теоретический, а наоборот, много примеров на NumPy и PennyLane. В посте представлены все подробности и ссылки на Jupyter Book и открытый репозиторий курса. Также в воскресенье, 6 июня, пройдется секция DataFest по квантовым вычислениям с докладами от крутых спикеров.
Статья рассказывает о применении теории групп к кубику Рубика. Описывается математическая модель кубика, его группа и порядок элементов. Также упоминается центр группы и его элементы. Все это позволяет лучше понять структуру кубика и его возможности.
Курс Антона Трунова "Введение в формальную верификацию программ" начнется 11 марта и будет проходить по четвергам в 18:30. В рамках курса будут рассмотрены техники и инструменты формальной верификации программ, а также система интерактивного доказательства теорем Coq и ее применение к верификации функциональных алгоритмов. Участие в лекциях бесплатно и открыто для всех.
Все больше университетов отказываются от лекций в пользу онлайн-контента и видеороликов. Это позволяет студентам более творчески подходить к процессу обучения и освобождает больше времени для решения проблем и творчества в малых группах. В статье приводятся примеры университетов в Австралии и Великобритании, которые уже внедрили этот подход. #высшееобразование #ЦНТФ
В юбилейном выпуске подкаста Podlodka гость Виталий Брагилевский рассказывает о том, как учить языки программирования. Обсуждаются вопросы зачем и какие языки учить, а также как прокачивать свои профессиональные навыки. Также в выпуске анонсируется новый сезон Podlodka Android Crew с приятной скидкой по промокоду PODLODKA. Ссылки на сайт, Soundcloud, iTunes и Я.Музыку, а также на поддержку подкаста через Patreon.
Московский институт психоанализа предлагает несколько курсов по психоанализу, которые помогут расширить знания тем, кто не имеет специального образования. Курсы включают в себя систематизацию и обобщение основ психоанализа, понимание и изучение феноменов, клиническую картину современного мира, логотерапию и многое другое. Вы сможете лучше понять профессию психолога, научиться жить в мире с собой и другими, а также получить представление о логотерапевтическом подходе в психотерапевтической практике.
В статье рассказывается о том, как люди бывают необразованны в естественных науках. Автор приводит примеры заблуждений, которые ей доводилось слышать от разных людей, и делает вывод о том, что знание основ наук необходимо для полноценной жизни в современном мире.