Этого треда уже нет.
Это копия, сохраненная 21 сентября 2016 года.

Скачать тред: только с превью, с превью и прикрепленными файлами.
Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах. Подробнее

Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.
6 Кб, 200x249
132 Кб, 1920x1080
24 Кб, 627x471
25 Кб, 590x332
МАТЕМАТИКА ДЛЯ НАЧИНАЮЩИХ, ТРЕД 7, ПЕРЕКАТЫ, РЕГЕНЕРАЦИЯ И АНАЛИЗ НА МНОГООБРАЗИЯХ #365356 В конец треда | Веб
ДЛЯ САМЫХ МАЛЕНЬКИХ:

Общие курсы
М. И. Сканави: "Элементарная математика".

Алгебра
И. М. Гельфанд, А. Шень: “Алгебра”. Весь курс школьной алгебры по 9 класс.
С. Б. Гашков: “Современная элементарная алгебра”.
Ю. М. Алимов, М. В. Колягин: "Алгебра и начала анализа".

Геометрия
Г. С. М. Коксетер: “Введение в геометрию“. Годная книга для уровня "продвинутый школьник".
А. Д. Александров, А. Л. Вернер, В. И. Рыжик: “Геометрия”. Учебник для 10-11 классов. Базовый и углубленный уровни.
Я.П. Понарин: “Элементарная геометрия” в двух томах. Собственно, первый том - это планиметрия, а второй том - это стереометрия.
А. Ю. Калинин, Д. А. Терешин: “Геометрия”, 10-11 классы. Годный учебник.

Тригонометрия
И. М. Гельфанд, С.М. Львовский, А. Л. Тоом: “Тригонометрия”. Название говорит само за себя. Много геометрических и физических интерпретаций + комплексные числа, как бонус.

БАЗОВЫЕ КУРСЫ ДЛЯ СТУДЕНТОВ:

Общая алгебра
Э. Б. Винберг: “Курс алгебры”. Пожалуй, лучший из известных учебников, соперничать с которым может разве что "Введение в алгебру" Кострикина.
А. И. Кострикин: “Введение в алгебру“. Пожалуй, лучший из известных учебников, соперничать с которым может разве что "Курс алгебры" Винберга.
М. Атья, И. Макдональд : "Введение в коммутативную алгебру".
А. Л. Городенцев: "Алгебра. Учебник для студентов-математиков". Вырос из лекций НМУ. Читать параллельно с Винбергом (Винберга читать в первую очередь).
И.Р. Шафаревич: “Основные понятия алгебры“. Замечательный обзор вообще того, что такое алгебра, как она выглядит и какое место она занимает в математике. Примеры, приложения и прочая конкретика.
E. Connell: Elements of Abstract and Linear Algebra". Хорошая первая книга по алгебре, да и математике вообще.
P. Grillet: "Abstract algebra". Очень лаконичный и понятный учебник. Надо знать элементарную теорию чисел, про индукцию, про множества и функции. Линейной алгебры нету.
J. Rotman: "Advanced modern algebra". Ротман сильно разжевывает. Задачи слишком простые для уровня учебника. Линейная алгебра есть.
M. Artin: "Algebra". Американский Винберг. Группы Ли, упор на геометрию. Задачи неудачные.
I. N. Herstein: “Topics in Algebra“. Прекрасные задачи, отбор материала очень устарел, почти что Ван дер Варден.
P. Aluffi: "Algebra, Chapter 0". Если ты в состоянии ее осилить, бери и забывай про остальные книжки из списка. Линейная алгебра есть.

Линейная алгебра
В. А. Ильин, Э. Г. Позняк: “Линейная алгебра“. Один из классических и самых популярных курсов линейной алгебры.
Д. В. Беклемишев: “Курс аналитической геометрии и линейной алгебры“.
И. М. Гельфанд: "Лекции по линейной алгебре". Не даётся определение определителя.
А. И. Кострикин, Ю. И. Манин: "Линейная алгебра и геометрия". Затрагивается темы геометрий и связей с квантовой механикой. Не даётся определение определителя.
S. Axler: "Linear algebra done right". Подход без определителей (почти). Одна из самых популярных книг за рубежом.
S. Treil: "Linear algebra done wrong". Не такая популярная, как Axler, но тоже хвалят, да. Определители есть.
G. Shilov: "Linear Algebra". Определитель появляется на первой странице.
K. Hoffman, R. Kunze: "Linear Algebra". Классика за рубежом.
P. Halmos: "Finite-Dimensional Vector Spaces". Тоже классика.
P. Peterson: "Linear Algebra". Не особо знаком, но выглядит аккуратно. Что-то вроде Акслера.
S. Roman: "Advanced Linear Algebra". Хороший учебник по линалу. Но нужно знать элементарные свойства матриц и определителей.

Математический анализ
T. Tao: “Real analysis“. Один из самых популярных курсов математического анализа на английском языке.
C. Pugh: "Real Mathematical analysis". Более простая версия Рудина с картинками. Норм книга, но не самая лёгкая.
В. А. Зорич: "Математический анализ". Первый том посвящен классическому анализу. Много примеров, много материала, в том числе даются в начале основы матлогики и теории множеств, а также функций между ними.
Р. Курант: "Курс дифференциального и интегрального исчисления". Идеален с точки зрения первого знакомства с теорией, но имеет достаточно сложные упражнения.
Г. М. Фихтенгольц: "Курс дифференциального и интегрального исчисления". Хорош как повторительный курс.
С. М. Львовский: "Лекции по математическому анализу". Записки лекций из НМУ. Нужно знать основы калькулюса.
Г. Г. Харди, Д. Е. Литтлвуд, Г. Пойа: "Неравенства".
Н. Н. Лебедев: "Специальные функции и их приложения".
Г. П. Толстов: “Ряды Фурье“.

Геометрия
A. Ostermann, G. Wanner: "Geometry by its history".

Дифференциальные уравнения
С. Фарлоу: “Уравнения с частными производными для научных работников и инженеров“.

Вариационное исчисление
И. М. Гельфанд, С. В. Фомин: " Вариационное исчисление".

Топология
V. Runde: "A taste of topology". Неплохая книга по метрическим пространствам и общей топологии, затрагивает фундаментальную группу.
J. Strom: "Modern classical homotopy theory".
T. Dieck: "Algebraic topology".
M. Crossley: "Essential Topology". Пререквизит для изучения алгебраической топологии. Не затрагивает тему метрических пространств.

КУРСЫ ДЛЯ ПРОДВИНУТЫХ МАТЕМАТИКОВ

Математический анализ
У. О. Рудин: "Основы математического анализа".
А. И. Маркушевич: "Теория аналитических функций".
S. Ramanan: "Global calculus".
H. Amann, J. Echer: "Analysis".
W. Fidcher, I. Lieb: "A Course in Complex Analysis: From Basic Results to Advanced Topics".

Дифференциальные уравнения
В. И. Арнольд: “Обыкновенные дифференциальные уравнения”. Книга для уверенных в себе математиков. Диффеоморфизмы, фазовые потоки, гладкие многообразия. Слава Гермесу Трисмегисту!

Теория категорий
С. Маклейн: "Категории для работающего математика".
Р. Голдблатт: "Топосы. Категорный анализ логики".

Дифференциальная Геометрия
К. Номидзу: "Основы дифференциальной геометрии".
J. Lee: "Manifolds and DIfferential Geometry".
L. Nicolaescu: "Lectures on the Geometry".
P. Michor "Topics in Differential Geometry".

Алгебраическая геометрия
Д. Мамфорд: "Красная книга о многообразиях и схемах".
В. В. Острик, М. А. Цфасман: “Алгебраическая геометрия и теория чисел: рациональные и эллиптические кривые”.
В. И. Арнольд: “Вещественная алгебраическая геометрия”.
Ю. И. Манин: Введение в теорию схем и квантовые группы“.
R. Vakil: "Foundations of algebraic geometry".
S. Bosch: "Algebraic Geometry and Commutative Algebra".
U. Gotz, T. "Wedhorn: Algebraic Geometry".
E. Harris: "The Geometry of Schemes".

Топология
А. Хэтчер: "Алгебраическая топология".
J. Munkres: "Topology". Книга - жесткий учебник по теоретико-множественной топологии. Много ненужного для других областей математики.

ИНТЕРЕСНОЕ:

Цикл “Manga guide to...“. Популярное изложение различных областей математики (и не только), оформленное в виде манги. Увы, без фансервиса.
Н. А. Вавилов: “Конкретная теория групп I: основные понятия“. И вообще все остальные книги (и лекции!) Вавилова.
П. С. Александров: “Введение в теорию групп“. Просто о сложном. Несколько вольный язык изложения, местами затрудняющий восприятие.
В. Б. Алексеев: “Теорема Абеля в задачах и решениях”.
Р. Курант, Г. Роббинс: “Что такое математика?”. Очень интересная книга, в двух словах не описать. Но вас захватит, надолго.
Н. Я. Виленкин: "Рассказы о множествах". Теория множеств для широкого круга читателей.
М. М. Постников: “Теорема Ферма. Введение в теорию алгебраических чисел”.
Н. Стинрод: “Первые понятия топологии“.
А. Я. Хинчин: “Три жемчужины теории чисел“.
О. Я. Виро, О. А. Иванов, Н. Ю. Нецветаев, В. М. Харламов: “Элементарная топология”.
Я. П. Понарин: “Алгебра комплексных чисел в геометрических задачах”.
А. А. Заславский: “Геометрические преобразования”.
В. Акопян, А. А. Заславский: “Геометрические свойства кривых второго порядка”.
В. И. Арнольд: “Геометрия комплексных чисел, кватернионов и спинов”.
В. В. Прасолов: “Геометрия Лобачевского”.
В. Г. Сурдин: “Динамика звездных систем”.
Д. В. Аносов: “Дифференциальные уравнения: то решаем, то рисуем”.
В. В. Прасолов: “Наглядная топология”.
Д. В. Аносов: “От Ньютона к Кеплеру”.
М. Клайн: “Математика. Поиск истины“.
Д. Пойа: “Математическое открытие“.
Л. Кэрролл: “Логическая игра“.
Д. Пойа: “Как решать задачу“.
О. Я. Виро, Д. Б. Фукс: "Введение в теорию гомотопий. Гомологии и когомологии".
T. Sundstrom: "Mathematical reasoning writing and proof". Отличная книга для первого чтения по математике. В ней объясняется что такое математическое доказательство, математический факт и каким образом их можно придумывать. Начала теории множеств.
D. Dummit R. Foote: “Abstract Algebra“. Много примеров, задач, но страшно скучный учебник, его нужно держать как справочник.

ПОЛЕЗНЫЕ РЕСУРСЫ:

Библиотечка "Квант": math.ru/lib/ser/bmkvant
Высшая математика просто и доступно, по 2 курс включительно: mathprofi.net
Необъятная онлайн библиотека: gen.lib.rus.ec
#2 #365357
Продолжаем поливать говном список из ОП-поста!
#3 #365359
Пусть X1, X2, X3, ... - цепь из семейств попарно непересекающихся белых отрезков, т.е. X1 ⊂ X2 ⊂ X3 ⊂ ...

Пусть семейство белых отрезков X - объединение этой цепи. Предположим, что a и b - пересекающиеся отрезки из X. Тогда существуют такие числа m и n, что a - элемент семейства Xm, b - элемент семейства Xn. Пусть k = max(m,n). Тогда и a, и b - элементы Xk и потому не пересекаются.
>>365366
#4 #365361
На каких веществах 4?
>>365362
#5 #365362
>>365361
На гомотопическом хаосе.
>>365685
#7 #365364
>>365363
Спасибо, добрый незнакомец.
#8 #365366
>>365359
Как жить в таком количестве формализма на одну интуитивно простую задачку?
>>365367
#9 #365367
>>365366
На некотором уровне развития перевод утверждений с одного уровня строгости на другой становится просто упражнением в усидчивости.
#10 #365385
Матёшка
список http://pastebin.ru/0GwfJtXk
торрент-файл http://rgho.st/7rCxBWGhR
#11 #365386
Просто взял блядский англо-русский словарь и за эти два часа выучил ~200 слов на букву "A". Я гений или завтра всё забуду?

>>365332-заебавшийся-кун
#13 #365388
>>365386
Прочти вечером ещё раз и повтори с утра, как проснёшься - 100 слов с собой унесёшь точно.
>>365391
#14 #365389
>>365386
Скорее всего забудешь.
>>365391
1720 Кб, 3264x2448
#16 #365391
>>365386
Алсо, вот фрагмент словаря и тех слов, которые я как бы выучил.

>>365388
>>365389
Ну, хуй знает. Посмотрим. Сейчас посмотрел по форумам, люди говорят, что учат по двадцать слов в день, лол.
#17 #365393
>>365391
ты шекспира читать собрался? помимо adjust,adjacend,admission и advance я не вижу особенно полезных для математики слов, если это, конечно, не книга об ее истории
>>365394>>365401
#18 #365394
>>365393
А если пригодится?
#19 #365395
Сука ну, из нити в нить список все больше и больше обрастает говном ненужным.
>>365396>>365426
#20 #365396
>>365395
я бы давно вынес это все в pastebin, где расширил бы описания и выделил ключевое.
>>365418
#21 #365397
Посаны, какая польза от асимптотик в теоретическом плане? По сути они не дают никакой информации. Скажем, я знаю что f(n) = O(n^2). f(n) может расти как exp(n) до n < m, а после m будет расти как n^2. А m может быть каким угодно, хоть числом атомов во вселенной. В итоге если, например, нужно оценить трудоемкость алгоритма, приходится апеллировать к здравому смыслу.
#22 #365398
>>365387
не годится, ошибок дохуя.
#23 #365399
>>365386
кек, забудешь конечно. ну может 10 останется. это очень хуевый метод.
#24 #365400
>>365397
Или допустим
f(n) = n^2 + (100500^100500) * n.
f(n) = O(n^2), но это нам не дает вообще никакой полезной информации.
>>365402
#25 #365401
>>365393
adolescent хорошо к гамологиям подходит
#26 #365402
>>365400
На практике таких констант "не бывает" и О-оценка даёт действительно хорошее приближение.
#27 #365403
>>365391
Не бойся пропускать непонятные слова. Смысл математического текста должен быть понятен по формулам и всяким таким штукам. Переводить нужно только тогда, когда встречаешь слово, которое ты уже раньше видел, но не помнишь, что оно означает.
#28 #365404
>>365391
Хуевый какой-то словарь. В гугл транслейте раз в 10 больше значений. Зачем тебе вообще бумажный словарь в 2016 году?
#29 #365405
>>365397

