[Recent Entries][Archive][Friends][User Info]
| March 7th, 2019 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 06:02 pm [Link] |     Теоретическая информатика (theoretical computer science (TCS), как это принято в англоговорящих странах) это математика или это все же информатика? | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Comments | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Ответ настолько конкретный, что слишком общий) аа остальные оттуда черпают, просто тот же Ривест-Лейзерсон-Сендс еще есть курсы компиляторов например, Ахо-Сети-Ульман всякие разные и по операционным системам (Reply to this) (Parent) или наоборот комбинаторика выделится из математики и вольется в computer science сейчас там обе тенденции налицо вот lemma szemeredi это математика? комбинаторика? computer science? по факту - computer science именно что https://en.wikipedia.org/wiki/Szeme вот тут по ссылкам характерно - 4/5 журналов computer science сугубо (Reply to this) (Parent)
То есть теоретическая информатика пока не является математикой, но станет ею? Я правильно вас понял? ты вот на что обрати внимание: программирование из "детского лепета" постепенно превращается в трудное и серьезное дело, сопоставимое с продуцированием математики на харвардский экспорт. и виноват в этом лично "Яврей Эйнштейн", который волюнтаристским решением ограничил скорость света. Жорес Алферов пытался нас всех спасти фотовольтоникой, но его скорее всего убрали "Тайные Операторы". Да они и сейчас в Фифе лютуют со своей "канадской культурологией".
все зависит от того, что понимать под программированием) Если веб-программирование, то тут ничего особого концептуального нет. Нужно изуучить определенный набор технологий и туеву хучу фреймворков. Да, это трудно, занимает много времени. Но с "продуцированием математики" ничего общего и близко не имеет. >Если веб-программирование, то тут ничего особого концептуального нет. не-а. как раз вебпрограммирование это "оно и есть" чисто (нечисто) функциональная модель, отсутствие типов и "интересные странности" параллельного программирования. полнейший "Seyn und Daseyn" фреймворки обычно все требуют допиливания в лучшем случае на js, а в обычном случае на сраной php-шечке. например, я не так давно ебашил сервер для моб. приложения на php и клиента на java. вот там вот єти вот все асинхронные вызовы, анонимные функции, лямбда. Но с "продуцированием математики" ничего общего и близко не имеет. ну как минимум с Теорией множеств (с топологией блядской) есть. и даже наверное как максимум. поскольку изобретение разных пространств и систем отсчета сродни изобретению хитровыдуманных контейнеров. Я разрабатываю teml например tensor matrix library. и на ее основе процедурные всякие миксеры карт с поднятыми и опущенными тензорами и красивыми смешениями текстурных карт. В конечном счете модуль генерирования материалов в 3Д макс или UE4
Интересная формулировка) Если что, найди в сети книгу "Топология без слез") Лично меня она сейчас выручает, когда нужно готовиться к экзамену по "Дифференциальной геометрии и топологии". Предметы, конечно разные, но в нашей программе они идут в одном флаконе))
Вот сайт автора. Есть версия на русском языке. Качай ее. http://www.topologywithouttears.net/ кроме может быть последних двух глав это точно первая четверть первого тома Лорана Шварца судя по оглавлению (Reply to this) (Parent) скачал Моррис С.А. - Топология без слез (2010).pdf 410 страниц вроде прикольно хоть вспомнил чтио такое база топологии я читаю сейчас, вот это вот Галовиц Яцек - C++17 STL. Стандартная библиотека шаблонов (Библиотека программиста) - 2018.pdf по совету ![[info]](http://lj.rossia.org/img/userinfo.gif) dolmatt(Reply to this) (Parent)
Тут может быть три подхода: 1) Можно ввести какие-то абсолютные определения для наук. Тогда, например, определить математику как науку, которая доказывает теоремы исходя из данных определений и уже доказанных ранее теорем. Тогда получается, что TCS это математика, потому что делает именно это. С другой стороны, из такого подхода можно доказать, что химия это физика, потому что там модели и эксперименты с физическими процессами. 2) Можно сказать, что математика это то, чем занимаются математики. То есть то, что публикуется в специализированных журналах. Тогда получается то, что говорит Миша. То есть какие-то темы могут перекочевывать туда-сюда. Можно еще сказать, что TCS не математики, потому что специалистов по TCS учат на компьютер-сайнс факультетах, а не на математических. И тут та же логика, что химики не физики, потому что их обучают на отдельных химических факультетах по другим программам. 3) Можно подходить чисто формально и смотреть, что включено в какие списки. И подход этот имеет место при решении формальных вопросов. Вот например тут ее включают в математику. А много где не включают. (Reply to this) (Thread)
Дополнение к варианту 1 Критерием истины в TCS является математическое доказательство. Аналогичная ситуация с математической физикой, которую сами физики физикой не считают, ибо это математическая наука. В ней все упирается в математические доказательства. Можно сказать, что с теоретической информатикой примерно такая же картина. (Reply to this) (Parent) | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||