Учебник по Математическому Анализу [для CS]

[Xaositect]

Зависит от того, что Вы хотите. Для алгоритмов этого хватит, а для машинного обучения или методов оптимизации надо все таки базовый курс матана и линейной алгебры.

[Sonic86]

(Оффтоп)

Pphantom в сообщении #1050508 писал(а):

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

А можете мне объяснить: какая связь между CS и путями на графах, исследованием операций и теорией игр? По-моему, никакой связи нет

[Pphantom]

(Оффтоп)

Sonic86 в сообщении #1050519 писал(а):

А можете мне объяснить: какая связь между CS и путями на графах, исследованием операций и теорией игр? По-моему, никакой связи нет

А это смотря что относить к CS. В общем-то сие понятие весьма расплывчато, но обычно все вышеперечисленное считается подразделами CS.

[Sonic86]

(Оффтоп)

А, понятно.
Оптимальные маршруты в графе - это я могу понять - это $NP$-задача, а $P=NP$ - это из дискретки и CS. А матан там нужен, чтобы булевы задачи релаксировать к задаче линейного программирования, которая решается через градиенты, например, а градиенты - это из матана.
Посмотрел: теория игр считается частью исследования операций, а исследование операций раньше относили к кибернетике (оптимальное управление) - в этом смысле оно относится к CS, хотя там зачастую голимый матан и оптимизация.
Т.е. если CS трактовать в таком широком смысле (считать информатикой), то да, тогда понятно.

Однако я залез от балды в Вику, а там в статье https://ru.wikipedia.org/wiki/%D0%98%D0 ... 0%BA%D0%B0 про информатику написано:

Вика писал(а):

Информатика делится на ряд разделов. Как дисциплина, информатика охватывает широкий круг тем от теоретических исследований алгоритмов и пределов вычислений до практической реализации вычислительных систем в области аппаратного и программного обеспечения. Комитет CSAB[en], ранее называемый «Советом по аккредитации вычислительных наук», включающий представителей Ассоциации вычислительной техники (ACM) и Компьютерного общества IEEE[en] (IEEE-CS) — определил четыре области, важнейшие для дисциплины информатика: теория вычислений, алгоритмы и структуры данных, методология программирования и языков, компьютерные элементы и архитектура. В дополнение к этим четырём направлениям, комитет CSAB определяет следующие важные области информатики: разработка программного обеспечения, искусственный интеллект, компьютерные сети и телекоммуникации, системы управления базами данных, параллельные вычисления, распределённые вычисления, взаимодействия между человеком и компьютером, компьютерная графика, операционные системы, числовые и символьные вычисления

Исследования операций здесь я не вижу даже близко.

spins06, а что Вы понимаете под CS?

[Maslov]

(Оффтоп)

Sonic86 в сообщении #1050519 писал(а):

А можете мне объяснить: какая связь между CS и путями на графах, исследованием операций и теорией игр?

Sonic86, я вот тут немного писал, что входит в Computer Science по версии ACM.
В самом документе (там есть ссылка) теория игр является одной из техник моделирования (раздел Computational Science/Modeling and Simulation), а графы, деревья и пр. входят в раздел Discrete Structures.

[Sonic86]

(Оффтоп)

Maslov в сообщении #1050533 писал(а):

Sonic86, я вот тут немного писал, что входит в Computer Science по версии ACM.
В самом документе (там есть ссылка) теория игр является одной из техник моделирования (раздел Computational Science/Modeling and Simulation), а графы, деревья и пр. входят в раздел Discrete Structures.

Maslov, спасибо, похоже, что это хорошая классификация.
То, что графы и деревья сильно связаны с CS - это бесспорно. С матаном они мало связаны.
Но в принципе мне понятно.

[spins06]

Sonic86 в сообщении #1050530 писал(а):

(Оффтоп)

А, понятно.
Оптимальные маршруты в графе - это я могу понять - это $NP$-задача, а $P=NP$ - это из дискретки и CS. А матан там нужен, чтобы булевы задачи релаксировать к задаче линейного программирования, которая решается через градиенты, например, а градиенты - это из матана.
Посмотрел: теория игр считается частью исследования операций, а исследование операций раньше относили к кибернетике (оптимальное управление) - в этом смысле оно относится к CS, хотя там зачастую голимый матан и оптимизация.
Т.е. если CS трактовать в таком широком смысле (считать информатикой), то да, тогда понятно.