>f(n) = O(n^2)


За то что ты не указал базу тебя уже надо обоссать, ну да ладно, предположим ты имел в виду базу n->inf, тогда f(n)=O(n^2) тоже самое что |f(n)|<C n^{2} для n в окрестности бесконечности.
>>365413
#30 #365412
Кто думает английские учебники читать сложно, вот вам пара словечек по немецки

Topologieumgebungsraumteilmenge
Topologieumgebungsraumteilmengeneigenschaft

Все, теперь давайте учите топологии по немецки.
#31 #365413
>>365405

>не указал базу


>базу


Зоричаёб не палится.
>>365415>>365417
#32 #365415
>>365413
Как-будто что-то плохое, даже вербилка аппрувит.
#33 #365417
>>365413

>Зоричаёб не палится.


О,о символика без указания базы бессмысленна, долбоебушка.
>>365423
#34 #365418
>>365396
Что тебя тогда сдерживает? Врожденная копрофилия?
>>365419
#35 #365419
>>365418
Я не ОП, я не возьму на себя такую ответственность.
>>365421
#36 #365420
>>365397
а если нужно сравнить алгоритмы?
#37 #365421
>>365419
Взял тебе в глотку, мразь пидорская. Давай пиши.
Я не напишу пушо я физек и половину советованного воспринимаю как кусок говна. Другую половину читал и надо её фиксить.
>>365428
#38 #365423
>>365417
С фига ли? Посмотри любой учебник высшей математики.
>>365424
149 Кб, 673x668
#39 #365424
>>365423
Проиграл.
#40 #365426
>>365395
Лол, кстати, в этот раз пришлось сильно сократить описания и удалить пару разделов (раздел для абитуры не жалко - все-равно там калл один был, а вот математику для нематематиков со слезами на глазах тер), т к достигнут максимальный раздел поста и вся херня. Но список на глазах хорошеет.
#41 #365427
Легко выучил все ~400 слов на букву "A". Я гениален просто.
>>365391-кун
#42 #365428
>>365421
Слегка скорректировал на свой вкус.

http://pastebin.com/BQ136iaH
#44 #365437
>>365435
Лол, Ромка тоже в фэдосах жил? Интересно какого года видео.
#45 #365455
>>365397
Скажу по секрету: ты спрашиваешь практический вопрос. Классический предел не отвечает на этот вопрос.
>>365461>>365462
#46 #365461
>>365455
Скажу по секрету: пиздуй нахуй, уёбок.
>>365462>>365628
#47 #365462
>>365461
>>365455
Я без секретов скажу: оба нахуй пиздуйте. Ишь ты, сраться они пытаются начать.
>>365628
9 Кб, 514x48
#48 #365463
Посоны, нужно написать программу по пикрелейтеду. Где про это можно подробнее почитать?
>>365464>>365479
#49 #365464
>>365463
В википедии.
>>365466>>365468
#50 #365466
>>365464
Да там как-то много и не совсем понятно.. Ну ладно, попробую.
>>365468
#51 #365468
>>365464
>>365466
Мда уж, там вообще этого нет.
>>365473
#53 #365479
>>365463
Разве эта задача не является алгоритмически неразрешимой?
>>365494
62 Кб, 1631x441
#54 #365494
>>365473
Я так понял, что мне надо вот из этого таблицу строить. Как ее строить-то?

https://ru.wikipedia.org/wiki/Задание_группы
>>365479
Ну я на первом курсе вообще, может тут все просто.
>>365499
#55 #365499
>>365494
Ну, епт, как таблицу умножения. Для каждой пары элементов группы указываешь результат групповой операции.
>>365513
#56 #365501
>>365435

>лучшая книга в мире по алгебре


Какая? Ни черта разобрать не могу.
>>365505>>365512
#57 #365505
>>365501
Ленг.
Serge Lang.
>>365506
#58 #365506
>>365505
Роман, это ты? С чего мне гомологическую алгебру начать изучать?
>>365507
#59 #365507
>>365506
Не знаю. Главное алгебраическую топологию по Хэтчеру не изучать. Только Нейзендорфер, я так сказал.
>>365510
#60 #365510
>>365507
Кек
#61 #365512
>>365501
По алгебрам Ли. Хамфрис.
#62 #365513
>>365499
Ну вот, например, где <x,y | xy = yx> как строить? Тут элементы x и y? И что тогда писать в результате операции?
я даун не бей
>>365515
#63 #365515
>>365513
Да, элементы х и y. Тебе нужно перебрать все возможные варианты взаимодействия элементов по средствам групповой операции. Операция у тебя по определению коммутативна, значит x o y = y o x. Два элемента уже есть (как раз твои xy и yx, говоря мультипликативным языком), они равны (т к коммутативность) можешь их какой-нибудь другой буквой обозначить, если хочешь. Далее остаются варианты x o x = x^2, y o y = y^2. Ну или тоже можешь их другими буквами назвать. Важно понимать, что по определению группы все результаты групповых операций между элементами группы - тоже элементы этой же группы. Дальше, как говорится, каждый дрочит как хочет, можешь таблицу нарисовать ( столбцы x и y, строки x и y) и в ячейках результаты операций записать, можно без самой таблицы просто операции перечислить.
>>365517
#64 #365517
>>365515
Оп, спасибо.
А мне надо будет еще записать x^2 и y^2 в элементы? И типа потом получится x^3 и y^3 и так далее. Или это хуйня?
>>365519>>365521
#65 #365519
>>365517
Да, нужно.
В каждой группе есть единица(из аксиом группы). То есть такой элемент e, что ea = ae = a
Порядок - это такое наименьшее натуральное число N > 1, что x^N = e. Где e - это единица группы. У каждого элемента группы порядок либо есть, либо нет.
a и a^k - это разные элементы группы. Ну при условии, что остаток от k/N != 1
>>365520
#66 #365520
>>365519
А бля, не так прочел. Нет. Строишь как табличку умножения.
#67 #365521
>>365517
Да, но надо понимать, что если у тебя множество элементов группы состоит из x и y, то, во-первых, один из них должен быть нейтральным, т е, например, x o x = x, x o y = y. Во-вторых, должны существовать обратные элементы, т е y o y^(-1) = e, где e - нейтральный элемент. А элементы типа y^n, где n натуральное - являются либо x, либо y, либо обратными к ним. Т е случай y^n покрывается случаями x o x, y o y, x o y для коммутативной группы.
Общий тред поиска замены для математики #68 #365525
Математика слишком сложна и требует концентрации, чего многим не хватает в век интернета и клипового мышления.

>>65522.html

#69 #365534
Аноны, я чет потерялся в понятиях. Когда функция отображает множество {0, 1} на себя, а когда в себя?
>>365535
#70 #365535
>>365534
Для конечных множеств это одно и то же.
>>365536
#71 #365536
>>365535
То есть автоморфизм для конечных множеств то же, что и эпиморфизм?
>>365539
#72 #365539
>>365536
Да. Это можно даже считать определением конечности.
>>365540
#73 #365540
>>365539
Круто, спс. Пойду дальше книжку для птушников читать.
#74 #365541
>>365356 (OP)
а с каких книг то можно начинать обмазываться математикой? Ну в смысле так знаю математику на уровне обычной инженерной вышки, сейчас хочу себе какое нибудь хобби чтобы мозги разминать. Че посоветуете? Чтобы просто мозги загружало для разнообразия, потому что даже в студенческое время замечал если с утрица чего нибудь сосредоточиться и порешать, то весь день как то лучше соображаешь.
>>365542>>365543
456 Кб, 726x1084
#75 #365542
>>365541
Бурбаков наверни же.
>>365554
#76 #365543
>>365541
Лол, ну если тебе не ради математики, а ради разминки, то бери Демидовича. Там 4.5к задач, хватит надолго.
>>365547
40 Кб, 530x311
#77 #365545
Какую книгу выбрать чтобы вспомнить математику с самых низов?
Кун 24лвл заканчиваю мухосранский быдловуз заочно, строительный факультет. Умею считать до десяти.
>>365546>>365553
#78 #365546
>>365545
ОП-список, раздел для самых маленьких. Потом - по настроению.
#79 #365547
>>365543
ну чего нибудь такого хотелось бы, что бы понимать развиваться. А не на примерчики дрочить.
>>365559
#80 #365553
>>365545
2+2 значение знаешь?
неверно, правильный ответ 3+1
#81 #365554
>>365542
А почему они не падают, к стенке приклеены?
>>365557
#82 #365557
>>365554
А, понял, они на столе лежат, надо пик развернуть просто. Смекалочку я проявил! Все-таки помогает математика пространственно думать.
>>366071
#83 #365559
>>365547
Тогда ОП-список тебе в помощь. Увидимся через хуйлион лет, когда освоишь.
>>365560
#84 #365560
>>365559
а с чего начать? вот книг то миллион и разделов миллион. А как именно что то выбрать такое в че въехать можно было, и думать над этим. И в каком порядке разделы изучать? С какой книги начать?
>>365561>>365562
#85 #365561
>>365560
А какой у тебя уровень? Школьную агебру норм знаешь? Как символьные выклдаки делать понимаешь? Что такое многочлен/рациональные числа? Доказывать что-нибудь в жизни пробовал?
#86 #365562
>>365561
Инженерная вышка у него. Со всеми вытекающими.

>>365560
Для начала открой алгебру Винберга. Общая алгебра - язык математики, логично начать с нее. Все, что будет непонятно - гугли.
>>365563>>365573
#87 #365563
>>365562
а есть аналог алгебры винберга на английском? хочу еще английский подтянуть.
#88 #365564
>>365563
Куча аналогов.
#89 #365566
>>365563
Все есть в ОП-посте. Читай.
#90 #365567
>>365561
ну на уровне всяких универских интегралов, пределы, преобразование Фурье, дифуры самые простые хз че там сейчас в голове осталось. Ну так общие слова помню из этих тем и че к чему, но какая то конкретика уже ушла из головы. На работе иногда с БПФ сталкивался и прочим ЦОСом но так изредка не вникая, но в общих чертах суть понимаю.
>>365570
#91 #365570
>>365567
А почему бы тебе тогда все это не освежить, на инженерном уровне?
>>365572
#92 #365572
>>365570
так я и не против. Я сюда пришел к знающим анонам что бы путь хоть какой то книжный наметили. Так то я начал интересоваться, а тем оказывается в математике много о которых я даже не слышал в универе. Да и литературы много, а вот именно годной не так уж.
#93 #365573
>>365562

>Для начала открой алгебру Винберга


Спасибо, анон.
>>365575
#94 #365574
>>365563
Artin M. Algebra
#95 #365575
>>365573
Да и ты, кстати, зря сразу на английском хочешь. В инженерных вузах уровень математики как в пту на западе. Настоящая математика сильно отличается от того, что тебе преподавали. Сначала попробуй на русском вкатиться, поверь, тебе и так непонятных слов хватать будет.
>>365576>>365577
#96 #365576
>>365575
это не я просил.
>>365578
#97 #365577
>>365575
ну вот я попытался вкатиться, и понял что то чем занимаются математики и то что обычно надрачивают в вузах всякие примерчики ради того чтобы сдать зачет - совершенно разные вещи. Заинтересовало, решил посмотреть че к чему.
>>365578
#98 #365578
>>365576
Ок, все аноны на одно лицо. Надо трипкоды вводить и перепиливать двач в форум с регистрацией.

>>365577
Эти примерчики не только для зачета. Это называется прикладная математика. Обычным смертным не обязательно знать из каких абстракций эти прикладные вещи выводятся.
>>365580>>365585
#99 #365580
>>365578

>Обычным смертным не обязательно знать из каких абстракций эти прикладные вещи выводятся.


но иногда хочется знать основу
>>365581
#100 #365581
>>365580
Так учи, кто не дает-то? Просто в ВУЗах этому не учат, т к нематематикам это не нужно.
#101 #365582
>>365561

>Доказывать что-нибудь в жизни пробовал?


доказывал мудакам с сосача, что они мудаки
42 Кб, 744x303
#102 #365583
Что автор тут хочет мне сказать?
>>365597
#103 #365585
>>365578
>>365578
спасибо анон за помощь.
#104 #365597
>>365583

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

>>365601
#105 #365599
Чет меня прет. Если цикломатическое число графа равно нулю, всегда ли этот граф лес?
>>365636
#106 #365601
>>365597
Спасибо.
#107 #365626
Сап, помогите разобраться с жордановой нормальной формой. как размер и количество клеток связано с минимальным многочленом?
#108 #365627
>>365433
продолжаем говорить про напихание

>Это очевидно.


Нет, это неочевидно. Это суть задачи. Задача в том, чтобы красиво формализовать процедуру напихания.
#109 #365628
Картофан закукарекал >>365461

И этот >>365462

И такие дэбилы смеют писать в математика-треде.
>>365655
#110 #365636
>>365599
Цикломатическое число это минимальное число рёбер которое нужно удалить чтобы не было циклов. Если оно равно нулю, то это означает что ничего можно не удалять, циклов в графе и так нет.
>>365798
#111 #365642
новые расклады с бОльшим пристрастием
https://www.youtube.com/watch?v=L24GfNGMf9w
>>365682>>365687
#112 #365653
У меня есть ящик. В ящике куча одинаковых шариков.
На каждом шарике написано число. При этом, на 7.5% от общего числа шариков нарисованно число 4, а на всех остальных 92.5% число 17.2
Вопрос, как найти среднее значение от всех чисел на шариках? Шариков пускай будет дохуя, что в переводе на маняматический, бесконечно много.
#113 #365655
>>365628
Вербитка, ну нинад плис
46 Кб, 1293x547
#114 #365658
От чего зависит максимальная степень А в этом примере? который сверху
Утверждение какое-то...
http://atomlex.narod.ru/discret/examples.htm
>>365721
#115 #365660
что значит система векторов? так, что, если подсистема веткоров зависима, то и система зависима.
значит, что векторы не произвольно берутся и все?
>>365661
#116 #365661
>>365660
Система векторов - это индексированное множество векторов.

