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

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

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

Примеры курсов МООС созданные лектория.тв

 

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

 

Это, пожалуй, будет одним из самых достойных и значимых вложений за всю историю складчика

 

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

 

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

 

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

 

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

 

Пример лекции.

 

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

Что касается сложности материала, курс можно разбить на 3 уровня сложности. Начиная с самых основы заканчивая сложными задачами.

 

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

 

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

 

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

 

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

 

Готов частично с согласиться с 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 содержится в

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

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

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

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

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

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

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

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

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

 

Я за))

 

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

 

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

 

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