1 149
مشترکین
اطلاعاتی وجود ندارد24 ساعت
-17 روز
-1430 روز
آرشیو پست ها
1 149
LAGRANGE VERSUS FERRARI vol.2
Листайте карточки ➡️
ℹ️ Словарные статьи Фактормножество и Ядро гомоморфизма
ℹ️ Статья на Википедии Тождества Ньютона
1 149
+7
LAGRANGE VERSUS FERRARI
Листайте карточки ➡️
ℹ️ Статья Комплексные числа – вымысел или реальность
ℹ️ Статья Формула Кардано и не только
1 149
+8
О диофантовыx приближенияx
Листайте карточки ➡️
ℹ️ Пост Знаете ли вы, что...
ℹ️ Статья Алгоритм Евклида
1 149
Repost from Европейский. Просто о сложном
Вебинар «Давайте посчитаем»: универсальная характеристика Лейбница, программа Гильберта и доказательство теорем с помощью компьютера
📌29 июля, 18:30 онлайн
➡️ На вебинаре куратор программы «Философия, математика и компьютерные науки» Андрей Родин расскажет об истории идеи автоматизации рассуждений и ее реализации с помощью современных электронных компьютеров
Обсудим вопрос о том, в какой мере автоматизация рассуждений способствует (или, наоборот, мешает) приобретению новых знаний🌻 Андрей Родин — доктор философских наук, специалист по философии науки, математики и эпистемологии компьютерного представления знаний. Ранее работал в ИФ РАН и Смольном колледже СПбГУ, сейчас — в Университете Paris-Cité (Франция) ➡️Подробности и регистрация
1 149
+8
Льюис Кэрролл и маленькие девочки
Листайте карточки ➡️
ℹ️ Статья Алгоритм Евклида
ℹ️ Статья Начала теории определителей. Часть первая
