Пытался перевести утверждение на язык предикатной логики и столкнулся с проблемой. Суть такова: как мне указать на то, что переменная является подмножеством другой переменной? Есть мысль сделать эту переменную предикатом, но в таком случае не понятно, какая должна быть к этому предикату переменная.

Если обувь носят на ногах, то туфли носят на ногах, если туфли - это обувь.

Я вижу 2 компонента антецедента, которые, я так понимаю, нужно соеденить конъюнкцией:
1. Если обувь носят на ногах.
2. Если туфли - это обувь.
И консеквент, понятно:
Туфли носят на ногах.

До этого думал через ≡ соединить обувь и туфли, но понял, что это что-то не то.

Буду очень благодарен.

Очередной тред, посвященный основаниям математики. Основная проблема оснований - устаревшая логика, тянущаяся еще со времен Платона с Аристотелем. В наше время основаниям не хватает результатов, полученных доказательными исследованиями природы человеческого языка и сознания, проделанным в рамках Relational Frame/Field Theory. Математика - вербальное поведение человека, соответственно, логика, лежащая в ее основе, должна быть приведена в актуальное состояние, учитывающее важнейшие достижения в этой области, полученные исследователями RFT.

предыдущий - https://2ch.hk/math/res/86810.html (М)

В данном треде мы коллективно решаем задачи из Коуровской тетради. Актуальная версия тетради находится здесь: https://kourovkanotebookorg.files.wordpress.com/2023/07/20tkt.pdf

Можете мне порекомендовать книги на русском/английском которые мне помогут понять какие и как мне применять практические математические формулы, например формулу действия гравитации на твердое тело а также сопротивление воздуха на это тело, типа что бы можно было придать импульс объекту и он будет физически верно себя вести в 2D/3D пространстве.
Насколько я понимаю те формулы которые описаны в классических учебниках не подходят так так там результат одно число а мне нужно что бы это были координаты x, y, вроде бы должны подойти формулы из линейной алгебры но я не знаю в какую сторону копать.

Например смотрите на пикчу, формула движение точки по окружности выдает только одномерный вектор, это бесполезная формула, так как минимум нужно что бы были два результата x, y.

Нашел вот эту книгу: Bourg D., Bywalec B. - Physics for Game Developers, 2nd Edition - 2013 может быть вы знаете книги по математике которые поясняют за эту тему.

Если у нас есть нулевое гладкое тензорное поле на всём кокасательном расслоении, кроме базы, то верно ли, что оно единственным образом (нулём) продолжается на базу?

Какие существуют отображения множеств чисел правильнее, нагляднее и красивее, чем приложенный риунок?

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

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

Просто оставлю это тут.
https://pastebin.com/96XPBCEs
Если найдёте ошибки или
возникнут вопросы --- пишите.

Аноны, кидайте сюда актуальные материалы по математике для других анонов, следуя примеру:
- Направление
- Автор
- Название материала
- Краткое описание
- ваша мини-рецензия на материал

Очередной тред, посвященный основам основ математики - Основаниям. Нет ни одной области математики, гарантирующей непротиворечивые результаты без отсылок к основаниям.

Полезная ссылка: https://en.wikipedia.org/wiki/Whitehead_problem
Предыдущий тред - https://2ch.hk/math/res/78210.html (М)

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

Блин ребзя помогите застрял на трех последних заданиях и уже 3 день не могу решить кто знает дайте решение пожалуйста

(Можете писать в тг RomBBerZLOY)

P=NP тред #1
Обсуждаем пикрил!

Лично мне кажется, что они равны. Если бы существовала задача, лежащая в NP, но не лежащая в P, какой-нибудь из миллионов индусов-прогеров, ее бы уже нашел.

Интересный для темы факт: существует доказательство невозможности сортировки массива длины n быстрее, чем за O(n*log(n)). Ну, это для тех, чья жопа чувствует, что правильный ответ "не равно" -- можете попытаться построить задачу-контрпример, усложнив обычную сортировку.

Кидайте сюда литературу по теме.

двачера помогите надо найти какой-то многочлен f(x) с делителем (x³+x²)
посчитал 3x+1 последние члены f(x)
остаток f(x) от (x+1) равен 7
помогите многочлен f(x)

Сап, математач! Кто-нибудь шарит в графах? Нужно понять, как доказать, что минимальное рёберное покрытие имеет мощность не более чем ND/(D+1), где N - число вершин, а D - максимальная степень вершины. Предполагается, что в графе нет изолированных вершин.
Пока в голову приходит только то, что можно взять вершину, имеющую максимальную степень, и в покрытие включить все инцидентные ей рёбра, тем самым покрыв D+1 вершину D рёбрами, затем исключить все покрытые вершины из графа и продолжить этот процесс, пока граф не опустеет. Но проблема в том, что в процессе такого удаления частей графа могут появиться изолированные вершины, которые в результате останутся непокрытыми.

Матаны, вот вам задачка из диффуров (в интернетах ответа не нашёл):
y"=y'lny'

Как решается сие чудо?

Сап, двач!
Захотелось вспомнить молодость и перепройти (нормально) весь материал по статистике. Обратно 2 курс мне никто не вернет, так что изучаю все самостоятельно и несколько хаотично.
Так вот, может кто-то пояснить за критерий согласия Пирсона (хи-квадрат), а именно - как его вычислить и как интерпретировать результаты? В идеале хочется иметь пошаговую инструкцию для самых маленьких, с объяснением всех букаф в формуле. Может, ты можешь объяснить сам или у тебя есть видос, где это делают? С меня как обычно ничего

Реальной математики Тред им. Рыбникова Ю.С.

ИТТ обсуждаем фундаментальные проблемы математики и вещественного мира, разоблачаем лженауки и затуманивание мозгов РУСов еврофашистами,ведем счет древних РУСов

База по математике:
https://www.youtube.com/@user-hu4me5pf4x/videos - Канал Рыбникова

http://ruvserod.ru
http://ruvserod.ru/tables/3d/ - Двоичная природа электроамтомов

Жидовские еретические учения - лесом

сап двач, можете помочь с дз?

Аноны-математики, шарящие в дискретной математике, а именно в графах. Подскажите, пожалуйста, как с помощью алгоритма Краскала можно найти реберную связность графа, то есть минимальное количество рёбер, удаление которых сделает граф бессвязным.

Да я читал информацию и знаю, что реберную связность можно найти с помощью алгоритма поиска максимального потока, но мне нужно именно через реберную связность.

Помогите советом, пожалуйста, как это сделать используя алгоритм Краскала?