OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Пятница, 24 Ноябрь, 2017 17:36

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 10 ] 
Автор Сообщение
СообщениеДобавлено: Пятница, 24 Июль, 2015 07:57 

Зарегистрирован: Суббота, 05 Март, 2011 05:10
Сообщения: 10
Доброго дня.

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

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 24 Июль, 2015 11:53 

Зарегистрирован: Вторник, 29 Август, 2006 12:32
Сообщения: 2424
Откуда: Россия, Ярославль
http://www.uni-vologda.ac.ru/oberon/
Раздел "Оберон в обучении". Правда, информации уже много лет.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 25 Июль, 2015 15:08 

Зарегистрирован: Вторник, 30 Июнь, 2009 14:58
Сообщения: 1427
elvennight, читайте SICP, если хотите разобраться в программировании во всей полноте.
А если нужна база, то достаточно "Алгоритмы и структуры данных" Н. Вирта.

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

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 25 Июль, 2015 17:05 

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

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

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 27 Июль, 2015 10:18 

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


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

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

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

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


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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 27 Июль, 2015 11:32 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 329
Откуда: Москва
elvennight писал(а):
Сам я физик/биофизик по образованию, но хотел бы больше углубиться в область программирования...

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

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


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

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 27 Июль, 2015 16:55 
Аватара пользователя

Зарегистрирован: Пятница, 25 Сентябрь, 2009 13:10
Сообщения: 1157
Откуда: Tel-Aviv
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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 27 Июль, 2015 23:23 

Зарегистрирован: Среда, 04 Июль, 2007 16:43
Сообщения: 226
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)


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 27 Июль, 2015 23:33 

Зарегистрирован: Среда, 04 Июль, 2007 16:43
Сообщения: 226
Ну и, конечно, Ф.В. Ткачев, Введение в современное программирование, Физфак МГУ, 2006/7 уч. год
http://www.inr.ac.ru/~info21/08.pdf


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 14 Август, 2015 12:48 
Аватара пользователя

Зарегистрирован: Воскресенье, 12 Апрель, 2015 18:12
Сообщения: 1049
Откуда: СССР v2.0 rc 1
Не закончено, не систематическое изложение, уровень новичка -- викиучебник, раздел учебники. Я бы с удовольствием продолжил, но пока нет человеческого тырнета.


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 10 ] 

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2005-2017, участники конференции «OberonCore», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Без разрешения участников и ссылки на конференцию «OberonCore» любое воспроизведение и/или копирование высказываний полностью и/или по частям запрещено.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB