Компьютерные науки — различия между версиями

Материал из Вики ИТ мехмата ЮФУ
Перейти к: навигация, поиск
м (+ источник (Ю. И. Манин))
м (+ ссылка на 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>«Что было существенно в начале века — логики стали жать, это то, что потом превратилось в 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>.
+
'''Компьютерные науки''' определить довольно сложно: над этим долгое время бьются [[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]

Ссылки

  1. Статья «Computer science: область знаний».
  2. Сотрудник деканата, личная беседа.
  3. Отчасти эта линия прослеживается в статье Н. Н. Непейводы: От анализоцентризма к логикоцентризму в преподавании математики для информатиков.
  4. «Что было существенно в начале века — логики стали жать, это то, что потом превратилось в computer science». «В логике была программа Гильберта... Гёдель, Тьюринг, фон Нейман, вычислительные машины и computer science — в значительной степени это всё пошло от Гильберта». Ю. И. Манин, интервью polit.ru, 16.10.2008.
  5. Тесная связь алгебры и логики характерна, к примеру, для Новосибирской математической школы, основанной А. И. Мальцевым. См. также журнал Алгебра и логика.
  6. В «Номенклатуре специальностей научных работников», определяющей научные направления, по которым можно регистрировать свои достижения (защищать диссертации и получать учёные звания), для алгебры и матлогики определено единое направление: 01.01.06 «Математическая логика, алгебра и теория чисел». См. также программу вступительного экзамена в аспирантуру и кандидатский минимум.
  7. Обсуждения этой аналогии на одном из форумов интернета.
  8. Статья «Женщина в информационных технологиях: профессионал или морская свинка?».
  9. Соответствующий тезис на сайтах анекдотов: [1][2][3].
  10. См., например, эту лекцию (1-ая минута) легендарного курса MIT 6.001.