Множество M называется индексированным, или занумерованным, с помощью множества I (которое называется множеством индексов), если задана сюръективная функция из I на M, она называется индекс. Обычно в качестве множества индексов берут 1, 2, 3, ...

Индекс не обязан быть инъективной функцией. То есть в индексированном множестве допустимы дубликаты.
>>365663>>365680
#117 #365663
>>365661
А для чего вообще нужна индексация? Где это может быть полезно?
>>365665>>365666
#118 #365665
>>365663
Везде, где есть x1, x2, x3, ...
Это такая же базовая вещь, как буквы или слова.
#119 #365666
>>365663
Да он просто решил выебнуться и объяснить (самоочевидное) словосочетание "набор векторов" или "список векторов" через более сложные сущности.
>>365667>>365678
#120 #365667
>>365666

>через более сложные сущности


> > функция


> > множество


Ну-ну.
>>365668
#121 #365668
>>365667
Предлагаю объяснять массивы на информатике через функции и множества. Но предварительно за ZFC пояснить, а лучше сразу за ZFC^- + AFA, иначе никак.
>>365669>>365746
#122 #365669
>>365668
В приличном обществе так и делают. Привет.
>>365670
#123 #365670
>>365669
Лил, в твоём манямирке разве что.
>>365672
#124 #365672
>>365670
Плебеев не спрашивали.
#125 #365678
>>365666
Ты петух просто. Вопрошающий не понял, что такое система векторов. Если понятное с житейской точки зрения понятие становится непонятным, то как еще ответить на вопрос? Тот анон написал формальное определение индексации. Оно не только отвечает на вопрос, оно также поможет вопрошающему в будущем легче понять, что такое бесконечное декартово произведение, произведение мер и т. д..
>>365686
#126 #365680
>>365661
мне было не понятно высказывание из книги:

> Очевидно, что если система векторов содержит линейно зависимую подсистему, то она сама линейно зависима. Так, например, всякая система векторов, содержащая пропорциональные векторы, линейно зависима.



теперь понял, так-как отображение сюрьективно.
>>365683
#127 #365682
>>365642
Радует, что у Ромы много друзей, которые не считают его поехавшим не потому что он математик, а потому что он по жизни нормальные логичные вещи говорит. Трэшак, конечно, тоже есть. На 37:00 проорал в голос.
#128 #365683
>>365680
Система векторов линейна зависима, если существует нетривиальная (не все коэффициенты равны 0) линейная комбинация векторов, которая равна 0.

Экивалентное определение: система векторов линейно зависима, если какой-нибудь один вектор является линейной комбинацией других векторов.

Твои утверждения следуют из определений.
#129 #365685
>>365362

>В у меня был один знакомый математик. В юности он неправильно жил, употреблял вообщем всякие препраты. И вот один раз он, в таком вот неправильном состоянии, увидел перед собой среду, такую фууууу, бурлящую, которая сказала ЗАДАВАЙ МНЕ ЛЮБЫЕ ВОПРОСЫ

#130 #365686
>>365678

>отображение сюрьективно.


Ага, ну теперь, вижу, что вопрошающему всё понятно, преподаватели уровня обоссай, ёпта.
>>365688>>365703
#131 #365687
>>365642
Охуенно же пояснил
#132 #365688
>>365686
Ну извини, телепатов нет, тот анон же не знал, что именно вопрошающему непонятно. Как можно не понять, что такое система векторов в житейском смысле? Логично было предположить, что вопрос заключался в том, как формально определить систему векторов.
#133 #365703
>>365686
Если человек знает определение векторного пространства, он почти наверняка знает определения сюръекции, инъекции и биекции.
#134 #365709
Что особенного в числе пи? Ему приписывают хаотический набор чисел после запятой, который не повторяется, мол, из-за этого в нём закодировано всё. Но есть же другие иррациональные непериодические числа (е, например), так почему пи такое особенное?
>>365710>>365719
#135 #365710
>>365709
Ничего, форсанули хуйню - и рады.
#136 #365719
>>365709

>иррациональные непериодические числа


Что означает «непериодические»?
>>365724
#137 #365721
>>365658
Насколько я понял, степень n матрицы смежности (точнее её "знак") - это достижимость путём в n рёбер. Поэтому чтобы получить достижимость вообще надо просуммировать знаки степеней по всем возможным длинам достижимости - в данном случае до 4, там ниже это и делается.
#138 #365724
>>365719
Что ряд знаков после запятой не повторяется. Наверное, правильнее было сказать "Непериодическая дробь" или вроде того.
http://formula-xyz.ru/beskonechnye-desyatichnye-drobi.html
>>365725
#139 #365725
>>365724
Это называется "иррациональное число".
>>365726
#140 #365726
>>365725
Спасибо!
#141 #365746
>>365668
Ты удивишься, но в discrete math (или ее эквиваленте для сs) как раз и изучают понятия set, tuple, list и тд, и много еще всякой мороки с уклоном больше в математику, чем в программирование, которая действующему программисту (который просто выучил массивы на интуитивном уровне) может показаться странной и ненужной. А еще посмотри на документацию к хаскелю как-нибудь.
#142 #365748
Нужно получить функцию - время на преодоление расстояния при заданном постоянном ускорении. Конечно, есть формула в гугле. Но как она получается? Ведь получить ее можно через интегральное исчисление, так ведь? Может кто написать, от чего получать первообразную, как что преобразовать?
>>365751
#143 #365749
>>365356 (OP)
Почему в математике так мало аналитических функций (типа логарифма, синуса или возведения в степень и т.п.)? Возможно ли создание новых аналитических функций? Позволит ли это решить ранее не решенные задачи, типа задачи трёх тел или уравнений Навье-Стокса?
>>365750
#144 #365750
>>365749
Что значит "создание аналитических функций"? Ты уверен, что понимаешь, что такое аналитическая функция?
>>365752
#145 #365751
>>365748
Есть функция ускорения от времени: a(t)=a.
Есть её первообразная, скорость: v(t) = a(t)dt = c1 + at , где с1 - начальная скорость, константа. Получается v(t) = a(t)dt = v0 + at.
Есть её первообразная, путь: s(t) = v(t)dt = c2 + v0t + at2/2 , где с2 равно нулю. Получается s(t) = v(t)dt = v0t + at2/2
Я верно тебя понял?
>>365753
#146 #365752
>>365750
Суть в том, что надо придумать новые функции, чтобы мы могли получать аналитическое выражение тех интегралов, которые сейчас найти не можем, только численно. Почему этим не занимаются?
>>365778
#147 #365753
>>365751 Да, именно это, спс. Пойду теперь пошагово возьму первообразные, для закрепления.
#148 #365773
Для недоопределённых систем линейных уравнений не существует даже приближённых решений? Если condition number равен бесконечности, то сколь угодно малая пертурбация матрицы коэффициентов ведёт к сколь угодно большому отклонению решения. Это весьма грустно.
#149 #365778
>>365752
А смысл? Ведь со времен Ньютона есть общий метод представления функции в виде ряда. Если тебе нужна какая-то хитрая йоба, просто укажи в каждой точке ряд для вычисления этой йобы. И делов-то.
#151 #365781
>>365780
Это где?
>>365782
#153 #365783
>>365780
А ведь после его смерти эти же люди будут им гордиться как Национальной Гордостью России™.
#154 #365784
>>365780
Хотя на этой фотке взгляд у него действительно чот какой-то обдолбанный.
#155 #365785
>>365780
Это кто
>>365792>>365795
#156 #365792
>>365785
Представитель РФ на Международном конгрессе математиков.
249 Кб, 867x639
#157 #365795
>>365785
Мелкий персонаж романа Пелевина пикрелейтед.

"Своя вселенная есть у креакла, своя — у ватника, своя — у математика-педофила, прикованного к России-матушке ненавистью такой силы, что соседи содрогаются от издаваемых им за стеной звуков и вызывают в испуге полицию, своя — у затаившегося за другой стеной некрофила, который все еще думает, будто его спасает тишина".
#158 #365798
>>365636
Ок, а считаются ли параллельные ребра и петли циклами?
>>365804
#159 #365804
>>365798
Считаются.
>>365806
#160 #365806
>>365804
Значит все-таки всегда. Спасибо.
>>365984
#161 #365979
пацаны поясните за алгебру от ленга. стоит ли или нет?
цель - познать группы кольца и иже с ними.
база - университетский курс 3 семестра, но читал алкоголик и дальше определений и пары основных теорем мы не ушли
>>365983>>365995
#162 #365983
>>365979
Вообще стоит, но она слегка стара.
>>365992
#163 #365984
>>365806
Три семестра чего? Кто по специальности? В Лэнга просто так с инженерным, например, образованием не вкатиться.
>>366192
2220 Кб, Webm
#164 #365988
>>365994
#165 #365992
>>365983

>она слегка стара


В каком месте? В ней есть даже категории, в отличие от современных российских университетских пособий.
#166 #365994
>>365988

> когда залётный на матфаке

#167 #365995
>>365979
алкаши не умеют в математику.
>>365998
#168 #365998
>>365995
Гамильтону это скажи. Он свою ijk=-1 открыл, упившись в хлам.
>>366116
#169 #365999
Как что-то понять, если мешают стены?
>>366000
207 Кб, 766x992
#170 #366000
>>365999
Превозмогать!
#171 #366002
Ну по диффурам Степанов годнота. А ещё справочники Камке по ОДУ и УрЧП.
По дифгему книжка Мищенко и Фоменко хороша.
По уму всему этому списку не хватает разделов с функциональным анализом и численными методами, а то чот искусство ради искусства с минимумом приложения
#172 #366003
Ну по диффурам Степанов годнота. А ещё справочники Камке по ОДУ и УрЧП.
По дифгему книжка Мищенко и Фоменко хороша.
По уму всему этому списку не хватает разделов с функциональным анализом и численными методами, а то чот искусство ради искусства с минимумом приложения
>>366005>>366025
#173 #366005
>>366003

> а то чот искусство ради искусства с минимумом приложения


Так все приличные люди и смотрят на математику, мой пасленовый друг.
#174 #366025
>>366003
Но ведь функциональный анализ, за исключением какого-нибудь преобразование фурье и теории Фредгольма, точно такое же искусство ради искусства, хули ты тут пиздишь на нас.
мимоФАНщик
#175 #366028
Как доказать гипотезу, если она не доказывается?
>>366040
#176 #366040
>>366028
Методом Мочидзуки.
>>366117
#177 #366041
Почему в ситуации такого обилия учебников нету нормальных комментированных программ по тому, что и в какой последовательности изучать? Максимум - сухие списки вроде того, что в ОП посте, почему нету рекомендаций по-поводу стиля того или иного учебника, или того, насколько резонно его читать от корки до корки, личных впечатлений, наконец? Одни ебучие стены текста из названий.
#178 #366049
>>366041
Потому что человеческая культура ещё не достигла такой степени совершенства.
>>366052
#179 #366052
>>366049
Кстати, я абсолютно серьезно думаю, что причина именно в этом. Обыватель думает, что та (электронная) библиотека лучше, в которой больше книжек. По мне так это столь же нелепый стереотип, как и то, что лучше та книга - в которой больше предложений, или лучше то предложение, в котором больше букв.
#180 #366058
>>366041
Ну бля скачиваешь штук 5 книг, листаешь их, выбираешь ту, которая больше нравится и по ней учишься. В чем проблема-то? В каком порядке изучать и так все понятно. Если непонятно, то
1) теория множеств
2) общая топология, теория меры
3) дальше уже у тебя будет кругозор и будет все понятно
>>366060
#181 #366060
>>366058
Да бля, я на graduate туда-сюда поступать собираюсь, до сих пор нихуя непонятно.
#183 #366065
>>366063
Спасибо, сохронил.
>>366119
#184 #366071
>>365557
А теперь, исходя из имеющихся данных, смотря на картинку, поверни их на полный оборот (360 градусов), потом, запомнив построенный объект, убери картинку и покрути, чтобы рассмотреть со всех сторон. Ну а прочитать их таким образом, по памяти, 1 к 1 - будет уже высший пилотаж.
#185 #366116
>>365998
он же с женой гулял по мосту. алкаши разве с женами гуляют, как порядочные
#186 #366117
>>366040
что нужно школьнику из списка прочитать, чтобы вкурить тейхмюллера? все, плюс еще дополнительный материал?
>>366191
#187 #366119
>>366065
>>366041

>>366063
В таком же стиле есть список каледина по алгему. http://www.mi.ras.ru/~kaledin/noc/literature.html
>>366203
102 Кб, 800x600
#188 #366132
>>366041

>и в какой последовательности изучать?


Ввиду огромного количества взаимосвязей между книгами, их нужно изучать одновременно. Страницу оттуда, страницу отсюда. К тому же это изучение нелинейно, каждую книгу придётся читать несколько раз.
>>366166
87 Кб, 505x95
#189 #366148
как делать такие вещи, подскажите, пожалуйста
#190 #366149
>>366148
Задание абсурдно. Ответ - да почти какой угодно, ёпт.
#191 #366152
>>366148
Проверь какие законы тут выполняются, найди алгебраическую структуру, для которой выполняются те же законы.
>>366157
#192 #366155
>>366148

> векторов, каждый из которых лежит на одной из осей, относительно операции сложения


