OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Вторник, 21 Май, 2019 21:54

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




Начать новую тему Ответить на тему  [ Сообщений: 43 ]  На страницу 1, 2, 3  След.
Автор Сообщение
СообщениеДобавлено: Понедельник, 30 Ноябрь, 2009 19:56 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9118
Откуда: Россия, Орёл
Возник вопрос по эквивалентным преобразованием программ (Alexey_Donskoy).

Пусть пока здесь будет.

По теории схем программ:

В.Е. Котов, В.К. Сабельфельд. Теория схем программ.
http://ermakov.metasystems.ru/forum/boo ... Kotov.djvu

М.А. Князева, С.К. Клещев "Концепция банка знаний в области оптимизации программ..."
http://www.iacp.dvo.ru/is/publications.php?pub_id=101

Можно поискать другие современные публикации в окрестности сайтов ИСИ СО РАН (iis.nsk.su).

Конечно же, работы А.П. Ершова "Введение в теоретическое программирование", "Теория программирования и вычислительные системы". Если не лезть дальше в область смешанных вычислений и суперкомпиляции (проекции Футамуры-Ершова...)
Эти и многие другие работы - на http://www.ershov.ras.ru


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 26 Январь, 2010 17:38 

Зарегистрирован: Суббота, 07 Март, 2009 15:39
Сообщения: 3045
Откуда: Астрахань
Кларк Э.М., Грамберг О., Пелед Д.
Верификация моделей программ: Model Checking. Пер. с англ. / под ред. Р. Смелянского. - М.: МЦНМО, 2002.- 416 с.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 19 Февраль, 2010 22:14 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9118
Откуда: Россия, Орёл
Книга по семейству языков-методов формальной спецификации LARCH:

http://www.cs.cmu.edu/afs/cs/usr/wing/w ... chBook.pdf


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 12 Март, 2010 14:01 

Зарегистрирован: Суббота, 07 Март, 2009 15:39
Сообщения: 3045
Откуда: Астрахань
Внимание!
Вышла книга Карпова Ю.Г. по Model Checking.

Карпов Ю.Г. Model Checking. Верификация параллельных и распределенных программных систем. - СПб.: БХВ-Петербург, 2010. - 560 с. + CD ROM

Судя по предисловию и первым главам - самое то для систем реального времени.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 03 Апрель, 2010 07:10 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9118
Откуда: Россия, Орёл
Получил книгу. Интересно, написано хорошим языком. Буду постепенно знакомиться :)


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 05 Апрель, 2010 15:08 

Зарегистрирован: Понедельник, 30 Июль, 2007 10:53
Сообщения: 1537
Откуда: Беларусь, Минск
Потом сообщите о её полезности.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 06 Апрель, 2010 08:46 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9118
Откуда: Россия, Орёл
Презентация Н.Н. Непейводы
"Ограничения открытого софта", с обращением к вопросам доказательства программ
http://freeschool.altlinux.ru/wp-conten ... llfree.odp


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 06 Апрель, 2010 09:01 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9118
Откуда: Россия, Орёл
Н.Н. Непейвода "Математик и прикладник: о взаимо(не)понимании"
http://vestnik.udsu.ru/2007/2007-01/vuu_07_01_18.pdf


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 06 Апрель, 2010 09:06 

Зарегистрирован: Суббота, 07 Март, 2009 15:39
Сообщения: 3045
Откуда: Астрахань
Илья Ермаков писал(а):
Презентация Н.Н. Непейводы
"Ограничения открытого софта", с обращением к вопросам доказательства программ
http://freeschool.altlinux.ru/wp-conten ... llfree.odp

Тип odp - это из опен-офиса?


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 06 Апрель, 2010 10:14 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9118
Откуда: Россия, Орёл
Так точно, презентация Open Office Impress.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 06 Апрель, 2010 11:15 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8091
Откуда: Троицк, Москва
Илья Ермаков писал(а):
Так точно, презентация Open Office Impress.
Ну вот...

А в pdf распечатать?


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 06 Апрель, 2010 11:41 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9118
Откуда: Россия, Орёл
Сделал:

Вложение:
Nepeivoda-notallfree.pdf [74.2 КБ]
Скачиваний: 368


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 06 Апрель, 2010 16:58 

Зарегистрирован: Суббота, 07 Март, 2009 15:39
Сообщения: 3045
Откуда: Астрахань
Он уже наступил... :)


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 06 Апрель, 2010 17:10 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8091
Откуда: Троицк, Москва
Илья Ермаков писал(а):
Сделал:
Спасибо, забавно, но...

Насчет "повышать уровень" -- очевидно.

А остальное про логику -- слегка напоминает характерный синдром (начинающих) учёных: "Я выучил алгебры Ли! Это круто! Теперь я буду их применять!!"

То есть всякие красивые теоремы нужно знать, это здорово и полезно, но полезность не прямолинейная.
------

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 06 Апрель, 2010 20:39 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9118
Откуда: Россия, Орёл
Мне срезонировало с собственным опытом (говорил сам практически те же слова) вот это, из "Математика и прикладника":

Цитата:
Изоморфизмы между различными структурами - одно из наиболее ценных знаний, которое можно получить из математики. Ведь если две структуры изоморфны, на практике это означает, что у нас есть как минимум два внешне совершенно различных представления данных для решения одних и тех же задач. А выбор правильного представления данных - больше чем полпути к хорошему решению практической задачи.
...
Если вы не можете избавиться от терминов, скорее всего, вы неглубоко понимаете вопрос. Один из критериев глубокого понимания сути дела - умение выразить её совершенно разными словами.


Когда что-то проектируешь и долго думаешь, постоянно ходишь этими изоморфизмами. "Ах, вот так можно, но это будет то же самое в других понятиях..." И защита от моды хорошая. Сразу видно, голый король или не совсем голый, но такой же, какой уже был :)


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 07 Апрель, 2010 16:42 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9118
Откуда: Россия, Орёл
И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин
Теория соответсвия для систем с блокировками и разрушением
М.: ФИЗМАТЛИТ, 2008 . 412 с.

http://panda.ispras.ru/~kuliamin/docs/C ... k-2008.pdf


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 08 Апрель, 2010 13:27 

Зарегистрирован: Понедельник, 30 Июль, 2007 10:53
Сообщения: 1537
Откуда: Беларусь, Минск
А не будет небольшого резюме, почему её стоит прочитать?


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 08 Апрель, 2010 13:42 

Зарегистрирован: Пятница, 24 Апрель, 2009 16:28
Сообщения: 528
Откуда: Москва
Аналогичный вопрос возник и у меня.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 08 Апрель, 2010 19:27 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9118
Откуда: Россия, Орёл
Книгу смотреть подробно было некогда.

Про практическую деятельность авторов только знаю. С А.С. Косачевым на одном семинаре общались, он рассказывал. Центр верификации и сертификации Линуха у них там.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 08 Апрель, 2010 19:36 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8091
Откуда: Троицк, Москва
Илья Ермаков писал(а):
Центр верификации и сертификации Линуха у них там.
Разве не Явы?


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

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


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

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


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

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