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

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

Версия 09:10, 2 июня 2009

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

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

Ссылки

  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].
Источник — «http://it.mmcs.sfedu.ru/_wiki/index.php?title=Компьютерные_науки&oldid=2434»