Математика

Создать тред Создать тред
Check this out!
ВНИМАНИЕ! Аноним 22/11/16 Втр 21:15:42 3689 Ответ
grot2.jpg 20Кб, 404x313
404x313

Если ты школьник\студент или просто первый раз зашел на доску, НЕ СОЗДАВАЙ НОВЫЙ ТРЕД, а задай вопрос в прикрепленном треде "математика для начинающих". Так ты повысишь свои шансы получить ответ, а не быть обложенным хуями.

 Для оформления формул можно использовать LaTeX, формат: [mаth] формула [/mаth] или ﹩формула ﹩.

С вопросами по поводу ЕГЭ и поступления: https://2ch.hk/un/

Щитпостинг в тематических модерируемых тредах будет жестко пресекаться. Не пишите в тематические треды, если не уверены, что вам есть что сказать. Список тематических тредов:

Тред общематематических разговоров
Основания математики
Копипасты тред
Регулярные локальные кольца
Прикладная математика
Алгебра
Анализ
Топология
Теория категорий
Образование математика
Мендельсона тред и Metamath тред
International Math Thread
Альтернативный тред для начинающих

Не следует репортить посты вне тематических тредов, за исключением случаев вайпа или нарушения общих правил 2ch.hk. Обсуждение модерации в этом разделе будет пресекаться в соответствии с пунктом 5 общих правил борды.

Претензии к модерации и предложения по поводу развития раздела, а также заявки на включение треда в список модерируемых оставляйте в /d/. Создав тред в /d/, отправьте репорт со ссылкой на него из этого треда.

Оставив заявку, не забудьте написать об этом в своем треде с меткой опа; в противном случае тред может быть не добавлен в список. После переката не забудьте отправить репорт из нового треда - так ссылка в списке будет обновлена быстрее.

Архивач раздела: http://arhivach.cf/index/faved/alltime/?tags=4909 

МАТЕМАТИКА ДЛЯ НАЧИНАЮЩИХ N+1 Аноним 28/11/17 Втр 22:39:58 29047 Ответ
tumblroujih3a5i[...].jpg 52Кб, 500x500
500x500
В этом треде мы изучаем математику. Если ты школьник или студент, и у тебя есть трудности с задачей, то здесь тебе помогут её решить или хотя бы скажут, в каком направлении двигаться для её решения. Чем более чётко и конкретно ты опишешь суть своих затруднений, тем выше твой шанс на содержательный ответ.

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

Архив тредов (там же остальные списки литературы и полезные ссылки):
https://pastebin.com/raw/qhs0WNbY
Пропущено 495 постов
50 с картинками.
Пропущено 495 постов, 50 с картинками.
(((Интегралы))) gasperyard 03/03/21 Срд 13:47:56 81026
i.jpg 5Кб, 512x512
512x512
Сап,двач. Учусь на первом курсе. Скоро сессия и одна из ключевых тем на сессии по математике - интегралы(уровень 10-11 класса). Две пары, на котором объясняли основы этой темы я проебал. Есть ли какие то методички или видеорулеты, чтоб эти понять интегрэлы?
В матеше я не то что бы камень, просто мне нужно нормально изложить суть какой-то темы чтоб я её понял и смог использовать.
Аноним 03/03/21 Срд 13:56:29 81027
>>81026
Матпрофи. Учебники по матану. Зорич, Фихтенгольц.
Аноним 03/03/21 Срд 14:22:44 81028
>>81026
Производные каждый может брать, а интегрирование это искусство, тут так просто не научишься.
Аноним 03/03/21 Срд 14:35:56 81030
Аноним 03/03/21 Срд 14:44:54 81031
>>81022
Этот рофлит >>81023.
Этот шарит >>81024.
Математика тебе не нужна.
Читай сразу ту хрень из статистики, которая тебе нужна.
Сходи в тред машиннообучаторов, спроси там, судя по всему ты будешь заниматься чем-то из дотасаенса.
Математической логики нить. Аноним 20/02/21 Суб 07:43:53 80511 Ответ
RobertL.Vaught1[...].jpg 1534Кб, 1456x1819
1456x1819
AlfredTarski196[...].jpeg 50Кб, 400x271
400x271
ershovyuriyleon[...].jpg 67Кб, 310x400
310x400
JerzyLosc1955.jpg 29Кб, 476x629
476x629
Почему всё ещё нет нити о дискретной математике? Места, где бы обсуждали суператомные алгебры, полные теории, Σ-определимость? И самое главное - Теорию моделей .
Где все это?

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

P.S. конструктухов и определяльщиков велосипедов вроде N,
из соседней нити, просьба воздержаться от высказываний.
Пропущено 55 постов
2 с картинками.
Пропущено 55 постов, 2 с картинками.
Аноним 27/02/21 Суб 18:37:16 80838
>>80824
>в стране, где логика умерла уже 30 лет.
логичнее было бы говорить, что это страна умерла 30 лет назад, а была ли в ней до этого логика - это тот еще вопрос.
Аноним 02/03/21 Втр 15:24:23 80943
Какие ещё существуют кванторы кроме квантора существования и всеобщности?
Аноним 02/03/21 Втр 17:41:46 80949
>>80943
Ограниченные кванторы

Оп
Аноним 02/03/21 Втр 20:30:08 80964
>>80943
разве равенство - не квантор?
Аноним 03/03/21 Срд 14:25:08 81029
>>80943
Кванторы только мешают математике и логике
Алгоритмов тред Аноним 02/11/20 Пнд 04:27:55 75489 Ответ
image.png 183Кб, 610x451
610x451
ITT, мы будем алгоритмизировать алгоритмизацию алгоритмизациоанальную. Алгоритмизацианалично, и алгоритмизациоаналистично.
Приготовь свой алгоритмизациоанал, для аналлизирования различных алго, невъебенных.

Заебатой автоматизированной алгоритмизации-нить, иди.
Пропущено 151 постов
9 с картинками.
Пропущено 151 постов, 9 с картинками.
Аноним 01/03/21 Пнд 19:23:25 80913
пиздец, как же много можно сделать умножением, делением, сложением и вычитанием. За годы работы ещё ни разу не понадобилась использовать степени, корни и логарифмы, нахуя они вообще нужны в реальной жизни?
Аноним 01/03/21 Пнд 21:07:12 80914
>>80913
ты кассиром работаешь?
Аноним 01/03/21 Пнд 21:35:31 80915
Аноним 02/03/21 Втр 04:51:31 80926
>>80913
>нахуя они вообще нужны в реальной жизни?
мы почем знаем? Здесь доска математиков
Аноним 03/03/21 Срд 13:12:58 81025
>>80913
>в реальной жизни?
Не математика.
Тред математических мемов Аноним # OP 05/06/17 Пнд 23:21:23 19779 Ответ
image.png 218Кб, 328x478
328x478
Модерируемый.
Вайп, спам, щитпостинг трётся, всё остальное разрешено.
По настоянию модератора предыдущий тред остается на растерзание школьникам, теперь постите сюда.
Пропущено 436 постов
84 с картинками.
Пропущено 436 постов, 84 с картинками.
Аноним 02/03/21 Втр 20:42:19 80969
>>80939
Вторая строчка мегазабавна. Еще в детстве всегда улыбался.
Аноним 02/03/21 Втр 20:53:07 80972
>>80969
Что уж в ней забавного?
Аноним 02/03/21 Втр 21:03:13 80974
>>80972
Что это неправда, которая выглядит как правда.
Аноним 02/03/21 Втр 21:13:06 80975
>>80974
А, действительно.
Аноним 03/03/21 Срд 11:42:33 81018
>>80969
а как ты в детстве понял что там не правильно?
Оснований тред №8 Аноним 25/12/20 Птн 19:14:41 78210 Ответ
Quillen5.jpg 9Кб, 250x326
250x326
mike-saint-bees[...].jpg 38Кб, 250x278
250x278
800px-WilliamLa[...].jpg 251Кб, 800x1067
800x1067
JacobLurie.jpg 17Кб, 400x300
400x300
Был ли Бурбаки интуиционистом? Чем ProofObject Вольфрама отличается от ProofObject в Coq? Почему Гротендик считал, что ZFC с аксиомой универсумов лучше чем NBG, а Маклейн вынул из головы теорию школ (которые называются так, потому что в них есть классы)? Красит ли Мартин-Лёф бороду? Можно ли заменить теорию множеств конструктивистской теорией категорий? Почему атомы Куайна - не то же самое, что урэлементы Френкеля? Чем форсинг Коэна отличается от форсинга Матиаса? Куда пропала калифорнийская группировка CABAL и входил ли в неё Вудин? Прочитал ли кто-нибудь Handbook of Set Theory Канамори-Формана? Как определяется N?

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

