В этом треде мы изучаем математику. Если ты школьник или студент, и у тебя есть трудности с задачей, то здесь тебе помогут её решить или хотя бы скажут, в каком направлении двигаться для её решения. Чем более чётко и конкретно ты опишешь суть своих затруднений, тем выше твой шанс на содержательный ответ.

Основные списки литературы:
http://pastebin.com/raw/4iMjfWAf - classic
http://pastebin.com/raw/4FngRj6n - dxdy

Архив тредов (там же остальные списки литературы и полезные ссылки):
https://pastebin.com/raw/qhs0WNbY

Это - тред общематематических разговоров. Он призван выполнять те функции, которые стихийно выполнял тред для начинающих, и, ранее, общий тред в /sci. Если хочется просто о чем-нибудь поговорить - пишите сюда. Если ваш вопрос достаточно конкретен - лучше воспользуйтесь одним из тематических тредов.

Почему всё ещё нет нити о дискретной математике? Места, где бы обсуждали суператомные алгебры, полные теории, Σ-определимость? И самое главное - Теорию моделей .
Где все это?

В общем, нить иди.

P.S. конструктухов и определяльщиков велосипедов вроде N,
из соседней нити, просьба воздержаться от высказываний.

Был ли Бурбаки интуиционистом? Чем ProofObject Вольфрама отличается от ProofObject в Coq? Почему Гротендик считал, что ZFC с аксиомой универсумов лучше чем NBG, а Маклейн вынул из головы теорию школ (которые называются так, потому что в них есть классы)? Красит ли Мартин-Лёф бороду? Можно ли заменить теорию множеств конструктивистской теорией категорий? Почему атомы Куайна - не то же самое, что урэлементы Френкеля? Чем форсинг Коэна отличается от форсинга Матиаса? Куда пропала калифорнийская группировка CABAL и входил ли в неё Вудин? Прочитал ли кто-нибудь Handbook of Set Theory Канамори-Формана? Как определяется N?

Эти и другие вопросы на протяжении 325 серий обсуждаются здесь, в самом горячем месте доски. Добро пожаловать. Добро пожаловать в оснований-тред.

Предыдущий: >>65396 (OP)

ITT, мы будем алгоритмизировать алгоритмизацию алгоритмизациоанальную. Алгоритмизацианалично, и алгоритмизациоаналистично.
Приготовь свой алгоритмизациоанал, для аналлизирования различных алго, невъебенных.

Заебатой автоматизированной алгоритмизации-нить, иди.

Модерируемый.
Вайп, спам, щитпостинг трётся, всё остальное разрешено.
По настоянию модератора предыдущий тред остается на растерзание школьникам, теперь постите сюда.

риветствую, двощ.

Такое дело. Решил вкатиться в топологию. Нашёл кучу учебников. Именно учебников. По мат. анализу., алгебре полно всяких пособий наподобие "Математический анализ в задачах и упражнениях" и т.д.

Вот, собственно, хотелось бы что- нибудь подобное, только по топологии, где задачи разбираются.

С меня, как обычно.

В этом in this itt итт thread треде отличаем умножение от суммирования, вычисляем скорость света 0, изучаем двоичный счёт древних русов, разоблачаем парламенТОРОВ и призеденТОРОВ.
https://www.youtube.com/watch?v=kzV4KuZPQWk - для первого ознакомления
https://www.youtube.com/watch?v=dxD-3fTpA9E - Рыбников князь, а ты даже не PhD.
https://vk.com/rusrybnikov - группа в ВК
http://vserod.com/ - модель русского атома онлаен.

В какой универ Украины лучше поступать для изучение физмат навук? Я прикинул три универа: КПИ(физмат фак) , Львовская Политехника(Прикладная математика/физика), ЛНУ(мехмат,физфак). Может случилось такое, что местный анон что-то знает про эти внз, факультеты. Или есть какой нибудь другой, подходящий по моим запросам, универ (Украинский)? Допоможіть, будь ласка.

Эту задачу можно решить формулой?

Welcome to /math, stranger!

This thread is the place to discuss anything math-related. No captcha, no moderation[1], no cancer. Please be respectful and provide proofs if requested, do not shitpost and don't be an attentionwhore.

Make sure to have an adblocker installed in your browser. Remember that you can right-click any element on the page and select "Block Element" to hide it. Install dollchan[2] if you wish to improve usability even further.

[1] One exception: NO CYRILLIC SHIT ALLOWED IN THIS ITT THREAD!
[2] https://pastebin.com/raw/d455mKrS

Господа математики, не могли бы вы рассказать что из себя представляет эта программа и каково ее значение для математики?

Угадываем математиков с ОП-пика, обсуждаем, составляем свои tier листы. Шаблон тут:
https://tiermaker.com/create/mathematicians-673676

Знакомства ирл и создание метафизики

1) Город
2) Лвл, биологический пол
3) Где учитесь/учились
4) Сколько сидите на этом дерьме
5) От чего прётесь
6) Что делаете
7) Немного о себе
8) Контакты(?)