Однако я залез от балды в Вику, а там в статье https://ru.wikipedia.org/wiki/%D0%98%D0 ... 0%BA%D0%B0 про информатику написано:

Вика писал(а):

Информатика делится на ряд разделов. Как дисциплина, информатика охватывает широкий круг тем от теоретических исследований алгоритмов и пределов вычислений до практической реализации вычислительных систем в области аппаратного и программного обеспечения. Комитет CSAB[en], ранее называемый «Советом по аккредитации вычислительных наук», включающий представителей Ассоциации вычислительной техники (ACM) и Компьютерного общества IEEE[en] (IEEE-CS) — определил четыре области, важнейшие для дисциплины информатика: теория вычислений, алгоритмы и структуры данных, методология программирования и языков, компьютерные элементы и архитектура. В дополнение к этим четырём направлениям, комитет CSAB определяет следующие важные области информатики: разработка программного обеспечения, искусственный интеллект, компьютерные сети и телекоммуникации, системы управления базами данных, параллельные вычисления, распределённые вычисления, взаимодействия между человеком и компьютером, компьютерная графика, операционные системы, числовые и символьные вычисления

Исследования операций здесь я не вижу даже близко.

spins06, а что Вы понимаете под CS?

Software engineering, Networks, Algorithms, Database systems, Cryptography, Artificiall intelligence, Data mining and Machine Learning...

[Sonic86]

spins06 в сообщении #1050541 писал(а):

Software engineering....Algorithms

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

spins06 в сообщении #1050541 писал(а):

Cryptography

А вот тут Вам понадобится много алгебры, теория групп, теория чисел (это не матан)

spins06 в сообщении #1050541 писал(а):

Artificiall intelligence

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

spins06 в сообщении #1050541 писал(а):

Data mining

Тут есть нечеткая логика и теорвер с матстатом, значит и матан в более приличном количестве.
Это все мое ИМХО, я сам во всем этом не спец совершенно.
Тот, кто больше дела имел с этими вещами, может заметить еще побольше необходимого матана во всем этом.

[spins06]

(Оффтоп)

А теория автоматов и теория формальных языков также относится к CS? И где это применяется?

[arseniiv]

(Оффтоп)

В регэкспах, например. (Про первый вопрос классификации не знаю.)

[iifat]

(Оффтоп)

spins06 в сообщении #1050554 писал(а):

теория автоматов и теория формальных языков

А что, написание компиляторов — это уже не CS?

Несколько прослеживается постановка вопроса: посоветуйте учебник, чтоб прочитать — и уже не возвращаться к матанализу до конца дней своих! Нереально, имхо.

[Sonic86]

(Оффтоп)

spins06 в сообщении #1050554 писал(а):

А теория автоматов и теория формальных языков также относится к CS? И где это применяется?

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

Ахо, Хопкрофта, Сети Ульмана Компиляторы,
книжку Мозгового по языкам
Хопкрофт Мотвани Ульман Введение в теорию автоматов, языков и вычислений.djvu
Гинзбург Маттеория контекстно-свободных языков.djvu

)
Матана там вроде мало.

[arseniiv]

(Оффтоп)

Sonic86 в сообщении #1050582 писал(а):

регекспы, <…>, регулярные выражения

Сильно извиняюсь, но разве это не одно и то же?

[Munin]

(Оффтоп)

arseniiv в сообщении #1050704 писал(а):

Сильно извиняюсь, но разве это не одно и то же?

На жаргоне может быть и не одно и то же: есть регулярные выражения вообще, а есть конкретный вариант, реализованный в *NIX, и оттуда расползшийся по городам и весям, regexp .

[arseniiv]

(Оффтоп)

Хм, ну реализации-то как раз довольно разные, и практически все зовутся regex[​p​], так что всё равно непонятно.

Или вы о том, что некоторые современные такие штуки могут разбирать более широкий, чем регулярные, класс языков? (Кажется.)