Предыдущий: >>65396 (OP)
Пропущено 392 постов
26 с картинками.
Пропущено 392 постов, 26 с картинками.
Аноним 03/03/21 Срд 08:13:53 80997
>>80984
Так математикам в большинстве своём похуй на основания, нужно математикой всё-таки заниматься. Вообще все эти разговоры про основания и пруверы напоминают выбегалловские самонадевающиеся ботинки.
Аноним 03/03/21 Срд 09:42:04 81006
А доделают ли работу Воеводского по пруверам?
Аноним 03/03/21 Срд 10:09:43 81009
>>80937
>боевая картиночка
Во-первых, мне не о чем с тобой спорить. И не только с тобой, а вообще с вами. В споре двух тупых великанов нет места умному карлику. Мне не нужна ни победа, ни даже т. н. "истина" - мне достаточно понимания сути конфликта и анализа позиции обеих сторон. Я пониматель по натуре - в отличие от.
Во-вторых, последняя часть высказывания является очевидной пресуппозицией и антецедентом для первой - и осознать этот простой факт тебе мешает неспособность парсить даже простейшие риторические фигуры (например, инверсии).

>>80938
Могу предложить только басню про Мистера Пруфстера.

>>80959
Это не мы сами с собой спорим - это ты играешь сам с собой в испорченный телефон. Для Посицельского наличие ошибок является позитивным фактором, потому что заставляет людей концентрироваться на опровержении, а не подтверждении гипотез (тем самым помогая преодолеть одно из наших основных когнитивных искажений). Поиск контрпримеров и исследование пространства ошибок это вообще один из самых любимых математиками аттракционов. Не видеть тут прямой связи со СМЫСЛОМ может только слепой.
Аноним 03/03/21 Срд 10:41:04 81013
>>81009
>Во-первых, мне не о чем с тобой спорить.
по крайней мере, Вы тем самым признали себя философом.
этого достаточно.
Аноним 03/03/21 Срд 10:42:11 81014
>>80966
>Программы также пишутся "кожаными мешками". Типичное шило на мыло.
это будет спор с Воеводским.
"мопед не мой".
https://youtu.be/I6aAevUuAQc Аноним 19/10/20 Пнд 10:34:29 74948 Ответ
0.jpg 308Кб, 1050x650
1050x650
Пропущено 78 постов
2 с картинками.
Пропущено 78 постов, 2 с картинками.
Аноним 01/03/21 Пнд 12:18:34 80894
>>80878
Все песни Уделки здесь -

Аноним 01/03/21 Пнд 12:20:16 80895
Аноним 01/03/21 Пнд 13:22:29 80898
>>80878
Прикольно. Я про Уделку вообще не знал.
Аноним 02/03/21 Втр 20:54:53 80973
Есть у кого-нибудь Антиравинагар в приемлемом для чтения на электронной книге формате?
Аноним 03/03/21 Срд 01:21:00 80985
>>80973
Прогони пдфку с ним через конвертер, который обрезает белые поля, и будет тебе нормально для электронки.
риветствую, двощ. Такое дело. Решил вкатиться Аноним 19/02/21 Птн 12:13:42 80473 Ответ
tyr.jpg 18Кб, 320x251
320x251
риветствую, двощ.

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

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

С меня, как обычно.
Пропущено 2 постов.
Пропущено 2 постов.
Аноним 19/02/21 Птн 12:48:24 80480
>>80473 (OP)
>Вот, собственно, хотелось бы что- нибудь подобное, только по топологии, где задачи разбираются.
Виро О.Я., Иванов О.А., Нецветаев Н.Ю., Харламов В.М. - Элементарная топология
В конце каждой главы идёт разбор упражнений и теорем. Теоремы ещё предлагают доказывать самому.
Аноним 19/02/21 Птн 13:45:38 80485
>>80480
поддерживаю, тоже хотел про них написать