Никакой, это множество не замкнуто относительно сложения.
#193 #366157
>>366152
Для любой структуры X существует бесконечное множество структур, расширяющих X.
#194 #366166
>>366132
Фу, блядь, фу нахуй. Затхлой пылью чет повеяло.
#195 #366167
>>366166
Вербитка, плес.
>>366171
#196 #366169
Вот такая вот задача. Можно ли вырезать из сферы кусок с гладкими краями и сложить его так, чтобы получилась еще одна сфера?
>>366246
#197 #366171
>>366167
Выбегало закукарекал заместо авроры.
>>366173
#198 #366173
>>366171
Ты к ЕГЭ шел готовится, вербитодаун.
#199 #366177
>>365356 (OP)
Матаны, расскажите, как вы думаете, когда занимаетесь математикой? Я всегда использую образы, даже когда решаю задачи чисто математические - в уме буквально строится анимация всех преобразований, которые я делаю, прям вот образ написанных на бумажке выражений, и как они изменяются. Это происходит совершенно непроизвольно. Собственно, что происходит у вас в голове, когда вы обо всем этом думаете, особенно о совсем абстрактных задачах?
#200 #366183
Бля, посоны, не ленитесь всё это изучать в универе.
Я вот поленился и хуй что помню, а теперь приспичило чё-то прокачаться. Придётся почти заново начинать.
#201 #366191
>>366117
ну например всё, плюс еще столько же серьезного дерьма по гомологической алгебре, топологии и тч. и не только прочитать, а еще прорешать начисто все задачи из учебников. и всё это еще окажется абсолютно бесполезным. Оптимальный способ понять, по крайней мере, идеи - просто несколько лет интенсивно изучать это говно для дебилов.
#202 #366192
>>365984
алгебры
прикладная математика и информатика
#203 #366196
>>366166
Я учился у Вербицкого, и я считаю, что эти книги стоит прочитать. Моя пиписька длиннее твоей, слушай меня.
>>366217
#204 #366200
>>366148
Очевидно - категорией.
#205 #366203
>>366119
Каледин любитель бНОПНЯ как я вижу.
>>366290>>366294
#206 #366217
>>366196
Почему меня тут все считают вербитопоклонником? Просто можно найти не менее хорошие книги после 2000 года выпуска.
>>366218
#207 #366218
>>366217
Нельзя. Научная литература на русском языке умерла задолго до 2000.
>>366219>>366230
#208 #366219
>>366218
Научная литература на русском языке, в таком случае, вообще не рождалась. Всегда у нас были одни неуклюжие переводы да монографии типа Л-Л, написанные языком, заставляющим читателя чувствовать себя дегенератом.
>>366220
#209 #366220
>>366219
Переводы, по крайней мере, были. Сейчас их нет и в обозримом будущем не будет.
#210 #366230
>>366218
Хм, а я считаю, что научная литература во всём мире родилась только после начала её выкладывания в общий доступ. Раньше это была писанина для узкого круга лиц. По-сути непроверяемая и/или полупроверяемая писанина для своих. Сейчас с этим намного строже, и нужно достижение 75% оригинальности даже в маленьких текстах (процент не просто правильных цитат, а своего текста, я не помню). В отличие от периода до общего доступа, когда вся работа могла состоять из компиляции чужих мыслей с некоторыми маленькими своими комментариями или вообще без оных.
>>366232
27 Кб, 434x480
#211 #366232
>>366230
ИЗВИНИТЕ, НО ВАША РАБОТА С ДОКАЗАТЕЛЬСТВОМ ГИПОТЕЗЫ РИМАНА НА 100% ПРОЦЕНТОВ СОСТОИТ ИЗ ПЛАГИАТА РАБОТЫ ИВАНА ЕРОХИНА, КОТОРАЯ БЫЛА ОПУБЛИКОВАНА ЧАС НАЗАД
#212 #366246
>>366169
Нет, потому что кривизна.
#213 #366247
>>366166
Милнор и Спивак охуенны, Зорич - лучший учебник лоу-левел калькулуса на русском, всё остальное - скучное говно.
миморецензировал
>>366248>>366266
#214 #366248
>>366247
Ты читал эти книги?
>>366272
#215 #366266
>>366247

> Милнор


У меня от его обложки трипофобия.
>>366270
#217 #366272
>>366248
Зорича, Милнора и Спивака - да процентов на 70 каждую из них прочитал. Скучное говно - либо пытался читать и не пошло, либо просто просматривал по диагонали. Таки дела.
>>366326
71 Кб, 605x807
#218 #366278
Поясните за соответствия между логическими операторами и операциями над множествами. Т.е. "отрицание" в логике соответствует "дополнению" в операциях над множествами, "и" = "пересечение", "или" = "объединение". А какой операции над множествами соответствует импликация в логике?
>>366282>>366283
#219 #366279
Очень нужен сборник университетских мат. лекций на английском. Знаете, где найти, друзья?
>>366300
#220 #366282
>>366278
A -> B соответствует отношению "В включено в А".
>>366285
#221 #366283
>>366278
A->B = (не A) V B
>>366285
#222 #366285
>>366282
Т.е. подмножество?
>>366283
"не А или В" или "дополнение А объединение с В"? И как это понять?
>>366289
#223 #366289
>>366285
да.
первое.
#224 #366290
>>366203
каво
#225 #366294
#226 #366300
>>366279
гугли
lecture notes on <хуй пизда малафья>
#227 #366317
Реквестирую годноту по:
Pre-calculus
Calculus

Algebra
Linear Algebra

Так же прошу пояснить за геометрию: Евклидова, тригонометрия, Лобачевского и так далее. В каком порядке учить?

Ожидаемый мною результат - понимание языка "математика", чтобы читать строгие труды по физике(Савельев, Ландау)
>>366461
#228 #366318
Почему числовая прямая не является открытым множеством?
#229 #366319
>>366318
Где?
>>366320
#230 #366320
>>366319
Сама в себе.
#231 #366322
>>366318
Ведь по идее же интервал (a, b) является открытым. Применяя функцию подобия получаем (-inf, +inf). Функция подобия -непрерывное отображение, а значит открытое множество переводится в открытое же. Но с другой стороны дополнением числовой прямой в себе самой является пустое множество, которое по определению не открыто и не замкнуто, поэтому и вся прямая должна быть ни открыта, ни замкнута. Короче я совсем запутался.
>>366323
#232 #366323
>>366322

>Функция подобия -непрерывное отображение, а значит открытое множество переводится в открытое же


Вот это неправда (простой контрпример: x^2 переводит (-1, 1) в [0,1)). Для непрерывных отображений прообраз открытого является открытым.

А R в "самом себе" является открытым (и замкнутым тоже).
>>366324
#233 #366324
>>366323
x^2 - не функция подобия. Функция подобия умножает на постоянный коэффициент. И про непрерывное отображение я не согласен. Это же одно из определений непрерывности, если открытое -> открытое, а замкнутое -> замкнутое.
>>366327>>366336
#234 #366325
>>366318
Сначала скажи о каком топологическом пространстве идет речь.
>>366341
87 Кб, 604x453
#235 #366326
#236 #366327
>>366324

>если открытое -> открытое, а замкнутое -> замкнутое


Так y = x^2 не непрерывная, выходит?
>>366341
#237 #366336
>>366324
Нет, это не определение непрерывности.
#238 #366341
>>366327
Окай, действительно получается открыт прообраз открытого. Но вопроса это не снимает. Как минимум в числовую прямую входит ненулевая окрестность любой ее точки.

>>366325
Я не понимаю о чем ты. Прост в интернете прочитал, что числовая прямая ни замкнута, ни открыта. Ни о каких пространствах там не говорилось.
>>366344
#239 #366344
>>366341
Числовая прямая и замкнута, и открыта. Кроме неё открыто-замкнутым является пустое множество. Больше открыто-замкнутых множеств (в стандартной топологии вещественной прямой) нет, только эти два.

>числовая прямая ни замкнута, ни открыта


Ложь.
>>366409
#240 #366383
хахахахахахахаха)))
матиматика для лахов))))
Хаааа ыыыыы))))
што ви тут делаите ЛОХИ
#241 #366409
>>366344

>замкнута


Чем докажешь?
>>366525
#242 #366417
>>366418
#243 #366418
>>366417
На Давидовича Впрочем, на стул Городенцева тоже поглядывай иногда.
>>366419>>366554
#244 #366419
>>366418
Возможно оба этих курса осилить за лето?
>>366420>>366918
#245 #366420
>>366419
Очко треснет.
>>366421
#246 #366421
>>366420
А если мне больше делать нехуй?
>>366422
#247 #366422
>>366421
Смотри сам. Только на улицу иногда выходить не забывай.
#248 #366427
Первак-математик на связи. Как развить в себе культуру доказательств? Просто учить все эти доказательства и в один прекрасный момент начать пользоваться те ми же приемами, что используют авторы? Или на эту тему есть что почитать?
>>366429
#249 #366429
>>366427
G. Chartrand, A. D. Polimeni: "Mathematical Proofs: A Transition to Advanced Mathematics".

T. Sundstrom: "Mathematical reasoning writing and proof".
#250 #366437
Анон, поясни за геометрию. Я ее совсем не знаю, из школы и из универа ничего не помню. Математикой занимаюсь чисто для себя, ну и возможно для анализа данных в перспективе (для поступления в шад и все такое). И вот обнаружил что при изучении линала мне не хватает геометрических знаний. Не знаю как обращаться с уравнениями прямых, плоскостей и тд. С чего начать геометрию? Элементарная вообще нужна? На dxdy многие пишут что не нужна. Я открыл Погорелова, учебник для 7-11 классов, занимаюсь, но чувство такое что зря время теряю. Нашел учебник по ангему Александрова (с разобранными задачами, тот который пополненный необходимыми сведениями из алгебры), но в нем постоянно спотыкаюсь о фразы типа "по известной теореме из элементарной геометрии...". И вообще задачи оттуда очень тяжко идут, чувствую что у меня просто навыков решения геометрических задач нет (при этом матан и линал у меня отлично идут, там где они с геометрией не соприкасаются). Короче я вижу что ангем перед линалом (лично мне) очень нужен, а с элементарной геометрией непонятно. Что делать, за что хвататься?
Кстати линал изучаю по Сержу Лэнгу.
Кроме линала, хочется в перспективе к высшей геометрии подступиться, как ее в нму дают. Учебник Прасолова/Тихомирова пробовал, понял что мне такое рано.
#251 #366439

>Что делать, за что хвататься?


>Кстати линал изучаю по Сержу Лэнгу.


Изучай линал по более простой книжке.

>Кроме линала, хочется в перспективе к высшей геометрии подступиться, как ее в нму дают. Учебник Прасолова/Тихомирова пробовал, понял что мне такое рано.


Это один из самых странных курсов в НМУ. Он не нужен.
#252 #366450
>>366437
Нужна, не слушай хуесосов. Именно школьная геометрия на уровне большого количества простых и сложных задач вообще самое важное, что можно вынести из школы. После хорошего усвоения школьной программы, могу рекомендовать В.Г.Болтянский Элементарная геометрия - точно избавит от нехватки знания геометрии в линале.
>>366919
#253 #366457
>>366437
Блядь, как ты живешь вообще? Как можно не понять подобия треугольников по углу/длинне стороны, парралельности прямых, перпендикулярах, биссектрисах, высотах, парралелограммах, диагоналях, че там еще в школьном курсе, я уже не помню?
>>366484
#254 #366458
Ололо, я понял в чем разница между определенным и неопределенным интегралом.
Неопределенный интеграл это определенный интеграл в общем виде, а определенный это конкретный интеграл с заданными константами.
#255 #366461
>>366317
Кловун, чтобы ПОНИмать физику достаточно интегралов и дифференциалов.
Сейчас еще все перешли на векторные поля, но и без них спокойно можно обойтись.

Разве что в теории относительности и квантмехе понадобятся пространства маняковского.
>>366462
sage #256 #366462
>>366461

>Разве что в теории относительности и квантмехе понадобятся пространства маняковского.


>ОТО


>Простанства с произвольной симметричной метрике


>Не знает ничего о современной физике


>Пиздит где не попадя

>>366467
#257 #366465
Прочитал зельдовича с его мняматикой для инжинегров. Что читать дальше, чтобы не охуеть? А то фихтенгольц, зорич, курант какую то несусветную хуету творят в первыхъ главах.
Нахуя вводить понятие плюс-минус, больше-меньше, небо-аллах, если это все и так интуитивно понятно? Или если не доказал что один равно одному то не Ъ маняматик?
#258 #366467
>>366462
Вас посетил гринтекстовый толстяк.
>>366473
42 Кб, 800x333
#259 #366469
>>366465
Ты правильно понял суть математики.
>>366471
#260 #366471
>>366469
Бля, это реальный скрин? Это где такие капитаны обитают? Что за книжка?
>>366472
#261 #366472
>>366471
Principia Mathematica Рассела и Уайтхеда.
>>366474
sage #262 #366473
>>366467
Мамаша твоя толстяк.
#263 #366474
>>366472
Страница? Прозреваю что из первого десятка после слов авторов о том какие они красавчики и вообще все правельно сделоли в книжке
>>366477>>366483
#264 #366475
>>366465
Чтобы знать, что такое R.
>>366479
#265 #366476
>>366458
Формально, есть функции, имеющие определённый интеграл и неимеющие неопределённого, и наоборот.
Но для инженеров - нормальное понимание, в принципе.
>>366482
56 Кб, 888x417
#266 #366477
>>366474
426 страница, 1 том русского издания.
>>366487
#267 #366478
>>366465
Аксиоматика нужна, чтобы зафиксировать способы рассуждений и избежать двузначности, а вовсе не для того, чтобы прибавить понимания.
>>366485
#268 #366479
>>366475
Язык программирования такой. Я теперь могу считаться математиком?
>>366480
#270 #366482
>>366476
Например какие?
#271 #366483
>>366474
Это старое нестрогое говно, http://us.metamath.org/mpegif/mmset.html#trivia вот нормальное доказательство.
>>366491
sage #272 #366484
>>366457
конгруентность, перемещения, и гомотетия. отображения, одни сохраняют расстояние, другие нет, обратимы и нет.
книгу Колмогорова по геометрии прочитал за 6-8 класс. как раз читал еще про множества и доказательства и удивился, что он про множества и отображения говорит.не знаю, если сейчас так преподают, эта книга 70 года.
#273 #366485
>>366478
Это какая двузначность может быть? Я например не потерялся в словосочетаниях "предел к которому стремится сумма пределов при стремлении колдичества слагаемых к бесконечности"
>>366494
#274 #366487
>>366477
А почему глава первая аж до 426 страницы?
>>366489
52 Кб, 657x372
#275 #366489
>>366487
А тебе не все равно? Потому что это первая глава второй части.
#276 #366490
>>366458

>константами

