Обсуждение

Создание курса МООС по Computer Science

Тема в разделе "Обсуждение инфопродуктов", создана пользователем feniks-84, 5 июл 2014.

?

Готовы ли Вы принять участие в этой складчине?

  1. Да

    90,4%
  2. Нет

    9,6%
  1. feniks-84

    feniks-84 ОргОрганизатор

    Уважаемы складчики! Хочу Вам предложить создать складчину на создание фундаментального курса по Computer Science совместно с lеktоrium.tv. Многие из Вас я полагаю знакомы с лекциями читаемыми Александром Шенем и распространяемыми бесплатно на просторах интернета. Недостатком этих лекций является, то что они записываются в аудитории со студентами (так называемая «копирка»). Курс МООС предполагает совершенно другой формат обучения, подобный проектам Coursera. Я бы хотел знать Ваше мнение готовы ли Вы скинутся на создание профессионального курса по фундаментальной информатике? Составляющие курса темы можно будет обсудить.

    Надеюсь проект Лектория.тв, Александр Шень и Вы поддержите эту инициативу. И мы все получим очень качественный материал не уступающий зарубежным проектам таким как Coursera, Lynda.com и аналогичным.

    Примеры курсов МООС созданные лектория.тв
     
    6 пользователям это понравилось.
  2. feniks-84

    feniks-84 ОргОрганизатор

     
  3. Boroda

    Boroda БанЗабанен

    Если замутить что-то максимально фундаментальное, по подобию вот этого: [edx.org] HarvardX: CS50x Введение в компьютерную науку "программирование", только с уклоном в информатику, архитектуру компьютеров и ОС, сети и т.п., то это будет бомба, конечно. Я только за. И за ту складчину я тоже только за. Фундамент - это то, что нужно многим. Мне в частности.
     
    3 пользователям это понравилось.
  4. RobertTS

    RobertTS ЧКЧлен клуба

    Это, пожалуй, будет одним из самых достойных и значимых вложений за всю историю складчика
     
    2 пользователям это понравилось.
  5. std2009

    std2009 ЧКЧлен клуба

    Действительно, полезная складчина. Только далеко не для всех. Почитайте Шеня.
     
  6. std2009

    std2009 ЧКЧлен клуба

    Особенно у него нравится работа: "Конечный вариант 13-ой проблемы Гильберта и другие вопросы"
     
  7. feniks-84

    feniks-84 ОргОрганизатор

    То что я у него попытался прочитать очень сложно, но Вы посмотрите лекции они очень понятны и доступны.
     
  8. Softwarer

    Softwarer ДолжникДолжник

    Дело хорошее, но такой инициативе самое место на каком-нибудь boomstarter.
     
  9. feniks-84

    feniks-84 ОргОрганизатор

    Пример лекции.
     
  10. feniks-84

    feniks-84 ОргОрганизатор

    Почему Вы так считаете? Покупать и переводить западные курсы чем лучше этого предложения? Почему Вы их не посылаете на boomstarter.

    Что касается сложности материала, курс можно разбить на 3 уровня сложности. Начиная с самых основы заканчивая сложными задачами.
     
    2 пользователям это понравилось.
  11. feniks-84

    feniks-84 ОргОрганизатор

    Всем кому нравиться, эта инициатива помоги продвинуть создание этого проекта.
     
  12. feniks-84

    feniks-84 ОргОрганизатор

    Пример контента создаваемого Лектория.ТВ

     
  13. std2009

    std2009 ЧКЧлен клуба

    Курс, который читает Шень, имеет отдаленное отношение к Computer Science. Если математическую логику и теорию алгоритмов преподает математик, то смело убирайте слово Computer из названия курса - систематизированного изложения основ вычислительной техники вы не получите. Курс Шеня может быть хорошим дополнением, но не базовой основой для изучения Computer Science. Перед тем как слушать Шеня, сначала прочитайте, например, книгу Петгольца "Читаем Тьюринга" (www.ozon.ru/context/detail/id/27292826/), и если вас заинтересуют рассмотренные в книге вопросы, то можно будет послушать и курс Шеня. При этом важно понимать, что формальные алгоритмические системы, которые исследуются математиками, не учитывают требований, которые на практике предъявляются к алгоритмам. Вопросы, которые важны для понимания сути вычислительных процессов, выходят далеко за рамки того, о чем говорит Шень.
     
  14. std2009

    std2009 ЧКЧлен клуба

    Несмотря на критические замечания изложенные выше, целиком поддерживаю идею организации складчин на материалы ведущих российских специалистов.
     
  15. feniks-84

    feniks-84 ОргОрганизатор

    Готов частично с согласиться с std2009 я скорее имел в виду курс по «фундаментальной информатике», нежели фундаментальной курс по информатике. Примерный перечень тем по которым у автора есть публикации:

    1. Начало теории множеств

    1.1. Множество и мощность

    1.2. Упорядоченное множество

    1.3. И т.д.

    2. Алгоритмы, колмогоровская сложность

    3. Логика

    4. Теория информации

    5. Языки и исчисления (книга)

    5.1. Логика высказываний

    5.2. Ичисления высказываний

    5.3. Языки первого порядка

    5.4. ….

    6. Программирование теоремы и задачи (книга):

    6.1. Переменные, выражения, присваивания

    6.2. Порождение комбинаторных объектов

    6.3. Обход дерева. Перебор с возвратами

    6.4. Сортировка

    6.5. Конечные автоматы и обработка текстов

    6.6. Типы данных (стеки, очереди, множества)

    6.7. Рекурсия

    6.8. Как обойтись без рекурсии

    6.9. Разные алгоритмы на графах

    6.10. Сопоставление с образцом

    6.11. Анализ игр

    6.12. Оптимальное кодирование

    6.13. Представление множеств. Хеширование

    6.14. Деревья. Сбалансированные деревья

    6.15. Контекстно-свободные грамматики

    6.16. Синтаксические разбор слева направо (LR)

    7. понятие универсальной функции (хранимой программы) и диагональная конструкция алгоритмически неразрешимых проблем (перечислимого неразрешимого множества)

    8. конкретные модели и доказательство неразрешимости конкретных задач (подстановки в словах = проблема тождества слов в полугруппах)

    9. теорема Клини о неподвижной точке и self-referential конструкции

    10.понятие сводимости как средство доказательства неразрешимости и полиномиальной сводимости как средства сравнения сложности

    11.case study: потоки в сетях, сведение к ним (двудольного) паросочетания, вероятностный и детерминированный полиномиальные алгоритмы

    12.правила доказательства свойств программ: примеры

    13.вероятностные алгоритмы: пример анализа времени работы (быстрая сортировка)

    14.пример результата из теории сложности: что значит и почему BPP содержится в [​IMG]

    15.теория смыкается с практикой: регулярные выражения и конечные автоматы

    16.алгебра и computer science: разделение секрета, коды Рида–Соломона

    17.алгебраи computer science: IP=PSPACE

    18.пример из теории кодирования: границы Гилберта и Шеннона

    19.пример из теории информации: шенноновская энтропия как граница для средней длины префиксного (или даже однозначного) кода

    20.колмогоровская сложность (пример результата: теорема о сложности пары)

    21.PCP: эквивалентность проверки доказательства и gap reduction

    22.доказательства с двумя пруверами: пример, когда квантовая механика позволяет перейти границу для классической

    23.псевдослучайные генераторы: почему тестирование равносильно предсказанию
     

    Вложения:

    4 пользователям это понравилось.
  16. 2socks

    2socks ДолжникДолжник

    Я за))
     
  17. Коровьев

    Коровьев БанЗабанен

    Можно обратиться к Рахиму за помощью, он бесплатно читает курсы, а за денюжку думаю будет не против.
    Hexlet
     
    1 человеку нравится это.
  18. sunnyfnc

    sunnyfnc ЧКЧлен клуба

    Если есть его контакты, то конечно обратитесь. Только есть ли у него достаточный опыт по всем темам, описанным feniks-84?
     
  19. Prolium

    Prolium ЧКЧлен клуба

    Половина тем доступна на хекслет, но только теория бесплатно.
     

Поделиться этой страницей