ничего лучше не найдёшь на начальном уровне
Аноним 19/02/21 Птн 14:36:51 80487
>>80485
>ничего лучше не найдёшь на начальном уровне
Ну почему же
Есть, например, решебник (и не один) для Манкреза
Но Виро хорош, да. Манкрез нудный для новичка.
Аноним 19/02/21 Птн 20:49:42 80504
Аноним 02/03/21 Втр 20:47:05 80970
>>80478
Чего? В книге лекции есть.
Рыбникова Юрия Степановича тред Аноним 28/10/16 Птн 01:03:31 237 Ответ
IsOD-67gwys.jpg 60Кб, 978x290
978x290
В этом 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/ - модель русского атома онлаен.
Пропущено 192 постов
28 с картинками.
Пропущено 192 постов, 28 с картинками.
Аноним 25/12/20 Птн 18:58:12 78205
image.png 785Кб, 1363x906
1363x906
image.png 388Кб, 1358x819
1358x819
Медячок в пятому ряду потому что 2^5 = 32
таблица русов периодична и по вертикали и по горизонтали
Аноним 14/02/21 Вск 22:33:57 80330
1613331235004.mp4 478Кб, 624x640, 00:00:02
624x640
Аноним 27/02/21 Суб 06:25:35 80810
Аноним 27/02/21 Суб 09:16:36 80812
>>80810
Ну ничего интересного, Рыбников гонит свою пургу, Бояршинов кивает и соглашается, как врач в дурке. Была бы дискуссия, было бы забавно.
Аноним 02/03/21 Втр 18:32:59 80953
>>241
3? или правильно сказать четвертушка?
Общий тред Аноним 06/02/17 Пнд 19:56:45 10487 Ответ
logo32.png 47Кб, 354x251
354x251
Это - тред общематематических разговоров. Он призван выполнять те функции, которые стихийно выполнял тред для начинающих, и, ранее, общий тред в /sci. Если хочется просто о чем-нибудь поговорить - пишите сюда. Если ваш вопрос достаточно конкретен - лучше воспользуйтесь одним из тематических тредов.
Пропущено 495 постов
19 с картинками.
Пропущено 495 постов, 19 с картинками.
Аноним 27/02/21 Суб 17:29:44 80833
Аноним 27/02/21 Суб 17:30:52 80834
>>80833
>кодидо-пригодная
ковидо-
(самофикс)
Аноним 28/02/21 Вск 12:06:18 80862
Товарищ предлагает курс о применении теории категорий в быту и личной жизни https://youtu.be/nYwfou6iJLY
Аноним 28/02/21 Вск 15:08:25 80867
Аноним 28/02/21 Вск 19:57:58 80876
>>80862
>и личной жизни
под личной жизнью следует понимать самоудовлетворение?
В какой универ Украины лучше поступать для изучение Аноним 21/06/19 Птн 12:41:21 56259 Ответ
15545301291410.png 1515Кб, 1024x768
1024x768
В какой универ Украины лучше поступать для изучение физмат навук? Я прикинул три универа: КПИ(физмат фак) , Львовская Политехника(Прикладная математика/физика), ЛНУ(мехмат,физфак). Может случилось такое, что местный анон что-то знает про эти внз, факультеты. Или есть какой нибудь другой, подходящий по моим запросам, универ (Украинский)? Допоможіть, будь ласка.
Пропущено 40 постов
11 с картинками.
Пропущено 40 постов, 11 с картинками.
Аноним 24/09/19 Втр 22:30:51 59182
>>58962
Та мне лень отвечать на всё. Если хочешь поступить - поступишь. Ничего сложного нет.
Аноним 08/02/21 Пнд 12:31:58 80060
"В какой универ Украины"- вот сейчас было смешно
Аноним 09/02/21 Втр 12:07:31 80102
Аноним 24/02/21 Срд 12:30:06 80653
>>56745
Отстаёт, и сильно. Да и польское физмат образование весьма так себе, оттуда все, кто мог, свалил давно.

>>56744
Ещё физическое образование сильное в МИФИ, МГУ, НГУ.
Аноним 28/02/21 Вск 00:16:44 80857
>>80653
за УКУ сейчас топят из каждого утюга, Украинский Католический Университет.
он самый новый, вкладывается в пиар, иначе студенты про него не узнают.
там правда математики нету, зато data science вроде, это та же статистика.
Эту задачу можно решить формулой? Аноним 27/02/21 Суб 19:05:40 80841 Ответ
DaOl54QVAAEbr07.jpeg 28Кб, 720x613
720x613
Эту задачу можно решить формулой?
Аноним 27/02/21 Суб 19:09:24 80843
Формула, наверно, есть
Можно попробовать вывести по индукции
Аноним 27/02/21 Суб 20:58:48 80847
image.png 1Кб, 76x80
76x80
>>80841 (OP)
Правильно? R - число строк, С - столбцов
Аноним 27/02/21 Суб 21:05:12 80848
International Math Thread Аноним 10/11/17 Птн 16:13:10 27513 Ответ
1200px-IMOlogo.[...].png 66Кб, 1200x824
1200x824
Friends.jpg 177Кб, 710x473
710x473
240F68956928A3x[...].jpg 20Кб, 480x240
480x240
WMD 2011 Logo.JPG 67Кб, 780x590
780x590
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
Пропущено 97 постов
5 с картинками.
Пропущено 97 постов, 5 с картинками.
Аноним 20/03/18 Втр 16:22:14 37731
>>37730
You're here for not such a long time, aren't you?
Аноним 08/12/20 Втр 15:44:22 77006
Hello, fellow Niggers! Did you hear about Church -Turing thesis? What do you think 'bout it?)
Аноним 26/02/21 Птн 21:22:50 80801
image.png 530Кб, 506x648
506x648
I'm newbie and want to start my journey in math with this book. Is that a good choice?
Аноним 27/02/21 Суб 10:30:52 80815
How can you make math in Russia whereas Russia is a shithole?
Аноним 27/02/21 Суб 20:07:37 80844
>>80801
I doubt that. Discrete mathematics is not mathematics at all. Not to mention its applications
Программа Ленглендса или теория великого объединения математики Аноним 19/01/21 Втр 12:19:37 79208 Ответ
3223.jpg 168Кб, 1200x829
1200x829
Господа математики, не могли бы вы рассказать что из себя представляет эта программа и каково ее значение для математики?
Пропущено 4 постов
1 с картинками.
Пропущено 4 постов, 1 с картинками.
Аноним 05/02/21 Птн 11:44:42 79914
>>79208 (OP)
Это ж какие мозги нужно иметь, чтобы такое замутить...
Господи, почему я такой тупой?
Аноним 05/02/21 Птн 16:34:47 79924
>>79913
А чем тебя ответ выше не устраивает?
Аноним 05/02/21 Птн 17:06:55 79926
>>79924
ИТТ наверняка есть математики, которые слышали об этой программе, интересно их личное мнение.
Аноним 21/02/21 Вск 16:35:49 80581
бамп
Аноним 27/02/21 Суб 11:19:29 80817
16135305799520.png 24Кб, 536x587
536x587
Математический tier list Аноним 21/11/20 Суб 19:47:38 76256 Ответ
highelycontrove[...].png 1270Кб, 983x980
983x980
Пропущено 133 постов
5 с картинками.
Пропущено 133 постов, 5 с картинками.
Аноним 26/02/21 Птн 11:19:15 80762
>>80759
>униженного Серром старого пердуна
Вот это ты приложил Владимира Пыню.
Аноним 26/02/21 Птн 14:28:01 80771
>>80759
Хороший багор, одобряю.
Аноним 26/02/21 Птн 14:53:23 80776
>>80759
>а не обиженных фантазий униженного Серром старого пердуна.
кстати, да. но с другой стороны - какова была мотивация Арни во всех этих его наездах на "иконы культуры"? ладно, пусть бурбаки, они хотя бы тянут на конкуррентов (хотя с натяжкой). но что он мог не поделить со стариной Невтоном, который превратился в прах задолго до рождения самого Арни, что они не поделили?
Аноним 26/02/21 Птн 16:09:12 80783
>>80759
>что такое функция
>даты в качестве аргументов
Это очень важно, поэтому современники и положили хуй на эту философию. Ньютон придумал им калькулюс на пределах, и все в глубокой связи с физикой, именно подход Ньютона доминировал вплоть до 20-ого века. Пока Лейбниц всю жизнь пытался обосновать свой "нестандартный анализ" через принцип непрерывности, да так и не защитил его. Зато нотация удобная, ой какая удобная.
Аноним 26/02/21 Птн 21:57:27 80805
>>80762
если пользоваться именно таким критерием, то оба они - старые пердуны.
Математического Wu-Tang тред Аноним 08/06/18 Птн 17:00:52 40256 Ответ
yQVBkpsFZc.jpg 154Кб, 1080x1064
1080x1064
j4bvsd0s9DY.jpg 42Кб, 512x512
512x512
Знакомства ирл и создание метафизики

1) Город
2) Лвл, биологический пол
3) Где учитесь/учились
4) Сколько сидите на этом дерьме
5) От чего прётесь
6) Что делаете
7) Немного о себе
8) Контакты(?)
Пропущено 33 постов
2 с картинками.
Пропущено 33 постов, 2 с картинками.
Аноним 25/02/21 Чтв 10:51:08 80705
Бамп годному тхреаду
Аноним 25/02/21 Чтв 16:04:46 80718
>>40258
Так ты ж не математик.
Аноним 25/02/21 Чтв 16:06:50 80719
>>40330
И в догонку, сынок - поясни кратко теорему Силова. Без подсматривания в сеть.
Любопытно, будешь ли ты честен при ответе хотя бы с собой.
Аноним 25/02/21 Чтв 16:07:47 80720
>>40339
О, это я упустил. Ну, мои глубокие соболезнования, можешь не рассказывать теорему.
Аноним 25/02/21 Чтв 16:30:11 80721
>>40339
Братишка, ты живой? Как успехи? Как жизнь сложилась?
Типы связей между объектами Аноним 15/01/21 Птн 09:50:13 79028 Ответ
Relationscatego[...].png 42Кб, 1280x1280
1280x1280
Какие типы связей могут быть в системе объектов, как называется соотв. раздел математики или может не математики? В теории множеств есть например бинарная связь. Или в графах, могут быть связи с не просто "весами", а с разными свойствами?