>>366492
17 Кб, 845x64
#277 #366491
>>366483
В строгом все еще печальнее?
#278 #366492
>>366490
Константы бывают разные положительные, трансцендальные, мнимые
Но всем обязательно хочется с ними заморочится
#279 #366494
>>366485
http://us.metamath.org/mpegif/2p2e4.html
Не, там нормально.
>>366485
Например в том, считать ли 0.99999... и 1.000... разными числами или одним и тем же. Для тех, кто не знает строгого определения - это серьезный "идеологический вопрос". Точно так же как и для древних греков был вопрос, считать ли sqrt(2) числом.
>>366495
#280 #366495
>>366494
Ну, в разных случаях их можно считать разными числами, ящитаю.
И вопрос был не у греков, а у пифагорейцев. Архимед же вон считал число пи через интеграл практически и умер не из за этого
>>366496>>366497
#281 #366496
>>366495
А пифагорийцы не греки?

>Ну, в разных случаях их можно считать разными числами, ящитаю.


Вот чтобы строго специфицировать конкретные случаи - и нужны аксиомы. Чтобы у нас тупо были слова, которыми можно разговаривать, дескать "R - удовлетворяет таким-то аксиомам, а потому 0.99...=1.0.. там", а "R* - удовлетворяет совсем другим аксиомам, и потому там 0.99..=1.0..".

>Архимед же вон считал число пи через интеграл практически и умер не из за этого


Только кроме архимеда почти никто не считал. Аксиомы - это не только "защита от неправильных рассуждений", но и язык, методологический концепт, позволяющий компактно передавать огромные комплексы знаний от одного человека другим людям - без аксиом придётся размахивать руками и говорить "почувствуй то же, что и я!".
>>366499>>366502
#282 #366497
>>366495
Я уверен если бы его не замочили, он бы додумался до калкулюса. До пределов вряд ли, но интегрирование дифференцирование на песке палочкой - наверняка.
>>366502
#283 #366498

>R* - удовлетворяет совсем другим аксиомам, и потому там 0.99..=1.0..".


0.99...!=1.00...
конечно.
#284 #366499
>>366496
Аксиомы - очень приятный read only инструмент. А вот если бы самому попытаться аксиомку-другую родить! Нужно было уже быть авторитетом, иначе обоссут просто. Ведь надо на слово верить. А тык то такой.
#285 #366500

>Аксиомы - очень приятный read only инструмент. А вот если бы самому попытаться аксиомку-другую родить! Нужно было уже быть авторитетом, иначе обоссут просто.


Щито поделать, но это, всё же, проблема научного сообщества как социальной структуры, а не аксиоматического подхода как методологического метода.

>Ведь надо на слово верить.


Hui znaet, в хороших учебниках определения пытаются мотивировать всё-таки.
#286 #366501

>методологического метода


soryan, я косноязычен очень 3:
#287 #366502
>>366496
Все пифагорейцы греки, но не все греки пифогорейцы.

Но ведь аксиомы это по сути ЯСКОЗАЛ, ИБО ВАИСТЕНУ. Другими словами логическое допущения, на котором строится другое допущение, на котором строится...понелда

Допустим что есть ряд натуральных чисел 1,2,3... Из этого следует...
Допустим что электричество переносится особым веществом - электроном. Из этого следует что...

Так, если первичное допущение неверно, все выводы из него тоже неверные. Те же пифагорейцы исходили из допущения что все вокруг в целых числах выражается, и лососнули когда начали единичный квадрат ковырять.

>>366497
СОМнительно. Тогда такая мощная математика не была особо нужна на практике. Матан изобрел же ньютон, когда ему понадобилось на практике обосновать зависимость энергии от скорости.
#288 #366505

>Но ведь аксиомы это по сути ЯСКОЗАЛ, ИБО ВАИСТЕНУ. Другими словами логическое допущения, на котором строится другое допущение, на котором строится...понелда



Я бы относился к аксиомам скорее как к части определения, нежели сказать что есть на самом деле, а что - не на самом деле. То есть это просто некоторые международные языковые конструкции, абсолютно одинаково и однозначно интерпретируемыми всеми, кто умеет их читать, точно так же, как и куски кода некоторого языка программирования, например.
>>366509
#289 #366506
>>366437
Я слышал про учебник Reid: Geometry and topology, но я его не читал если че.
>>366919
#290 #366507

>нежели сказать что есть на самом деле, а что - не на самом деле.


нежели как некоторую догму
#291 #366508
нежели как к некоторой догме.
Сорян, посоны, не знаю, что сегодня с речью. 3:
#292 #366509
>>366505
Не согласен. Аксиомы это фундамент на котором стоит все остальное. Именно из за её фундаментальности от нее и не требуют доказательства. Ибо как можно доказать то, что доказывается только способами основанными на том что доказываемое верно?
>>366512
#293 #366510
Нахуя ему >>366465 кто-то отвечает вообще? Ну 5^pi-петух понятно, а остальные зачем отвечают?
>>366511
#294 #366511
>>366510
Давай разберемся тогда.
Зачем ты ему ответил?
>>366513
#295 #366512
>>366509
Вот ты знаешь определение предела? Оно тоже аксиоматическое - вводят значок и поясняют аксиомой, что он значит. Определение интеграла Римана? Тоже аксиоматическое - вводят значок и поясняют аксиомой, что он значит. В этих обеих случаях нам просто хотят рассказать конструкцию, а вовсе не установить какие-то догмы.
>>366514
#296 #366513
>>366511
Я другое имел в виду под ответом.
>>366515
#297 #366514
>>366512
Неа. Это все можно доказать математическими методами. Мол "Возьмем сперва 0.1, потом 0.01, потом 0.001 и т.д."
>>366516
#298 #366515
>>366513
Ну так зачем ты ответил ему? Что ты хотел этим сказать? Почему сейчас заднюю включил?
>>366517
#299 #366516
>>366514
Что доказать? Определение предела?
>>366518
#300 #366517
>>366515
Нахуй иди.
>>366518
#301 #366518
>>366516
Да.

>>366517
Вот как с таким человеком общаться, ну?
>>366519
#302 #366519
>>366518
"Доказать определение" - это даже с точки зрения семантики русского языка очень коряво звучит, что ты имеешь в виду?
>>366520
#303 #366520
>>366519
Имею ввиду что доказать в рамках старой науки.
>>366521
#304 #366521
>>366520
Даже в античные времена никто не "доказывал определения", у тебя какая-то каша в голове дикая.
>>366522
#305 #366522
>>366521
Ладно.
Пойду спать
#306 #366525
>>366409
Ананасы, я не тралль))) Почему прямая замкнута блжднкгелвщ-0495ъКДлд? У меня уже подгорает мальца от того, что понять не могу.
>>366526
#307 #366526
>>366525
она содержит все свои предельные точки.
>>366527
#308 #366527
>>366526
Но прямая же бесконечна. У нее нет предельных точек.
>>366530
#309 #366528
Сап. Я хуй и не умею в математику. Но я задался вопросом.

Допустим, есть 6 карт. 3 из них одинаковые. Ты должен вскрыть три. Какой шанс, что ты вскроешь три одинаковые?

У меня получилось что шанс всего 5%. Это верно?
>>366529>>366530
#310 #366529
>>366528
1/2 умножить на 2/5 умножить на 1/4
>>366531
#311 #366530
>>366527
Что такое предельная точка?
>>366528
2/C(6,3)
>>366532
#312 #366531
>>366529
Ок, значит я не настолько хуй! спасибо!
#313 #366532
>>366530

>Что такое предельная точка?


Что такое предельная точка?
>>366533
#314 #366533
>>366532
Окей, что такое замкнутое множество?
>>366534
#315 #366534
>>366533
Мн-во замкнуто если ни одна из его точек не имеет ненулевой окрестности, содержащейся в этом мн-ве. Не?
>>366535
#316 #366535
>>366536
#317 #366536
>>366535
Чому?
>>366537
#318 #366537
>>366536
Ну потому что это не определение, найди определение где-нибудь.
>>366538
#319 #366538
>>366537
Ну так это предложение верно для замкнутых множеств?

Плюс я ща найду что-нибудь, а тебе снова не понравится. Скажи уж как надо, я ж беспомощный новичок, хочу учиться.
>>366539
#320 #366539
#322 #366541
>>366540

>Дополнение открытого множества



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

Ну так и чего? Че там с прямой-то?
>>366543
#323 #366543
>>366541
Дополнение пустое множество - оно открыто.
>>366545
#324 #366545
>>366543
И замкнуто тоже.
>>366546
#325 #366546
>>366545
Я имею ввиду, что открытость и замкнутость пустого множества следует из аналогичных свойств всей числовой прямой, а свойства прямой следуют из свойств пустого множества. Получается замкнутый круг, как можно определять сущности сами через себя?
#326 #366547
>>366546
И еще, все-таки что такое предельная точка?
>>366553
#327 #366553
>>366546
Открытость следует из того, что для любой точки из пустого множества существует окрестность такая, которая содержится в множестве. (Если не вперишь в это утверждение, то попробуй построить его отрицание.)
>>366547
google: предельная точка, опять не вижу смысла переписывать википедию.
>>366561
#328 #366554
>>366418
А пойдет первый для начинающего то?
#329 #366561
>>366553
Лол, ну вроде утверждение непротиворечиво. Раз нет точек с окрестностями, то, действительно, пустое множество окрестностей содержится в пустом множестве точек с окрестностями. Хотя очевидным такое утверждение я бы не назвал. А отрицанием будет: для любой окрестности, не содержащейся в пустом множестве, существует точка не из пустого множества? Я просто никогда не пробовал отрицание через кванторы строить.
>>366564
#330 #366564
>>366458
Неопределённый интеграл - это множество функций.
Определённый интеграл - это одна функция.

>>366465
Фихтенгольц в начале книги вводит понятие вещественного числа, предполагая, что понятие рационального числа известно. Если ты считаешь, что тебе "интуитивно понятно" вещественное число, то вот несколько проблем.

1. Дай определение возведения числа в иррациональную степень. Что такое, к примеру, 5π?
2. Почему 0.(9) = 1?
3. Почему вещественные числа нельзя занумеровать натуральными?
4. Почему непустое ограниченное сверху множество вещественных чисел всегда имеет супремум?
5. Изоморфны ли два множества со структурой вещественных чисел? Может ли быть так, что теоремы, доказанные с использованием одних вещественных чисел, станут ложными при использовании других вещественных чисел?

>>366561
Если P(x) - утверждение, то для любого элемента m∈∅ истинно, что P(m).
Это очевидный и общеизвестный факт.
#331 #366566
>>366564

>Это очевидный и общеизвестный факт


Неправомерное использование обобщения. Да и очевидность сомнительна, хотя бы потому, что смысл m, принадлежащей пустому множеству мне непонятен.
>>366567
#332 #366567
>>366566
Есть в элементарных учебниках по теории множеств - общеизвестный.
Что именно тебе непонятно? Впервые видишь конструкцию ∀x∈M P(x), что ли?
>>366568>>366570
#333 #366568
>>366567
Другой анон на связи. Меня символы теории множеств просто расстраивают. Из головы постоянно вылетают. Ну настолько неинтуитивны.
#334 #366569
>>366564

>это множество функций.


>множество


Чета кек.
#335 #366570
>>366567

>Есть в элементарных учебниках по теории множеств - общеизвестный


Это не определение общеизвестного.

Ну и вообще, я не математик. Книг по теории множеств не читал, если не считать вступительные части учебников по другим областям, в которых любят напоминать основные факты теории множеств. Формальной логики мне не преподавалось никогда и ни в каком виде. Все, что я знаю о высказываниях, кванторах, логических операциях - обрывочные сведения из случайно прочитанных статей/обсуждений в интернете. Математика для меня - любимое хобби.
>>366571
#336 #366571
>>366570
Отрицанием утверждения ∀x φ будет утверждение ∃x не-φ.
Утверждение φ→ψ эквивалентно утверждению не-φ или ψ.
Отрицание утверждения φ или ψ есть утверждение не-φ и не-ψ.
Из утверждения φ и ψ следует утверждение φ.

Из этого имеем следующее.
Отрицанием утверждения ∀x (x∈M → P(x)) будет утверждение ∃x (x∈M и не-P(x)).
Из утверждения ∃x (x∈M и не-P(x)) следует утверждение ∃x (x∈M).

Рассмотрим случай, когда M = ∅.
Предположим, что утверждение ∀x (x∈∅ → P(x)) неверно.
Тогда верно отрицание этого утверждение.
То есть верно ∃x (x∈M и не-P(x)).
Следовательно, верно ∃x (x∈∅).
Но утверждение ∃x (x∈∅) неверно.
Следовательно, предположение ложно.
Следовательно, утверждение ∀x (x∈∅ → P(x)) верно.
>>366579>>366655
#337 #366579
>>366571

>доказывать vacuous truth

#338 #366586
>>366564
1. Очевидно же, переводим в дробь обычную и возводим число в степень верхнего числа дроби, и извлекаем корень нижнего числа дроби.
2. Округление, нет?
А про множества я ничего не знаю.
>>366595>>366596
#339 #366595
>>366586
1. Иррациональные числа не представимы в виде дроби. Нет таких целых чисел p и q, что π = p/q.

2. Нет, никакого округления тут нет. Число, обозначенное символом 0.(9) - это тот же самый объект, который обозначен символом 1. Равенство 0.(9) = 1 - строгое равенство, а вовсе не приближенное.
>>366599
#340 #366596
>>366546
Я не он, но какой же ты долбоеб... В математике есть 2 варианта: либо ты читаешь нормальные учебники, либо идешь нахуй. Берешь любой учебник, в котором есть топологические пространства (в учебниках по матану часто дают только метрические пространства, это тебе тоже подойдет) и читаешь.

>>366586
И этот тоже. Почему после такого

> Прочитал зельдовича с его мняматикой для инжинегров. Что читать дальше, чтобы не охуеть? А то фихтенгольц, зорич, курант какую то несусветную хуету творят в первыхъ главах.


ему кто-то отвечает? Видно же, что он конченый.
#341 #366597
>>366596

>Давай разберемся тогда.


>Зачем ты ему ответил?

