Компьютерные науки — различия между версиями
Материал из Вики ИТ мехмата ЮФУ
Ulysses (обсуждение | вклад) м (+ источник (Ю. И. Манин)) |
Ulysses (обсуждение | вклад) м (+ ссылка на MIT 6.001) |
||
| (не показана 1 промежуточная версия этого же участника) | |||
| Строка 1: | Строка 1: | ||
| − | '''Компьютерные науки''' определить довольно сложно: над этим долгое время бьются [[bravit|лучшие силы Мехмата]]<ref>[http://it.mmcs.sfedu.ru/articles/26-computer-science/150-cs-kb Статья «Computer science: область знаний»].</ref>, но пока их позиция местами отличается от всех других существующих позиций, одной из которых (наиболее доминирующей) являются следующая: «Информатика — это не наука»<ref>Сотрудник деканата, личная беседа.</ref>. В наиболее экзотических подходах утверждается, что компьютерные науки — это алгебра во всех ее проявлениях{{Нет источника}}. Или даже — математическая логика во всех её проявлениях<ref name="">Отчасти эта линия прослеживается в статье Н. Н. Непейводы: [http://www.ict.edu.ru/vconf/files/7563.pdf От анализоцентризма к логикоцентризму в преподавании математики для информатиков].</ref>. Впрочем, последние две точки зрения при определённом желании могут считаться одной<ref>Тесная связь алгебры и логики характерна, к примеру, для Новосибирской математической школы, основанной [http://en.wikipedia.org/wiki/Anatoly_Maltsev А. И. Мальцевым]. См. также журнал [http://math.nsc.ru/~alglog/ Алгебра и логика].</ref><ref> | + | '''Компьютерные науки''' определить довольно сложно: над этим долгое время бьются [[bravit|лучшие силы Мехмата]]<ref>[http://it.mmcs.sfedu.ru/articles/26-computer-science/150-cs-kb Статья «Computer science: область знаний»].</ref>, но пока их позиция местами отличается от всех других существующих позиций, одной из которых (наиболее доминирующей) являются следующая: «Информатика — это не наука»<ref>Сотрудник деканата, личная беседа.</ref>. В наиболее экзотических подходах утверждается, что компьютерные науки — это алгебра во всех ее проявлениях{{Нет источника}}. Или даже — математическая логика во всех её проявлениях<ref name="">Отчасти эта линия прослеживается в статье Н. Н. Непейводы: [http://www.ict.edu.ru/vconf/files/7563.pdf От анализоцентризма к логикоцентризму в преподавании математики для информатиков].</ref><ref>«Что было существенно в начале века — логики стали жать, это то, что потом превратилось в computer science». «В логике была программа Гильберта... Гёдель, Тьюринг, фон Нейман, вычислительные машины и computer science — в значительной степени это всё пошло от Гильберта». [http://ru.wikipedia.org/wiki/Манин,_Юрий_Иванович Ю. И. Манин], [http://www.polit.ru/science/2008/10/16/manin.html интервью polit.ru], 16.10.2008.</ref>. Впрочем, последние две точки зрения при определённом желании могут считаться одной<ref>Тесная связь алгебры и логики характерна, к примеру, для Новосибирской математической школы, основанной [http://en.wikipedia.org/wiki/Anatoly_Maltsev А. И. Мальцевым]. См. также журнал [http://math.nsc.ru/~alglog/ Алгебра и логика].</ref><ref>В «Номенклатуре специальностей научных работников», определяющей научные направления, по которым можно регистрировать свои достижения (защищать диссертации и получать учёные звания), для алгебры и матлогики определено единое направление: [http://www.aspirantura.spb.ru/pasp/1_1_6.html 01.01.06 «Математическая логика, алгебра и теория чисел»]. См. также [[Программа аспирантского экзамена МГУ 01.01.06|программу вступительного экзамена в аспирантуру]] и [http://www.math.msu.su/department/algebra/courses/VAK-I.pdf кандидатский минимум].</ref>. |
| − | + | ||
| − | Возможно, имеет смысл присоединить компьютерные науки к известной<ref>[http://www.redkapella.net.ru/viewtopic.php?t=82&sid=6b5f2355613b3905125a4f182c8c7bae Обсуждения этой аналогии на одном из форумов интернета.]</ref><ref>[http://www.developers.org.ua/archives/women_in_it/2008/12/10/women-in-it/ Статья «Женщина в информационных технологиях: профессионал или морская свинка?».]</ref><ref>Соответствующий тезис на сайтах анекдотов: [http://www.anekdot.ru/id/126964/][http://live4fun.ru/r/3/joke/268147][http://leechers.ru/chcats/view/37].</ref> аналогии между женщинами–программистами и морскими свинками. | + | Возможно, имеет смысл присоединить компьютерные науки к известной<ref>[http://www.redkapella.net.ru/viewtopic.php?t=82&sid=6b5f2355613b3905125a4f182c8c7bae Обсуждения этой аналогии на одном из форумов интернета.]</ref><ref>[http://www.developers.org.ua/archives/women_in_it/2008/12/10/women-in-it/ Статья «Женщина в информационных технологиях: профессионал или морская свинка?».]</ref><ref>Соответствующий тезис на сайтах анекдотов: [http://www.anekdot.ru/id/126964/][http://live4fun.ru/r/3/joke/268147][http://leechers.ru/chcats/view/37].</ref> аналогии между женщинами–программистами и морскими свинками<ref>[http://mmcs.sfedu.ru/~ulysses/Misc/mit-6001-lect1.html См., например, эту лекцию (1-ая минута)] легендарного курса MIT 6.001.</ref> |
== Ссылки == | == Ссылки == | ||
Текущая версия на 20:27, 21 мая 2011
Компьютерные науки определить довольно сложно: над этим долгое время бьются лучшие силы Мехмата[1], но пока их позиция местами отличается от всех других существующих позиций, одной из которых (наиболее доминирующей) являются следующая: «Информатика — это не наука»[2]. В наиболее экзотических подходах утверждается, что компьютерные науки — это алгебра во всех ее проявлениях[источник?]. Или даже — математическая логика во всех её проявлениях[3][4]. Впрочем, последние две точки зрения при определённом желании могут считаться одной[5][6].
Возможно, имеет смысл присоединить компьютерные науки к известной[7][8][9] аналогии между женщинами–программистами и морскими свинками[10]
Ссылки
- ↑ Статья «Computer science: область знаний».
- ↑ Сотрудник деканата, личная беседа.
- ↑ Отчасти эта линия прослеживается в статье Н. Н. Непейводы: От анализоцентризма к логикоцентризму в преподавании математики для информатиков.
- ↑ «Что было существенно в начале века — логики стали жать, это то, что потом превратилось в computer science». «В логике была программа Гильберта... Гёдель, Тьюринг, фон Нейман, вычислительные машины и computer science — в значительной степени это всё пошло от Гильберта». Ю. И. Манин, интервью polit.ru, 16.10.2008.
- ↑ Тесная связь алгебры и логики характерна, к примеру, для Новосибирской математической школы, основанной А. И. Мальцевым. См. также журнал Алгебра и логика.
- ↑ В «Номенклатуре специальностей научных работников», определяющей научные направления, по которым можно регистрировать свои достижения (защищать диссертации и получать учёные звания), для алгебры и матлогики определено единое направление: 01.01.06 «Математическая логика, алгебра и теория чисел». См. также программу вступительного экзамена в аспирантуру и кандидатский минимум.
- ↑ Обсуждения этой аналогии на одном из форумов интернета.
- ↑ Статья «Женщина в информационных технологиях: профессионал или морская свинка?».
- ↑ Соответствующий тезис на сайтах анекдотов: [1][2][3].
- ↑ См., например, эту лекцию (1-ая минута) легендарного курса MIT 6.001.