ПОПРОБУЮ ПРИВЕСТИ НЕЙТРАЛЬНЫЙ ПРИМЕР, В ЧЕМ ВОПРОС
Пусть есть два типа объектов, например "учитель в школе" и "факультатив в школе", пусть между ними есть отношение "принадлежность(?) - не совсем то, но назовем так" 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), где об этом можно почитать.
Аноним 15/01/21 Птн 10:01:02 79029
>>79028 (OP)
Это computer science, не математика.
Читай Кристофера Дейта и его последователей.
Что-то по теме есть на архиве.
Аноним 15/01/21 Птн 16:37:09 79060
>>79029
Поддерживаю
Только вместо совета по поводу того, что читать, надо было дихлофосом разбрызгать
Аноним 25/02/21 Чтв 10:44:43 80703
>>79029
>Это computer science, не математика.
В чём принципиальное различие между ними?
Аноним 25/02/21 Чтв 10:47:14 80704
>>80703
>принципиальное различие
Computer значит про компьютеры
Аноним 25/02/21 Чтв 10:53:43 80706
>>80704
А если рассматривать компьютер как математический объект?
Копипасты тред Аноним 03/06/17 Суб 09:26:19 19669 Ответ
maxresdefault.jpg 126Кб, 1280x960
1280x960
В этом итт треде мы будем спасать утопающие в гомотопическом хаосе золотые россыпи крупиц народной мудрости /math. Ответы на платиновые вопросы, рецензии на статьи Мочидзуки, исправленные доказательства из Зорича и просто любые хорошие, годные посты.

Правила:
1. Не копипастить свои посты.
2. Не постить мемасы и форсы — для этого есть деградации тред, тут собираем мудрость.
3. Мод, удаляй все, что не является копипастой, но не сразу, а через пару дней — так, чтобы обсуждение тонуло вниз, а копипасты всплывали наверх.
Пропущено 194 постов
9 с картинками.
Пропущено 194 постов, 9 с картинками.
Аноним 26/01/21 Втр 11:05:35 79546
>Сегодня, в XXI веке, чтобы избежать неминуемого лошизма, люди пишут "Доброе время суток!". Получатель письма сам выглянет в окно и подставит себе нужное значение, типа.

Какая есть математическая аналогия у этого явления? Наверняка есть какой то морфизм
Аноним 26/01/21 Втр 17:35:58 79572
>>79546

Конечно есть, называется "целочисленное деление на 6".
Аноним 03/02/21 Срд 05:24:50 79879
Расширение модулей переломлено пополам
А наш батюшка Арнольд совсем усох
Он разложился на прямые слагаемые и на пересечение неприводимых подмодулей
А надстройка все идет и идет по конусу
И всё многообразие вложилось в RN
И весь мир состоит из модулей!
Модули над кольцом!
А моя судьба захотела на покой
Я обещал ей не участвовать в гомотопическом хаосе
Но на фуражке на моей коммутативная диаграмма и копредел
Как это трогательно коммутативная диаграмма и копредел
Лихая петля порождает фундаментальную группу
И весь мир состоит из модулей!
Модули над кольцом!
А моей статьёй накормили толпу
Анонимный рецензент нашёл в ней ошибку
Научное сообщество растоптало её на конференции
Так исправляйте же её сами
Потому что весь мир состоит из модулей!
Модули над кольцом!
Один лишь дедушка Шурик хороший был вождь
А все другие остальные такое дерьмо
А все другие враги и такие дураки
Над родною над математикой снег невежества шел
Я купил журнал LJ.ROSSIA там тоже хорошо
Там товарищ Миша там тоже что у нас
Я уверен, что у них то же самое
Весь мир состоит из модулей!
Модули над кольцом!
А при унивалентных основаниях все будет заебись
Их закончат скоро надо только подождать
Там все будет автоматически, там все будет в кайф
Там наверное вообще не надо будет ничего доказывать!
Я проснулся среди ночи и понял, что...
ПУЧОК МОДУЛЕЙ НАД ПУЧКОМ КОЛЕЦ
ПУЧОК МОДУЛЕЙ НАД ПУЧКОМ КОЛЕЦ
ПУЧОК МОДУЛЕЙ НАД ПУЧКОМ КОЛЕЦ
Аноним 03/02/21 Срд 11:42:59 79882
>>79879
Говорилкой озвучить и на минусовку наложить надо.
Аноним 24/02/21 Срд 09:16:31 80651
Это теоретически невозможно без кватернионов
Если ты используешь матрицы вращения, то ты параметризуешь их чем-то вроде углов Эйлера, то есть 3-тором. Но у группы вращения накрывающее пространство это 3-сфера S3≅SU(2). Кватернионы как раз таки и дают тебе это накрытие (двойное, правда, но это похуй). То есть у параметризации углами Эйлера есть фундаментальный изъян - они не могут правильно описать топологию группы вращений.

