OberonCore
https://forum.oberoncore.ru/

Систематическое обучение программированию на основе КП
https://forum.oberoncore.ru/viewtopic.php?f=8&t=5453
Страница 1 из 1

Автор:  elvennight [ Пятница, 24 Июль, 2015 07:57 ]
Заголовок сообщения:  Систематическое обучение программированию на основе КП

Доброго дня.

Подскажите, пожалуйста, существуют ли в природе в свободном доступе авторские курсы по программированию на компонентном паскале в среде BlackBox для студентов-программистов? Сам я физик/биофизик по образованию, но хотел бы больше углубиться в область программирования. Получить систематическое программистское образование, так сказать.

Может, кто-то из участников форума является преподавателем в вузе и у кого-то есть подобный курс в открытом доступе для студентов? С теорией, задачами, лабами и пр. вплоть до экзамена? Или, может, вы знаете хорошие места, где это можно изучить самостоятельно? Есть, конечно, отдельные замечательные книжки типа Потопахина, но хотелось бы именно системный подход к изучению данной дисциплины.

Автор:  Пётр Кушнир [ Пятница, 24 Июль, 2015 11:53 ]
Заголовок сообщения:  Re: Систематическое обучение программированию на основе КП

http://www.uni-vologda.ac.ru/oberon/
Раздел "Оберон в обучении". Правда, информации уже много лет.

Автор:  ilovb [ Суббота, 25 Июль, 2015 15:08 ]
Заголовок сообщения:  Re: Систематическое обучение программированию на основе КП

elvennight, читайте SICP, если хотите разобраться в программировании во всей полноте.
А если нужна база, то достаточно "Алгоритмы и структуры данных" Н. Вирта.

Практиковаться по первой книге можно в http://racket-lang.org/
По второй в BlackBox

Забудьте про лабы и экзамены. Так вы не поймете реального программирования.
Придумайте лучше реальный проект в рамках своей специальности и пишите его.

Автор:  Rifat [ Суббота, 25 Июль, 2015 17:05 ]
Заголовок сообщения:  Re: Систематическое обучение программированию на основе КП

Лично мой путь к Оберону был следующим:
программировал на С++ и часто допускал ошибки при программировании -> заинтересовался темой безошибочного программирования -> нашел решение проблемы, которое заключается в разработке программы одновременно с ее доказательством, но для того, чтобы доказательство было возможно необходимо чтобы язык программирования был как можно проще -> так начал изучать Оберон и тройки Хоара ({P} S {Q}).

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

Поэтому я бы рекомендовал для начала изучить тему доказательства корректности программ:
1) Вирта "Систематическое программирование", главы 5, 6, 7.
2) Бейбер "Программное обеспечение без ошибок"
и другие книги.
И при программировании всегда проводить доказательство, тогда Вы станете супер программистом, который пишет программы, которые сразу же начинают надежно работать.

Автор:  elvennight [ Понедельник, 27 Июль, 2015 10:18 ]
Заголовок сообщения:  Re: Систематическое обучение программированию на основе КП

Пётр Кушнир писал(а):
http://www.uni-vologda.ac.ru/oberon/
Раздел "Оберон в обучении". Правда, информации уже много лет.


Петр, спасибо, нашел несколько познавательных статей по КП, однако это не совсем то, что я искал. Меня интересуют именно полноценные образовательные курсы.

ilovb писал(а):
elvennight, читайте SICP, если хотите разобраться в программировании во всей полноте.
А если нужна база, то достаточно "Алгоритмы и структуры данных" Н. Вирта.

Практиковаться по первой книге можно в http://racket-lang.org/
По второй в BlackBox

Забудьте про лабы и экзамены. Так вы не поймете реального программирования.
Придумайте лучше реальный проект в рамках своей специальности и пишите его.


Собственно, именно на реальном проекте я и пытаюсь сейчас освоить программирование. Однако часто не хватает базы. Спасибо за наводку на "Структуру и интерпретацию компьютерных программ", не слышал раньше об этом.

Автор:  Владимир Паронджанов [ Понедельник, 27 Июль, 2015 11:32 ]
Заголовок сообщения:  Re: Систематическое обучение программированию на основе КП

elvennight писал(а):
Сам я физик/биофизик по образованию, но хотел бы больше углубиться в область программирования...

...может, вы знаете хорошие места, где это можно изучить самостоятельно?
Меня заинтересовали Ваши слова, что Вы биофизик. Может, Вы близки к биологии или даже к медицине?

Есть мнение, что
Цитата:
программа = алгоритм + данные


Если такой подход Вас интересует и Вы хотите сделать акцент именно на алгоритмах и алгоритмизации, могу рекомендовать Вам мою книгу "Учись писать, читать и понимать алгоритмы. Алгоритмы для правильного мышления. Основы алгоритмизации". Скачать здесь:
http://drakon.su/_media/biblioteka_1/01 ... linnik.pdf

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

Автор:  Роман М. [ Понедельник, 27 Июль, 2015 16:55 ]
Заголовок сообщения:  Re: Систематическое обучение программированию на основе КП

Computing Fundamentals – „The Theory and Practice of Software Design with BlackBox Component Builder“ by Stanley Warford, Vieweg 2002.

Добавлено позже:
Нашёл ссылку на Оберонкоре: http://oberoncore.ru/library/warford_programming_with_blackbox

Автор:  QWERTYProgrammer [ Понедельник, 27 Июль, 2015 23:23 ]
Заголовок сообщения:  Re: Систематическое обучение программированию на основе КП

https://en.wikipedia.org/wiki/BlackBox_Component_Builder

Warford, Stanley. Computing Fundamentals. The Theory and Practice of Software Design with BlackBox Component Builder, 2002: http://www.cslab.pepperdine.edu/warford/ComputingFundamentals/ (Chapters) and
http://blackboxframework.org/books/warford_2002.pdf (complete book)

Автор:  QWERTYProgrammer [ Понедельник, 27 Июль, 2015 23:33 ]
Заголовок сообщения:  Re: Систематическое обучение программированию на основе КП

Ну и, конечно, Ф.В. Ткачев, Введение в современное программирование, Физфак МГУ, 2006/7 уч. год
http://www.inr.ac.ru/~info21/08.pdf

Автор:  prospero78 [ Пятница, 14 Август, 2015 12:48 ]
Заголовок сообщения:  Re: Систематическое обучение программированию на основе КП

Не закончено, не систематическое изложение, уровень новичка -- викиучебник, раздел учебники. Я бы с удовольствием продолжил, но пока нет человеческого тырнета.

Страница 1 из 1 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/