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

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

Версия 08:31, 2 июня 2009

Компьютерные науки определить довольно сложно: над этим долгое время бьются лучшие силы Мехмата[1], но пока их позиция местами отличается от всех других существующих позиций, одной из которых (наиболее доминирующей) являются следующая: «Информатика — это не наука»[2]. В наиболее экзотических подходах утверждается, что компьютерные науки — это алгебра во всех ее проявлениях[источник?]. Или даже — математическая логика во всех её проявлениях[3]. Впрочем, последние две точки зрения при определённом желании могут считаться одной[4][5].

Возможно, имеет смысл присоединить компьютерные науки к известной[6][7][8] аналогии между женщинами–программистами и морскими свинками.

Ссылки

  1. ↑ Статья «Computer science: область знаний».
  2. ↑ Сотрудник деканата, личная беседа.
  3. ↑ Отчасти эта линия прослеживается в статье Н. Н. Непейводы: От анализоцентризма к логикоцентризму в преподавании математики для информатиков.
  4. ↑ Тесная связь алгебры и логики характерна, к примеру, для Новосибирской математической школы, основанной А. И. Мальцевым. См. также журнал Алгебра и логика.
  5. ↑ «Что было существенно в начале века — логики стали жать, это то, что потом превратилось в computer science». «В логике была программа Гильберта... Гёдель, Тьюринг, фон Нейман, вычислительные машины и computer science — в значительной степени это всё пошло от Гильберта». Ю. И. Манин, интервью polit.ru, 16.10.2008.
  6. ↑ Обсуждения этой аналогии на одном из форумов интернета.
  7. ↑ Статья «Женщина в информационных технологиях: профессионал или морская свинка?».
  8. ↑ Соответствующий тезис на сайтах анекдотов: [1][2][3].
Источник — «http://it.mmcs.sfedu.ru/_wiki/index.php?title=Компьютерные_науки&oldid=2432»