Нетривиальная геометрия группы вращений (SO(3)≅RP3) это, кстати, причина многих "неинтуитивных" конструкций в физике, спины там всякие из-за π1(RP3)≅Z2.

Хороший пример того, как программистам никакой интересной математики не обучают. Геймдев форумы завалены вопросами про гимбал лок.

Ах да, забыл всё к гамалогиям свести, мы ж в /math/
Гимбал лок это завуалированный факт о том, что у 3-сферы первые и вторые гомологии тривиальные, а у 3-тора - нет.
Алексей Савватеев Аноним 21/05/17 Вск 16:23:41 18811 Ответ
IMG4338.JPG 67Кб, 800x533
800x533
Сап /math. Как ты относишься к сабжу?
Пропущено 280 постов
18 с картинками.
Пропущено 280 постов, 18 с картинками.
Аноним 22/01/21 Птн 08:00:02 79372
>>18811 (OP)
Отвечу на правах экономиста, поскольку Савватеев долго занимался именно экономикой, причём самой хайповой и бессодержательной тематикой под знамёнами монетаризма и теории институтов (оно и сейчас у него проскакивает). То, что он теперь перековался в рьяного патриота, очень комично, учитывая, сколько времени он провёл на Западе или в откровенно грантоедских тусовках. Жопу лизать он горазд был, но ни ума, ни харизмы, скажем, Гуриева у него и близко нет, так что и имени он себе особого не сделал, тогда таких было пруд пруди.
Результаты его, насколько я в курсе, никакой особой ценности не имеют, читают его только по приколу и ссылаются так же, в основном студенты (когда научрук недоглядит). Сейчас он старательно делает вид, что отроду занимался только тиграми, но что-то я так понял, что там он нахуй никому не нужен.

>>70796
А, ну, выходит, он и в чистой математике не больно-то преуспел. Ожидаемо, в общем.

>>71982
>>74422
В общем-то да, он больше анекдоты горазд рассказывать (ну и пиариться, да), чем заниматься настоящей популяризацией.
Аноним 22/01/21 Птн 16:18:05 79387
>>79364
>сухой закон нарушал
чудовищно!

>новый тип газоотводной
>Не математика
сами себе ответили
Аноним 07/02/21 Вск 08:09:46 80014
>>70798
Долбоёб ты, речь идет об omega(малое) с нижним индексом 1, это первый несчетный ординал
Аноним 14/02/21 Вск 20:41:37 80325
>>79372
>А, ну, выходит, он и в чистой математике не больно-то преуспел. Ожидаемо, в общем.
>
Ну он так то и не претендует, открыто говорит что ничего не знает, а что знал забыл из этих ихних гомологий.
Аноним 24/02/21 Срд 05:53:24 80647
ОПРОСИК Господа и дамы, сообщите хотя бы частичную Аноним 19/04/20 Вск 16:42:11 67659 Ответ
image.png 81Кб, 480x360
480x360
ОПРОСИК

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

Пропущено 280 постов
16 с картинками.
Пропущено 280 постов, 16 с картинками.
Аноним 18/02/21 Чтв 09:35:32 80441
>>80433
>им приходят в голову удивительные фасоны одежды и пр.
удивительные фасоны оснований математики, ага.
Аноним 20/02/21 Суб 07:50:01 80512
>>79160
Петух - конструктух.

Я его ещё здесь:>>74897 описал.
Аноним 20/02/21 Суб 12:30:42 80518
>>80512
а вдруг их несколько? или они размножаются...
Аноним 21/02/21 Вск 12:39:37 80566
Вопрос к адептам и сектантам. Сегодня, а может и давным давно, мне во сне явился ангел. Мы перетерли за математику. Произошло озарение.

Есть симплициальная категория Delta. Есть кубическая категория I, даже в нескольких версиях. С дельтой в hott вроде все кисло. С кубиками лучше.

Есть категория Gamma имени Сигала. Есть Sym^{op}, скелет FinSet^{op}. Гамма относится к дельте, как сим-оп к кубикам. Я не знаю, насколько это известно и банально, но это так.