Какие типы связей могут быть в системе объектов, как называется соотв. раздел математики или может не математики? В теории множеств есть например бинарная связь. Или в графах, могут быть связи с не просто "весами", а с разными свойствами?

ПОПРОБУЮ ПРИВЕСТИ НЕЙТРАЛЬНЫЙ ПРИМЕР, В ЧЕМ ВОПРОС
Пусть есть два типа объектов, например "учитель в школе" и "факультатив в школе", пусть между ними есть отношение "принадлежность(?) - не совсем то, но назовем так" many to many: учитель преподает несколько факультативов, а факультатив могут вести разные учителя, подменяя друг друга. Почему беру факультатив, а не класс - чтобы была вещь изменчивая: то есть регулярно создаются новые, завершаются старые факультативы.

На эту связь нужно "навесить" еще расписание: конкретный учитель преподает конкретный факультатив по таким то дням и часам. "Расписание" само по себе - не уверен: логически это отдельное отношение, или "это свойство" отношения "принадлежность"?

В нормализованной реляционной базе данных понятно, создается таблица-отношение (пусть THAT_RELATION_TABLE), где есть поля "учитель", "факультатив", "расписание".

Но допустим, в целях простоты ведения информации человеками, мы хотим добавить бизнес-логики к тому, как логически вычисляется отношение "принадлежность" учителя факультативу или факультативу учителю. Эта логика может быть любой, например пусть где-то (напр. в таблице факультативов) хранится флаг, что для конкретного факультатива, принадлежность инвертируется, его могут вести все учителя, кроме указанных.
То есть логическое отношение "принадлежность" и техническое отношение в таблице THAT_RELATION_TABLE - уже не тождественные вещи.

И пусть логика вычисления "расписания" тоже меняется, оно может быть по умолчанию (напр хранится в таблице факультативов), а может быть явно указанным.

В этом случае, "расписание" учителя, которое хранилось в таблице THAT_RELATION_TABLE уже негде хранить, т.к. оно должно храниться для записей, которые отсутствуют.

Тогда, как я понимаю, надо разделить логические отношения "принадлежность" и "расписание" по двум разным таблицам.
На основании одной таблицы вычисляется "принадлежность" по какой-то логике (флага инвертации нет - берем все записи из THAT_RELATION_TABLE, есть - берем всех учителей кроме записей из THAT_RELATION_TABLE),
А на основании другой таблицы вычисляется расписание: если запись есть, берется оно, если нет, берется по умолчанию из таблицы факультативов.

ВОПРОСЫ В СЛЕДУЮЩЕМ:
Это верная цепь рассуждений, или ошибочная.
Является ли "расписание" отношением, или я использую неверную терминологию.
Как формально языком математики описать необходимость разделения отношений на два, или их изначально и было два, но по началу они были тождественны, и укладывались в одну таблицу THAT_RELATION_TABLE, а с добавлением бизнес логики стали не тождественны.
Что тут чему тождественно, что нет.
Что будет если добавить третье отношение типа конкретный учитель на конкретном факультативе использует какой-нибудь объект Z (типа костюм, который зависит от лунной фазы, которое определяется по расписанию), и мы хотим вести и список Z и отношения с ним тоже.

Вопрос скорее математический, чем по базам данных, я хочу понять, почему обычное решение по заведению таблицы для логической связи many to many тут оказывается недостаточным при описанной бизнес логике, и как это заранее можно понять (подозреваю, что дело в тождественности отношений в одном случае и нетождественности в другом).

И еще, боле философский, вопрос, какие еще виды отношений бывают в природе в принципе, и сводятся ли все они в случае бинарных отношений к бинарному отношению из теории множеств, зачем тогда встречается например "принадлежность" (не в том смысле, что выше написал, а в смысле 1 to many), где об этом можно почитать.

В этом итт треде мы будем спасать утопающие в гомотопическом хаосе золотые россыпи крупиц народной мудрости /math. Ответы на платиновые вопросы, рецензии на статьи Мочидзуки, исправленные доказательства из Зорича и просто любые хорошие, годные посты.

Правила:
1. Не копипастить свои посты.
2. Не постить мемасы и форсы — для этого есть деградации тред, тут собираем мудрость.
3. Мод, удаляй все, что не является копипастой, но не сразу, а через пару дней — так, чтобы обсуждение тонуло вниз, а копипасты всплывали наверх.

Сап /math. Как ты относишься к сабжу?

ОПРОСИК

Господа и дамы, сообщите хотя бы частичную информацию: когда, а главное - где и/или от кого вы узнали про homotopy type theory? Нужно отследить цепочку распространения заразы вплоть до нулевого пациента. (понятно кого)

Хорошо известно, что математика это раздел алгебраической к-теории. Лучшим помощником к-теоретика представляется нам классическая наука о резольвентах модулей.
В этом треде мы объясняем любителям Демидовича что такое дифференциал и операция дифференцирования, как определить модуль не обращаясь к понятию группы, определяем когомологии и Ext на языке точных последовательностей. Прошу воздержаться от диаграммного поиска и метания стрелок, для этого есть отдельный тред >>2473 (OP).
Классической гомологической алгебры нить стартует тут.