>>366608
#342 #366598
>>366596
Я тоже когда-то таким был, потому и отвечаю. А у вас ЧСВ опухло.
>>366608
#343 #366599
>>366595
А как тогда? Через пределы? Что где то там на бесконечности девять десятых в периоде становятся единицей.
>>366600
#344 #366600
>>366599
Вот ради ответа на такие вопросы и нужно изучать теорию вещественных чисел. Нет, ничего не становится. Просто представление вещественных чисел в виде бесконечной строки десятичных цифр неоднозначно. Бывает так, что одному и тому же числу соответствуют несколько разных десятичных дробей. Вещественное число - это не бесконечная десятичная дробь, а некоторый класс эквивалентности таких дробей.
>>366601
#345 #366601
>>366600
Ладно.
Что тогда читать после зельдовича дальше?
>>366602>>366603
#346 #366602
>>366601
Зорича.
>>366603
#348 #366604
>>366603
Но ведь мне нужна математика чтобы понять физику. Множества там не применяются, а топология только в глубинах ОТО и всяких астрофизиках, насколько я знаю.
>>366607
#349 #366606
>>366603
И да, на википедии все как то очень мутно описанно. Только в самых общих чертах. Учиться по ней невозможно.
#350 #366607
>>366604
Даже внятное определение векторного произведения требует знания тензорных алгебр, и ничего сложного в этом знании нет. Без математики ты будешь всю жизнь пердолиться в уродливые термины вроде "псевдовектор" и тихо ненавидеть настоящую науку, как делают некоторые выбегаллы у меня на кафедре. Впрочем, дело твоё.
>>366610
#351 #366608
>>366597
>>366598
У меня в избранном показывается, что в мат треде n новых постов. Я захожу посмотреть и каждый раз тут эта ссанина.

Я не против педагогики всякой, мне нравится что-то объяснять другим людям, но если у человека неправильный подход к обучению вообще, нужно ему сразу об этом говорить, а не разводить хуйню про 0.(9) = 1, тратя его время. Нужно объяснять, что нужно разбираться с определениями, понимать в них каждое слово, нужно читать учебники, а не Зельдовича. Человек даже теорию множеств на уровне 8 класса не хочет понимать, мол СЛОЖНА, и спорит про открытые и замкнутые множества. Стыдно за мат тред.
>>366609>>366617
#352 #366609
>>366608
А зачем человеку разбираться с определениями, если этот человек думает, что и так всё понимает? Лучше всего в такой ситуации показать человеку, что на самом деле он не понимает элементарных вещей, тогда у него действительно появится мотивация учиться.

Ну и это тред для начинающих, напомню.
>>366828
#353 #366610
>>366607
Как же тогда работали с векторами до изобретения тензоров? Ну да ладно, это щас все перешли на тензоры как более общее понятие.

Итого, тензоры это матрицы грубо говоря, я так понял или нет так из википедии?
>>366611>>366612
#354 #366611
>>366610
Неправильно.
#355 #366612
>>366610
Тензоры придумал тот же самый человек, который придумал векторное произведение. Гамильтон. Причём тензоры появились раньше.

Нет, ты понял неправильно. Просто иди уже учебники читать.
>>366613
#356 #366613
>>366612
Какой учебник?
>>366614
#358 #366616
>>366614
И какую качать? Почему там их 6 одинаковых?
>>366619
#359 #366617
>>366608
Чем это тебе зельдович не угодил?
119 Кб, 710x492
#360 #366619
>>366620
#361 #366620
>>366619
Что толсто то? Я не хочу чтобы у меня были сноски к сноскам как у перельмана в нынешнем издании.
#362 #366634
>>366596
Вообще, я просто сейчас очень злой в связи с жизненными обстоятельствами, не обращайте внимания.
>>366636>>366661
#363 #366636
>>366634
Добра тебе, хули. Превозмоги их всех.
#364 #366655
>>366571

>То есть верно ∃x (x∈M и не-P(x))


Чому принадлежность x множеству M не отрицается? Чому частица не только перед второй частью высказывания?

>Утверждение φ→ψ эквивалентно утверждению не-φ или ψ


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

>>366571

>Из утверждения φ и ψ следует утверждение φ


Чому? В двоичном представлении конъюнкция же дает единицу только там, где оба аргумента равны единице.
>>366663
#365 #366661
>>366634
А кому сейчас легко? Или только в тырнете такой апасный?
#366 #366663
>>366655
¬∀x (x∈M → P(x))
¬∀x (¬x∈M ∨ P(x))
∃x ¬(¬x∈M ∨ P(x))
∃x (¬¬x∈M ∧ ¬P(x))
∃x (x∈M ∧ ¬P(x))
∃x (x∈M)

>Чому


См. любой учебник матлогики.
Если шмель жужжит и корова мычит, то шмель жужжит.
>>366670
#367 #366670
>>366663
Ок, убедительно. Как минимум, на первый взгляд.

>Если шмель жужжит и корова мычит, то шмель жужжит


Ну так а почему про то, что корова мычит в следствиях не упоминаем?

>См. любой учебник матлогики


За семь тредов таких учебников никто не назвал. Буду очень благодарен, если есть идеи.
>>366673>>366676
#368 #366673
>>366670
Манин - доказуемое и недоказуемое (как обзор). Cori, Lascar "Mathematical logic: A course with exercises" (в двух томах). К сожалению, второй том мне в сети отыскать не удалось, но книгу везде хвалят.
Колмогоров, Драгалин "Математическая логика"
Mendelson "Introduction to mathematical logic" (есть русский перевод). Более "тяжелый", формальный учебник.

В качестве доп. чтения Kunen "The foundations of mathematics".
>>366678
#369 #366676
>>366670
Игошин. Математическая логика. Это для начинающих.

Колмогоров, Драгалин. Математическая логика.
Клини. Введение в метаматематику.
Гильберт, Аккерман. Основы теоретической логики.
Верещагин, Шень. Языки и исчисления.
Мендельсон. Введение в математическую логику.
Шенфилд. Математическая логика.

Если есть желание - Бурбаки, теория множеств, первая глава. Но для чтения этой книги понадобится предварительно прочитать книгу "Основания теории множеств", которую написали Френкель и Бар-Хиллел.

Выбирай любое.
>>366680
#370 #366677

>Если есть желание - Бурбаки, теория множеств, первая глава.


Устарело ведь с момента выхода. Максимум - сводку результатов посмотреть.
>>366679
#371 #366678
>>366673
Спасибо. Обмажусь на досуге.
#372 #366679
>>366677
Нет, ничего там не устарело.
>>366682
#373 #366680
>>366676
Спасибо. Лол, как раз у меня где-то бурбаковская теория множеств завалялась. Гляну.
#374 #366682
>>366679
Котягории завезли али нет? Если нет - то устарело.
>>366684
#375 #366684
>>366682
Коммутативные диаграммы присутствуют с первого тома. Категории завезли в десятом томе второй части, который вышел в феврале этого года. Topologie algébrique если что.
>>366691
#376 #366686
Кто-нибудь знает, как делать восьмую задачу отсюда
http://ium.mccme.ru/postscript/s16/topology3-problems-manifolds-4.pdf ?

Научите, пожалуйста
>>366687>>366689
#377 #366687
>>366686
Я не знаю.
#378 #366689
>>366686
я тоже!

такая мерзость, вроде выучил понятия, такой умный наконец всё знаешь, а смотришь на задачу... и нихуя! обидно-то как
#379 #366691
>>366684
Ну при чём тут это?

Начнём с того, что первый том Бурбаки не о логике и никакого отношения к тому классическому комплексу знаний, который называется "мат. логикой" не имеет. Там даже теорема Гёделя не формулируется, о чём говорить можно?

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

Закончим тем, что с современной точки зрения есть гораздо более приятные и красивые языки для формализации теоретико-множественной интуиции, чем язык теории множеств Бурбаки. Кстати, узнай для интереса, по какой причине Гротендик не состоял в Бурбаки - именно из-за того, что он считал первый том устаревшим говном.

Короче, хуйню полную нубу посоветовал, ненавижу тебя.
>>366692>>366695
#380 #366692
>>366691

>Гротендик не состоял в Бурбаки


Так он же состоял, просто быстро вышел оттуда. Евангелие от Гротендика жеж он в составе этой зондеркоманды написал.

Мимо
#381 #366695
>>366691
Первый том Бурбаки о логике, разумеется. В нём подробно доказаны все те теоремы, которые в типичных книгах оставляются читателю. Например, доказано, что из A∧B следует A. Известная теорема Гёделя там формулируется в историческом очерке на стр. 344-345.

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

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

И попробуй назвать сейчас хотя бы один язык для формализации теоретико-множественной интуиции, который был бы красивее языка на основе эпсилон-оператора Гильберта.

Упоминания Гротендика проигнорирую как попытку задавить авторитетом и впадение, таким образом, в академическую коррупцию.
#382 #366704
Упоминания в историческом очерке недостаточно для книжки по мат. логике.

Понимание простейших тавтологий приходит после перебора некоторого числа примеров, а вовсе не из старых талмудов по основаниям. Чем уж точно не является книжка Бурбаки - так это мануалом "как правильно мыслить". Мне кажется, в хороших учебниках по мат. логике и не должно быть формального вывода всего на свете. Если очень хочется посмотреть на то "как это делается", то всегда можно заглянуть на метамат http://us.metamath.org/mpegif/dfbi1.html (к сожалению утверждения ~(phi -> ~psi) -> phi которое приводили в пример я не нагуглил, предлагаю сделать это самостоятельно тем, кому интересно).

Я считаю, что когда на то, что можно рассказать в 30-40 страницах тратят целый том - это не есть "рассказывают хорошо".

Мне обычный ZFC милее, например, хотя это вопрос привычки, конечно.
>>366709
#383 #366709
>>366704
Книга посвящена теории множеств. Логика там изучается лишь в первой главе, и лишь как язык математики - то есть ровно в таком объёме, который нужен в дальнейшем. Поскольку факты из собственно логики (в частности, теоремы Гёделя) не нужны для доказательства математических теорем, этим фактам не выделено особого места. Упомянули в очерке - и будет с них.

Вместо того, чтобы бессистемно перебирать примеры, лучше один раз просто изучить всё необходимое.

И ты недооцениваешь объём того, что нужно рассказать. Про это неплохо написано на абсурдопедии:

Бурбаки прославились написанием карманного справочника «Вся математика»[3]. По первоначальному замыслу, это должна была быть небольшая книжка, вкратце излагающая все понятия и теоремы математики в строгом сжатом сухом аксиоматическом стиле, без пояснений о значимости той или иной теоремы. Однако, после двух лет работы над частью «Теория множеств» (глава «Рекурсия»), бурбаки с удивлением обнаружили, что математика несколько больше, чем им показалось на первый взгляд. Вскоре, было исписано уже несколько книг[4] мелким шрифтом, а бурбаки даже ещё не добрались до такого простого и известного понятия, как кольцо многочленов Тейта над R-алгеброй мономорфизмов из пространства многообразий Гротендика в неприводимую группу Вейля размерности 6.

[3] Вся математика всего на 400 страницах! Лучшие шпаргалки для студента! Изначально предполагалось продавать это в электричках. (прим. издателя)
[4] Карманных. (прим. типографии)
#384 #366712
Тута много разговоров, что бурбаки якобы устарели. Котягорий нет и вообще. А были ли попытки кроме бурбаков изложить всю математику с точки зрения какого-то одного подхода? Тех же котягорий или что там еще есть новомодного?
#385 #366716
>>366712
Смотря что понимать под "всей математикой", дать базис достаточный для построения всей математики - были и очень много, и даже сейчас есть. Тот же метамат (который, по сути, та же программа Гильберта, просто с новомодными штучками) или HoTT.
>>366729
#386 #366719
Посаны, поясните за outer product. Какой смысл у умножения вектора на вектор? Я понимаю, что так делать можно, но какая интуиция за этим стоит?
>>366720>>366779
#387 #366720
>>366719
Это тензорное умножение вектора на вектор, которое даёт бивектор (2,0) тензор, который можно вопринимать, например, как 2-форму над ковекторами, а можно просто как некоторую формальную полилинейную фигню. Посмотри какой-нибудь крэш-курс по тензорным произведениям.
>>366755
#388 #366721
>>366712
Успешных - не было.
>>366723
#389 #366723
>>366721
А в чём успех бурбаки? И по каким критерием ты определяешь, что какая-то попытка успешна, а какая-то нет?
>>366727
#390 #366725
>>366712

>А были ли попытки кроме бурбаков изложить всю математику с точки зрения какого-то одного подхода?


Ничего сравнимого не было. Но я вот думаю, что это на самом деле и не очень нужно. Подобрать взгляд на вещи, который хорош вообще во всей математике видимо невозможно; более того даже в одной области для разных проблем больше подходят разные традиции изложения этой области (скажем, иногда в теории групп полезнее смотреть на вещи с категорных позиций, иногда с геометрических, а иногда с синтаксических). Поэтому, если же написать такой объемлющий труд и по нему всю математику будут учить студенты, то если они будут мало обращаться к другим источникам, то из них выйдут плохие математики. Кроме того, в силу той же причины использование такого труда, как стандарта для терминологии будет вредно.
#391 #366726

>Ничего сравнимого не было.


Principia mathematica? HoTT?
>>366729>>366731
38 Кб, 316x893
#392 #366727
>>366723
Покрыли бакалаврский курс - успешны. Слились после пикрелейтед - не успешны.
>>366732
#393 #366728
>>366725
Прогресс возможен только тогда, когда имеются плечи титанов, на которые можно стать. Канон нужен, я считаю.
>>366737
#394 #366729
>>366725

>Подобрать взгляд на вещи, который хорош вообще во всей математике видимо невозможно;


Множества же.

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


Речь не об удобстве, а о принципиальной возможности. Так-то понятно что множества это не всегда самый удобный путь.
>>366726>>366716

>HoTT


Вроде тема интересная, но всю математику на ней никто не формулировал. С такой точки зрения эта книжка даже на первый том бурбаков не тянет.
>>366737
#395 #366730
Настолько тупой что ничего не понимаю. Читаю Пойа а там на разборе первой же задачи встрял.
#396 #366731
>>366726

>Principia mathematica?


Даже до интегралов не добрались.

>HoTT