1. Ясно, что дельта и кубики - это что-то ассоциативное, а гамма и сим-оп - это что-то ассоциативное и коммутативное. Есть ли в hott утверждение вида "когда ассоциативно - это гомотопический тип, а когда еще и коммутативно - это спектр"?

2. Гомотопический тип - это хороший предпучок и на дельте, и на кубиках. С гаммой и сим-оп все сложнее. Хороший симплициальный предпучок на гамме - это связный спектр. Хороший предпучок на сим-оп, со значениями в категории симплициальных множеств с отмеченной точкой, - это спектр, не обязательно связный. Раз в одном случае эквивалентность есть, а в другом эквивалентности нет, оба случая нетривиальны и содержательны. Hott как-нибудь помогает увидеть это нетривиальное содержание?
Аноним 21/02/21 Вск 12:59:55 80570
>>80566

выкиньте свои комплексы Кана, вместе со всей фибратной демагогией, прямо в анналы истории, и Квиллена туда же, быстро, решительно.

если вы обращали внимание, то Сова хвалит Лури, который тоже увлекался именно эти клеточными комплексами, но зато Каледин ругает. и для того есть причины.
Регулярные локальные кольца Рихард Дедекинд 24/10/17 Втр 11:02:50 26200 Ответ
regular.jpg 72Кб, 223x320
223x320
local.jpg 8Кб, 227x262
227x262
rings.jpg 7Кб, 200x267
200x267
Хорошо известно, что математика это раздел алгебраической к-теории. Лучшим помощником к-теоретика представляется нам классическая наука о резольвентах модулей.
В этом треде мы объясняем любителям Демидовича что такое дифференциал и операция дифференцирования, как определить модуль не обращаясь к понятию группы, определяем когомологии и Ext на языке точных последовательностей. Прошу воздержаться от диаграммного поиска и метания стрелок, для этого есть отдельный тред >>2473 (OP).
Классической гомологической алгебры нить стартует тут.
Пропущено 330 постов
21 с картинками.
Пропущено 330 постов, 21 с картинками.
Аноним 19/02/21 Птн 18:05:26 80500
>>80497
Отличная идея, разом вынесет 90% желающих в математику, но не хотящих перебираться в такую пердь.
Аноним 19/02/21 Птн 20:13:14 80503
>>80471
>что наука становится всё более специализированной
>Единственное решение - кидать студентов в котёл как можно раньше
>Реальность такая - шансов понять актуальную статью с архива у выпускников вузов рфии практически нет.
Тут как мне кажется еще перестать верить в существование общей математики, которую "нельзя не знать"
именно этим и руководствовались создатели уебищной программы мехматов, которые заставляют математиков проходить набор аналитических дисциплин 19 века, а еще заодно и физику с механикой, чтобы не скучали. Может лет 100 назад это еще и было обьятно студентам, сейчас же очевидно, что нет, да и это устарело. Миша зачем-то предложил новый курикуллум, не менее объемный. В этом я никогда не видел ни малейшего смысла, в рамках моей специальности я бы пытался избежать и той программы, и другой, какие вещи мне действительно нужны я понял только к магистратуре. Очевидно, что нужна большая академическая свобода, с возможностью перекатиться в смежную дисциплину на любом этапе. Обязательным может быть что-то уж совсем базовое типа линейной алгебры и анализа для пту.
А читать статьи в архиве, сомнительное удовольствие. "Чистый математик", но это вообще хрен пойми кто, если ты аналитик, то ты не понимаешь алгебру на архиве, если алгебраист, то не понимаешь анализ, в таком контексте математиком может быть кто-то с уникальной специализацией, которая вбирает себя дофига смежных дисциплин, типа как раз современной матфизики.
Аноним 20/02/21 Суб 07:53:38 80513
>>26342
В чем проблема описания "гладкой зависимости от базы " ? Обязательно нужно куда-то присобачить свои модули и категории, я правильно понимаю?
Аноним 20/02/21 Суб 08:38:40 80514
>>80513
Анон тебе не ответит, потому что он скопипастил это из мишиной программы.
Аноним 20/02/21 Суб 12:29:07 80517
>>80513
>нужно куда-то присобачить свои модули

без модулей никак, полюбому:

"Я без милого гулять не выхожу, Во прекрасный сад в окошко не гляжу. Мне не милы в саду розовы цветы, Не веселят меня мелки пташки на кустах. Только весел в саду зелёненький лужок, На лужку гуляет миленький дружок. Как ты знатен, как преславен, молодец!"
Настройки X
Ответить в тред X
15000
Макс объем: 40Mб, макс кол-во файлов: 4
Кликни/брось файл/ctrl-v
Стикеры X
Избранное / Топ тредов