Python-сообщество

Всем добрый день!
Часто встречается такое определение “основы computer science”, подскажите что входит в это понятие (желательно со ссылками или литературой)) )

AlexAled
Всем добрый день!
Часто встречается такое определение “основы computer science”, подскажите что входит в это понятие (желательно со ссылками или литературой)) )

Имхо, хороший интродакшн: http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-00-introduction-to-computer-science-and-programming-fall-2008/

Правда на английском…

Я сейчас на русском изучаю перевод этих лекций, кстати жаль что этот курс не на питоне.
Но достаточно ли этого курса?

Отредактировано (Май 16, 2011 12:57:08)

AlexAled
Но достаточно ли этого курса?

Достаточно для чего?

Для того что бы постичь основы CS

Александр Кошелев

AlexAled
Но достаточно ли этого курса?

Достаточно для чего?

AlexAled
Я сейчас на русском изучаю перевод этих лекций, кстати жаль что этот курс не на питоне.

Кинь ссылочку на русский перевод, который ты изучаешь пожалуйста.

mihasya

AlexAled
Я сейчас на русском изучаю перевод этих лекций, кстати жаль что этот курс не на питоне.

Кинь ссылочку на русский перевод, который ты изучаешь пожалуйста.

http://newstar.rinet.ru/~goga/sicp/sicp.pdf
Это ссылка на книгу

http://sicp.sergeykhenkin.com/
А это решения упражнений, т.к. в книге только задачи

Нет, не достаточно :)
Точнее это несколько не то на мой взгляд.

Лучше начать с и изучения литературы по следующим темам:
1. Элементы алгебр логики. Полные наборы функций алгебры логики. Комбинаторные схемы.
2. Исчисление высказываний и исчисление предикатов. Логические аксиоматические системы. Правила вывода modus ponens и modus tollens.
3. Аристотелевы силлогизмы и их современная модификации.
4. Неклассические логики.
5. Исчисление Туэ. Языки и формальные грамматики, классификация Хомского.
6. Автоматы и формальные грамматики. Задачи порождения и распознавания. Словарные паттерны. Событийный анализ.
7. Асинхронные процессы и модели их взаимодействия. Сети Петри.
8. Бинарные отношения и графы. Отношения эквивалентности, толерантности и порядка. Решетчатые порядки и алгебры.

Скажите, а откуда этот перечень, я так понимаю тут основной уклон на логику предикатов, а как же теория алгоритмов?

zheromo
Нет, не достаточно :)
Точнее это несколько не то на мой взгляд.

Лучше начать с и изучения литературы по следующим темам:
1. Элементы алгебр логики. Полные наборы функций алгебры логики. Комбинаторные схемы.
2. Исчисление высказываний и исчисление предикатов. Логические аксиоматические системы. Правила вывода modus ponens и modus tollens.
3. Аристотелевы силлогизмы и их современная модификации.
4. Неклассические логики.
5. Исчисление Туэ. Языки и формальные грамматики, классификация Хомского.
6. Автоматы и формальные грамматики. Задачи порождения и распознавания. Словарные паттерны. Событийный анализ.
7. Асинхронные процессы и модели их взаимодействия. Сети Петри.
8. Бинарные отношения и графы. Отношения эквивалентности, толерантности и порядка. Решетчатые порядки и алгебры.

AlexAled
а как же теория алгоритмов?

Классическая теория алгоритмов изучает проблемы формулировки задач в терминах формальных языков
см. пункт 4

AlexAled
Скажите, а откуда этот перечень

программа МФТИ по курсу: ОСНОВЫ ТЕОРИИ COMPUTER SCIENCE