Определили кучу абстрактной чепухи, а из полезного формализовали пока что только вещественные числа.
>>366743
#397 #366732
>>366727
По-моему гораздо важнее построить основания, всё остальное - вопрос техники. Подходов к построению именно оснований было очень много.

>Множества же.


Есть люди, которые считают иначе.

>Определили кучу абстрактной чепухи, а из полезного формализовали пока что только вещественные числа.


Зато уровень формализации гораздо выше, чем у Бурбаки. Согласитесь, что определение векторного пространства, алгебры, модуля или чего-то такого ещё у Бурбаки и на metamath или на HoTT - это совершенно два разных уровня строгости. (Бурбаки вообще кроме первого тома на "абсолютную строгость" не претендуют, да и в первом томе не везде).
>>366735>>366736
#398 #366735
>>366732
Для меня всё-таки важна математика, и книги Бурбаки я воспринимаю как источник реально полезных определений и теорем. Разве в The HoTT Book есть модули и алгебры?
>>366738
#399 #366736
>>366732

>на "абсолютную строгость" не претендуют


Дык она и не нужна.
>>366738
#400 #366737
>>366729
Я в общем не спорю с тем, что принципиально всю математику можно изложить на языке теории множеств; более того, видимо можно использовать и другие базы, скажем теорию типов.
>>366728

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


Да, но это выражается в живом процессе нахождение более продуктивных взглядов и отсечение неудачных/устаревших. А вовсе не в установление единого канона для всех.
#401 #366738
>>366735
В HoTT не уверен. Но в metamath точно есть http://us.metamath.org/mpegif/df-lvec.html
>>366736
Тогда я не понимаю, в чём единость позиций. С этой точки зрения - все (почти) математики работают с единых позиций, т.к. по поводу того, что такое "векторное пространство над C" ни у кого разногласий не возникает, вроде бы.
>>366739
#402 #366739
>>366738

>все (почти) математики работают с единых позиций


На самом деле нет.
http://lj.rossia.org/users/dmitri_pavlov/11307.html
>>366740
#403 #366740
>>366739
Это небольшие аберрации, которые можно сравнить с "рассогласованностью" в текстах самих Бурбаки. Например декартово произведение в тексте у них полагается некоммутативным, а в сводке результатов - коммутативным (или наоборот, не помню уже).
>>366741
#404 #366741
>>366740

>декартово произведение


>коммутативно


Может все-таки ассоциативным.
>>366742>>366754
#405 #366742
>>366741
Дело вкуса, оно либо коммутативно и ассоциативно (если смотреть на него с категорных позиций), либо некоммутативно и неассоциативно (если смотреть на него с теоретико-множественных позиций).
>>366745
#406 #366743
>>366731

>формализовали пока что только вещественные числа.


Натуральные-то, натуральные формализовали?
#407 #366745
>>366742
С категорных позиций все-равно оно не буквально коммутативно, а определено с такой точностью, что говорить о непосредственно коммутативности бессмыслено, но есть естественный изоморфизм бифукторов XxY и YxX.
А в текстах написанных с теоретико-множественных позиций, но не слишком формальных, ассоциативность декартова произведения регулярно используется, хотя с формальной точки зрения ее нет.
>>366746
#408 #366746
>>366745
Ну я понимаю это всё.

Я имел в виду, либо мы рассматриваем конструкцию "с точностью до изоморфизма", либы мы рассматриваем конструкцию "физически, с точностью до совпадения атомов", но рассматривать в одном случае так - а в другом эдак, это как раз та самая "неединость позиций", как по мне.
>>366747
#409 #366747
>>366746
Ну по мне так лучше иметь "неединость позиции", но не тратить свои силы на выполнение формальностей, которые всем компетентным людям и так понятны.
>>366750
#410 #366749
Втянусь в разговор: а по теоремам от Metamath можно изучать математику? Может ли это быть полезным изучающим или слишком формализованно?
>>366750
#411 #366750
>>366747
Ну мы тогда возвращаемся к тому, что не очень понятно, в чём крутость бурбаков. Вроде всё сверхстрого, а вроде не так уж и строго, вроде единость позиций, а вроде не такая уж единость. Нет, исторически они очень значимы - они сформировали стандарты строгости в том виде, в котором они сейчас есть, и систематизировали тот комплекс знаний, что сейчас был. Но я не вижу смысла выделять их курс учебников чем-то относительно других курсов.

>>366749
Q: Will Metamath help me learn abstract mathematics?
A: ... this is quite different from understanding the meaning of the math that results. Metamath alone probably will not give you an intuitive feel for abstract math...
>>366754
#412 #366754
>>366750
Я, наверное, не очень удачно вклинился со своим постом >>366741. Я вовсе не фанат бурбаков (см. >>366725).
#413 #366755
>>366720
От души
#414 #366758
Если ничего не понимаю в математике, пойдет все подряд по списку делать?
>>366761
#415 #366761
>>366758
Лучше параллельно: читать нелинейно несколько книжек, делая упор на одной (на Гельфанд Шень "Алгебра", например).
>>366765>>366769
#416 #366765
>>366761
Спасибо.Прям для совсем начинающего Шень? Сижу бывает например над учебником по часу и понимаю что мало что откладывается в голове, будто читаю воду какую то.
>>366767
#417 #366767
>>366765
Да, прям для совсем начинающего. Чтобы откладывалось - нужно прорешивать упражнения, непонятные места - спрашивать у знающих людей. Не нужно стараться решить всё, нужно чувствовать определенную грань - когда решений достаточно. Можно ещё вести краткий конспект, в котором записывать основные утверждения (без доказательств), смотреть на него и пытаться восстановить доказательство теоремы. Если не получается - подсматривать.

А вообще процесс обучения - очень тонкий и индивидуальный, и методика рано или поздно выработается сама. Если пытаться что-то делать, конечно.
#418 #366769
>>366761

>параллельно: читать нелинейно несколько книжек,


Ну вот, "параллельно, нелинейно". А вот чтобы излагалось последовательно, от самых азов и по нарастающей - такого нет. Даже у бурбаков предполагаются предшествующие знания по математике, хотя и заявляется что изложение математики с самого начала. Уже на первой странице - эпсилон-оператор Гильберта и все последующее изложение с его использованием, при этом нигде не оговаривается что это вообще такое.
>>366770
#419 #366770
>>366769
В "Алгебре" Шеня излагается по нарастающей от самых азов.
>>366771
#420 #366771
>>366770
Посмотрел, выглядит неблохо. Но там только алгебра, есть что-то подобное по матанализу например?
>>366772
#421 #366772
>>366771
Сначала: "Математический анализ в 57 школе" Давидовича. Потом серьезные университетские учебники: Рудин или Зорич (у них есть свои плюсы и минусы), параллельно посматривая в Львовского и Шварца, чтобы понимать, что всё непросто.
>>366773>>366916
461 Кб, 833x630
#422 #366773
>>366772
Спасибо.

>Потом серьезные университетские учебники: Рудин или Зорич


А Фихтенгольц?
>>366777
#423 #366777
>>366773
Среди математиков распостранено мнение, что он очень неконцептуальный, скучный и устаревший (и я это мнение полностью разделяю), но некоторые физики и инженеры за такое мнение могут набить ебало. Но ты же не для понтов это читаешь, попробуй, если понравится - то читай.
#424 #366778
Пацаны как изучать погрешности, условные числа матриц, вот это все? Посоветуйте книг.
#425 #366779
>>366719
Парралелограмм со сторонами умножаемых векторов, равный по площади абсолютному значению вектора приложенному перпендикулярно плоскостям умножаемых векторов, с приложением вектора в общей точке двух умножаемых векторов.
>>366780
#426 #366780
>>366779
Это cross product.
>>366781
#427 #366781
>>366780
Смысл вектора приложенного в общей точке двух векторов хочешь?
#428 #366783
http://www.ph4s.ru/books_mat.html
Смарите че нашел. Годно, нет? Рыбниковых и подобных ему там вроде нету.
>>366785
#429 #366785
>>366783
Нет. Список ещё хуже, чем в ОП-посте.
>>366786>>366787
#430 #366786
>>366785
Список оп поста составлялся мимососачерами.
Обоснуй чем он лучше списка созданного Варгиным Александром Николаевичем, преподавателем МИФИ?
>>366788
#431 #366787
>>366785
Хотя че это я на сало повелся...
#432 #366788
>>366786
С каких пор МИФИ стало местом для людей, которые имеют моральное право составлять списки учебников по математике?
>>366789
#433 #366789
>>366788
И это все что ты можешь сказать?
>>366791
#434 #366791
>>366789
Каков вопрос - таков ответ. Твой Варгин какое отношение к чистой математике имеет? Никакого. Студент матфака какое отношение к чистой математике имеет? Ну, какое-то имеет. Чьи рекоммендации литературы слушать? Ответ очевиден.
>>366792
#435 #366792
>>366791
Ясно, там по твоему одни дураки которые 2+2 на камешках собирают. А ядерные исследования это распильные откаты.
>>366793>>366871
#436 #366793
>>366792
Нет, там люди которые занимаются другой - не менее, а то и более уважаемой в общесте деятельностью. Но она не имеет ничего общего с чистой математикой, а потому она анрилейтед.
>>366794
#437 #366794
>>366793

>чистой математикой


И нахуя я только распинался?
#438 #366803
ИТТ ньюфаг настолько тупой, что даже не знаю, в какой тред написать.
Я вот через месяц получу диплом врача, но за шесть лет надоело, поэтому последний курс больше угорал по медицинской науке. При этом склонность к математике была всегда ЕГЭ на 87 баллов в 2010 году, лол, ну и кое-какие поверхностные знания в "научной статистике" были.
Ну и на данный момент я помогаю с банальной обработкой данных простых исследований. Типа как обезьянка считаю хи-квадраты двумя кнопками Охуительная новость в том, что значительная часть к.м.н. и д.м.н. в душе не ебут, что это и как это делать, такие дела.

Проблема в том, что это же все методы вековой давности, а на всяких хабрах используют всякие бутстрепы и прочие нейронные сети. Все это в медицинских исследованиях применяется чуть чаще, чем никогда. Видимо, потому что никто не умеет, лол.
А мне прям очень хочется этим заниматься, и поле непаханое есть. Но я же, блядь, выпускник меда, и мои знания в математики остановились в районе Ньютона-Лейбница, а теорию вероятностей я не знаю вообще.
Какой-нибудь ШАД требует отличных базовых знаний, которых у меня нет. С чего начинать, куда двигаться? Советов мудрых хочу.
#439 #366804
>>366803
Перво наперво сосни хуйцов и сделай бочку.
#440 #366808
>>366803
Так дрочи машинное обучение, номерные треды в /pr/ есть. Из математики только базовые понятия по вероятности, комбинаторике, графам нужны. А тут люди по Мочизуке под водочку угорают.
>>366809>>366822
#441 #366809
>>366808

>водовку

#442 #366810
>>366803
Тоже начал изучать математику, потому что хотел поступать в ШАД, но теперь я знаю, что это все говно и картофан, а вот чистая математика - это реально интересно. Такие дела. Советую начать с теории множеств.
>>366812>>366829
#443 #366812
>>366810
У меня из за тебя теперь дыра в пространстве вместо монитора.
Пишу с октеракта.
#444 #366814
>>366803
Я бы на твоем месте начал с того, чтобы найти учебник по математической статистике и теории вероятности (рассчитанный на нематематиков) и попробовал его почитать.
>>366819>>366822
#445 #366815
Аноны, хочу развить тип мышления, неоходимый для доказательства теорем и подобных задач. Иными словами, оперировать абстракциями с чётко заданными свойствами для решения проблем, связанных с более сложными абстракциями. Собственно, сами математические знания не важны (хоть некоторые и имеются), важен подход.
Посоветуйте литературы.
>>366817
#446 #366817
>>366815
"Как сосать писос под водовку" Каледин, Вербицкий.
#447 #366819
>>366814
2 чаю. Сам читаю птушный учебник по дискретной математике. После атьи-макдональда збс идет. Все с ходу понятно. Думать не надо.
#448 #366822
>>366808
Собственно, машинное обучение - это просто пример того, что круто бы освоить. Со всякими регрессиями, PCA и прочим у меня тоже полный провал.
>>366814
Ну, за названиями учебников (или курсов я пришел) ленивый мудак, да
#449 #366827
>>366603
Спасибо за ссылки.
#450 #366828
>>366609
вот этот дело говорит
#451 #366829
>>366810
Если не троль - как у вас получается угореть по чистой математике? Серьезно - это же куча абстракций, которые и применить негде.
>>366831>>366922
#452 #366831
>>366829
Так в этом и есть самая суть! Как можно интересоваться чем-то настолько прозаичным, чтобы существовать в реальном мире?

мимо
>>366832>>366833
sage #453 #366832
>>366831
Для всех же остальных в нашей стране единственно возможное состояние — это чемоданное. Здесь нельзя жить. Здесь можно только воевать, болеть, выживать, куда-то пробиваться с боями и потерями. Здесь нет завтрашнего дня. В любой момент тебя могут избить, ограбить, выкинуть в окно электрички инструменты... Издать какой-нибудь новый закон — и лишить тебя всего. В любой момент могут посадить, да и вообще убить без суда и следствия.

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

