OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Понедельник, 25 Июнь, 2018 20:30

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




Начать новую тему Ответить на тему  [ Сообщений: 104 ]  На страницу Пред.  1, 2, 3, 4, 5, 6
Автор Сообщение
 Заголовок сообщения: Re: О зашоренности
СообщениеДобавлено: Пятница, 04 Май, 2012 08:12 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Ну, про [не]существование спецструктуры было закрыто, что и будем выполнять.

По второму поднятому снова вопросу. Уточню кое-что - что, возможно, послужит к закрытию и этой темы. Метод программирования, использующий структуры Дейкстры (указанные Карповым) существует. Да, он называется методом Хоара. Поскольку именно Ч. Хоар (он же К. Хоор, как его Никлаус Вальтерович называет), основываясь на определении защищенных команд Дейкстрой (подозреваю, что это м.б. в работе "Взаимодействие последовательных процессов" 1966 года - но нужно уточнение) предложил дедуктивную семантику для сочинения по формальным спецификациям программ "с присваиваниями". Т.е. для императивного, тьюринго-машинного исполнителя. В отличие от разобранного Кауфманом чуть раньше метода Бэкуса - преследующего ту же цель, но для исполнителя "математически-функционального", без присваивания (точнее - с нелокальным изменением памяти). Надеюсь, что в формулировках не слишком отклонился от истины... :)
Что есть и заключение о существовании уже такого метода (со структурами, напомню, разобрались). Есть ли формулировка его сути ("понятия") по ссылке? Да, вот оно:
Кауфман в download/file.php?id=3171 на с. 334 писал(а):
Замечание. "Вылавливать" идеи циклов из написанных программ - довольно неблагодарная работа. Правильнее было бы формулировать инварианты при проектировании программы, а при доказательстве пользоваться заранее заготовленными инвариантами. Мы лишены возможности так действовать, потому что само понятие инварианта цикла появилось в наших рассуждениях лишь недавно.
А недавно пооявилось потому, что так курс Кауфмана построен - повествовательно.

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: О зашоренности
СообщениеДобавлено: Пятница, 04 Май, 2012 20:29 

Зарегистрирован: Воскресенье, 06 Апрель, 2008 14:43
Сообщения: 557
О истоках зашоренности.
Возникает она в детстве, на студенческой скамье.
Здесь хорошо объясняется
Цитата:
свойство человеческой психики, что если человеку что-то внушили в студенческой молодости, то он будет отстаивать очевидно неверный взгляд, ибо в противном случае ему прийдется отбросить сентиментальные воспоминания и десятилетия, на которых базируется его или ее самооценка.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: О зашоренности
СообщениеДобавлено: Суббота, 05 Май, 2012 10:37 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Да ясное дело... поэтому лично я стремлюсь по любому спорному предмету сформировать набор вариантов... вместе с условиями осуществимости каждого из них. Пользуясь источниками, авторам которых в детстве внушили разные взгляды... :)


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Как решать задачу :)
СообщениеДобавлено: Суббота, 05 Май, 2012 10:40 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Отделено в самостоятельную ветку: viewtopic.php?f=57&t=3956 по предложению модератора.


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 104 ]  На страницу Пред.  1, 2, 3, 4, 5, 6

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


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

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


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

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