Или в абстракции.
>>366835
#454 #366833
>>366831
Не понял тебя. Прозаичное - это что, абстрактная математика?
>>366840
#455 #366835
>>366832
Ну, если на себя не нагонять - то не так уж в нашей стране и нельзя жить. Каждый день бояться, что тебя ограбят - это же невроз и фобия. Да и не 90 на дворе. Меньше Лентач с телеком смотри, спокойнее будет.
>>366841
#456 #366840
>>366833
Нет, это все, что имеет аналог или приложение в реальном мире.
>>366845
#457 #366841
>>366835
Призываю Вербицкого в тред. Обоссы этого мудака, Миша!
>>366846>>366850
#458 #366845
>>366840
Ну ладно, но как вы по этому угораете-то? Я понимаю, угорать по образам, которые у тебя в голове, когда ты фантазируешь о разных фентезимирках и т.п. Но тут-то даже образов зачастую не получается - сплошная абстракция, чтоли. Или я не прав?
>>366848
#459 #366846
>>366841
Да Вербицкого сам обоссыт, кто угодно.
#460 #366848
>>366845
Тут как раз простор творчеству разворачивается! Плюс, никогда в детстве не мечтал говорить на своем языке, чтобы всем вокруг это казалось безумно круто и никто ничего не понимал? :)
>>366853>>366856
#461 #366850
>>366841
Вербитодауны-вербитодаунишки.. (прикормил сахарком)
#462 #366853
>>366848
Думаю, ты нихуя не понимаешь в математике.
#463 #366856
>>366848
:)))))))
10 Кб, 781x207
#464 #366862
Немного оффтоп, но всё же -- тут вроде смышленые джентельмены.
Захотел вернуться в 2007, поискать результаты ЕГЭ за тот год. Наткнулся на отчёт о результатах по стране, где в разделе математики был пикрелейтед. Схлестнулся с первым заданием (остальные два неинтересные) и чё-т подохуел. Дошёл до упрощения ((5-x)^4 + x) ^ 1/4, где x = 2 * sqrt(3), и дальше что-то не идёт.
Кому делать нефиг -- поясните, пжалста.
>>366863
#465 #366863
>>366862
Выделяешь полный квадрат под корнем (6 -5^x)^2, показываешь, что 6 > 5^x, откуда получаешь ответ 1.5
>>366865
3724 Кб, Webm
#466 #366864
>>366866
#467 #366865
>>366863
Так я же и говорю, что в заданиях #2 и #3 ничего сложного не нашёл. А вот над первым вспотел...
>>366867
#468 #366866
>>366864
Лал, типа качок считать не умеет. )))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
>>366868
#469 #366867
>>366865
Да, в глаза ебусь, сорян. Такое ощущение, что там опечатка: последний корень должен не под корнем четвертой степени стоять.
>>366870
#470 #366868
>>366866
Какой ты смешливый. Может дибил прост?
>>366869
#471 #366869
>>366868
Да я мамку тваю кагамалагиям де рама учил)))
#472 #366870
>>366867
Я, вдоволь наебавшись с этим примером, тоже так подумал, но тогда получается довольно просто для "задания повышенной сложности". Хотя, это ж из ЕГЭ, а не из задачника для задротов, так что, скорее всего да, опечатка.
#473 #366871
>>366792
Ну вообще-то да, там одни дураки. Закроют кафедру богословия - получат право вякать.
#474 #366874
Читал от каких то разделов математики люди с ума сходят. Это какие такие разделы?
>>366875>>366888
#475 #366875
>>366874
Гомотопические группы сфер.
>>366876
#476 #366876
>>366875
А это может дать какую то практическую ценность?
>>366878>>366880
#477 #366878
>>366876
За такие вопросы тут убивают нахуй.
#478 #366880
>>366876
Кроме славы и вклада в общечеловеческий прогресс?
>>366881
#479 #366881
>>366880

>общечеловеческий прогресс?


Я про это и спросил.
>>366882>>366887
#480 #366882
>>366881
Математики не привыкли мотивировать свои результаты приложениями. Иди лучше к космологам или зоологам доёбывайся, ёба.
#481 #366884
Вопрос по теме ОП-поста. W. Lawvere, S. Schanuel: "Conceptual mathematics. A first introduction to categories" как книга? С виду написана для дебилов, лень по диагонали просматривать.
#482 #366887
>>366881
Любое новое теоретическое знание есть вклад в сокровищницу человечества. Изучение гомотопических групп сфер ценно тем, что человечество получает новые факты о гомотопических группах сфер.
#483 #366888
>>366874
Метаматематика.
#484 #366916
>>366772
Бля как мне не хватало такого совета пару лет назад, когда я пытался начать сразу с Зорича и Винберга, и нихуя у меня не получалось. Сейчас я сам дошел до такой схемы: прорешиваю вдумчиво Давидовича и Алгебру Шеня и Гельфанда. Для составления паззла не хватает такой схемы по геометрии.
>>366917>>366964
#485 #366917
>>366916
просто наслушался всяких пидорасов типа хеллера, "Зорич самый понятный, начинай сразу с него", "школьную математику нахуй, начинай сразу с университетской, с Винберга", тьфу блять, столько времени убил
#486 #366918
>>366419

>Возможно оба этих курса осилить за лето?


ебанись. На одного Давидовича лично у меня (по грубым подсчетам) уйдет не менее года, а то и 1.5-2. При том что я матан раньше в универе проходил, только нихуя не понимал и не старался, поэтому сейчас максимально вдумчиво прохожу, прорешиваю все задачи.
#487 #366919
>>366450
>>366506
спасибо парни. еще какие-нибудь советы по изучению геометрии будут?
в идеале хотелось бы набор листков типа Давидовича, чтобы learn by doing, с самых азов
#488 #366922
>>366829
Ну математика - нетривиальная, сложная, творческая деятельность, а я люблю думать и не люблю рутину. Когда че-то доказываешь, пусть уже и доказанное до тебя и специально разбитое на короткие леммы, думаешь: "Бля, я творю, это реально круто".

Я вот работал программистом несколько месяцев (сейчас 4 курс заканчиваю) и на работе ебаной думать вообще не надо, я так не могу, мне творчество нужно. Думал в дата саенс перекатиться, потому что кодить умею и математика нравится, но это тоже хуета: достаточно посмотреть, насколько отвратительные и картофанные задачи дают на вступительном экзамене в ШАД или порешать соревнования на kaggle.com (берешь matlab или python и херачишь готовые методы). У шадовцев когда спрашивают как готовиться к поступлению, они вместо того, чтобы посоветовать теорию меры изучать, которая нужна для теорвера, советуют решать ебаного Демидовича. Я так подумал и решил, что не, это не дело, никакого кайфа я там не словлю и что надо разграничивать: работа - для бабла, а математика - после работы для удовольствия. Так называемая прикладная математика - это просто дно, унылее говна не найти. Я слышал, что в статистике, финансовой математике и подобных областях крутится дохуя бабла, но бабло мне вообще неинтересно, мне главное чтоб хватало на оплату жилья и еду. Такие дела.
>>366925>>366926
#489 #366925
>>366922
у меня тоже были мысли по поводу поступления в шад, потому что работа программистом - то еще говно, мозг вообще не нужен. стал готовиться к шаду, вспоминать и проходить заново всю школьную и университетскую математику, и понял что уже и никакой шад мне не особо нужен, и вообще говнокодерство в любом его проявлении нахуй, а на что у меня стоИт - это теоретическая математика.
единственное, до твоего сообщения у меня была надежда что в шаде все-таки что-то интересное мне может быть, но чем дальше тем больше сомневаюсь в этом.
вообще дам всем совет: не идите кодерами работать, потом очень сложно с этого соскочить. уж лучше сразу каким-нибудь ПМом, тут хоть карьеру можно построить. говорю как кодер с 10летним стажем, который уже несколько лет готовит съеб из говнокодерства хоть куда-нибудь.
и кстати совмещать кодерскую работу и математику очень трудно: полный рабочий день на работе задротствуешь, хоть и безмозгло, но приходится быть доебистым и внимательным, это очень выматывает особенно если работа не нравится, на математику потом сил не остается.
>>366926>>366930
#490 #366926
>>366922
вообще не ожидал сейчас наткнуться на человека с настолько похожими мыслями
>>366925
#491 #366930
>>366925
Хз, я еще только начал кодером работать. У меня план такой. Пару лет задрачиваю, потом перекатываюсь во фриланс, работаю пару часов в день, чтоб на еду хватало, а все остальное время занимаюсь математикой. Можно в НМУ пойти в принципе.
#492 #366934
>>366930
тупиковый путь.
хотя если семью не планируешь, может и норм.
>>366937
#493 #366935
>>366930
Бг-г-г, ты - это я. Правда, я не пару часов в день работаю, а больше, но все же. Я вообще не вижу проблемы в том, чтобы человек батрачил на дядю по 4 часа в день.
>>366938
#494 #366936
>>366930
просто представь, что вдруг (вдруг!) математика однажды перестанет быть тебе интересной. и че ты тогда будешь делать? будешь низкоквалифицированным фрилансером без любимого дела?
#495 #366937
>>366934

>тупиковый путь.


Ты заранее подразумеваешь, что он будет каким-то невостребованным коморочным задротом, пердолящимся со своими символами. Таки ты прав, но я все-таки пытался как-то оптимистично смотреть на жизнь анона.
#496 #366938
#497 #366951
Нахуй нужны математики в XXI веке, если есть компьютеры? Чем вообще занимаются математики в своих нынешних исследованиях?
Настраивают компьютер, который за них всё делает?
#498 #366953
>>366951
Большинство да. Занимаются численными методами, вычислениями на суперкомпах, вот этим всем.
>>366960
#499 #366960
>>366951
Редкие единицы (самые успешные) настраивают компы и софт которые считают математику или работают рабами для физиков и химиков, под строгим контролем. Еще какая-то часть мается абстрактной хуйней, которая никому не интересна.
Ко всяким численным вычислениям на суперкомпах, как этот >>366953 фантазирует, их понятное дело никто не пустит. Это удел физиков теоретиков и прочих ученых которые имеют хоть какую-то связь с реальным миром. У математиков же мозги едут нахуй и математические абстракции от действительности они отличить уже не умеют, поэтому доверять им что-то сложнее карандаша нельзя.
Большинство идет в говнокодеры, админы или макдональдсы и перестает быть математиками.
>>366962>>366967
#500 #366962
>>366960
Ну и нахуй тогда этот тред?
>>366979
#501 #366964
>>366916
Что ты понимаешь под курсом геометрии?
>>366951
Развитием концепций, компактификацией знаний, поиском новых знаний.
>>366966>>366980
#502 #366965
>>366930

>Можно в НМУ пойти в принципе.


>Можно


НМУ — это твой единственный шанс не обосраться: основы вроде алгебры и анализа ты еще потащишь один, но на уровне коммутативной алгебры ты обосрешься учить один (задачи постоянно нужно кому-то рассказывать, нужно обсуждать математику с другими живыми людьми). И то НМУ ты завалишь, гарантирую. Видел несколько десятков таких фрилансеров, которые дальше анализа на многообразиях не уезжали.
>>366969
#503 #366966
>>366964
Поиском новых связей*
#504 #366967
>>366960
Иди на хуй, идиот.
#505 #366968
Котаны ->
>>366963 (OP)
#506 #366969
>>366965
Неправда, коммутач отлично заходит кодерам, хотя это от человека зависит.
мимокодер
>>366970>>367033
#507 #366970
>>366969

>я ему про то, что математику невозможно выучить одному, он мне про применения математики в кодерстве.


У вас в тред исключительно даунов берут?
#508 #366973
>>366970
Пошёл нахуй.
#509 #366979
>>366962
Математики в таком количестве не нужны, но сама математика нужна. особенно для научных и околонаучных профессий. В таком случае этот тред и ОПпост со списком литературы очень полезен и важен.
Со списком, правда, проблемы. С одной стороны тут дрочеры на Вербицкого, которые слов нахватались, а своих мозгов нет. С другой стороны поехавшие мехматовцы (>5 пар математики в неделю без последствий не проходят, да). С третьей - школота, у которой кроме ЕГЭ мира нет. Где-то среди этого всего затерялось полтора адекватных, по сравнению с поехавшими мехматовцами, анона.
В итоге список получается какой-то кашей из полезных книжек, школьной макулатуры, решуэге и узкоспециализированной абстрактной хуеты, которую 10 человек в мире пролистало от силы.
#510 #366980
>>366964

>Что ты понимаешь под курсом геометрии?


ничего пока не понимаю. вот и хочу разобраться нужна она мне или нет. пока что вижу что нужна как минимум для линала, чтобы уметь оперировать уравнениями прямых, плоскостей и т.д.
кроме линала, первоочередная цель такая: освоить базовую математику на уровне студента-бакалавра матфака, чтобы затем при желании суметь продолжить углубленно изучать какую-то узкую область. геометрию студенты матфака изучают, насколько мне известно. вот я и хочу узнать, как мне к ней подступиться.
>>366997
#511 #366997
>>366980

>кроме линала, первоочередная цель такая: освоить базовую математику на уровне студента-бакалавра матфака, чтобы затем при желании суметь продолжить углубленно изучать какую-то узкую область. геометрию студенты матфака изучают, насколько мне известно. вот я и хочу узнать, как мне к ней подступиться.



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

Если уровень "Не помню как доказать теорему пифагора", то можешь посмотреть "Шень Геометрия в задачах" и освежить память. После чего можно переходить к линейной алгебре и не морочить себе голову.
>>367003
#512 #367003
>>366997

>абсолютно ненужной


А по каким критериям определяется нужность? Не все ли равно какой раздел математики учить если на конечные цели похуй.
>>367009
#513 #367009
>>367003
Конечная цель - понимать 90% современной математики, ну или, по крайней мере, иметь возможность быстро въехать. Гиперболическая тригонометрия для понимания какого-либо раздела, кроме самой гиперболической тригонометрии не нужна.
>>367018
#514 #367012
>>366970
что значит - одному невозможно? Без фидбека? Форумы и чаты считаются?
#515 #367018
>>367009
Но она очень интересна. Если цепь или кабель подвесить - он принимает форму катенария например. Или арка в сент луисе например. Присмотритесь - это не парабола. Потом всякие связи между e^x e^-x и гиперболоическими функциями. Плюс эти функции строятся красиво, хоть и мудренее чем обычные sin и cos. Мне нра. Но конечно после гамологий пресновато будет.
>>367025
#516 #367025
>>367018
Да никто не спорит, что кому-то это может быть интересно. Просто это довольно экзотические темы для математики и пихать их в обязательные курсы бессмысленно.
#517 #367027
>>366970
Ой, по-моему ты идиот. Да точно, идиот, господа!
#518 #367033
>>366969

>заходит кодерам


>от человека зависит



Если от человека зависит, зачем уточнять про кодеров? Тогда может зайти и врачам и физикам и биолухам.
Тред утонул или удален.
Это копия, сохраненная 21 сентября 2016 года.

Скачать тред: только с превью, с превью и прикрепленными файлами.
Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах. Подробнее

Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.
« /sci/В начало тредаВеб-версияНастройки
/a//b//mu//s//vg/Все доски