OberonCore
https://forum.oberoncore.ru/

Литература по теоретическому программированию
https://forum.oberoncore.ru/viewtopic.php?f=75&t=2140
Страница 1 из 3

Автор:  Илья Ермаков [ Понедельник, 30 Ноябрь, 2009 19:56 ]
Заголовок сообщения:  Литература по теоретическому программированию

Возник вопрос по эквивалентным преобразованием программ (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 ]
Заголовок сообщения:  Re: Литература по теоретическому программированию

Кларк Э.М., Грамберг О., Пелед Д.
Верификация моделей программ: Model Checking. Пер. с англ. / под ред. Р. Смелянского. - М.: МЦНМО, 2002.- 416 с.

Автор:  Илья Ермаков [ Пятница, 19 Февраль, 2010 22:14 ]
Заголовок сообщения:  Re: Литература по теоретическому программированию

Книга по семейству языков-методов формальной спецификации LARCH:

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

Автор:  Валерий Лаптев [ Пятница, 12 Март, 2010 14:01 ]
Заголовок сообщения:  Re: Литература по теоретическому программированию

Внимание!
Вышла книга Карпова Ю.Г. по Model Checking.

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

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

Автор:  Илья Ермаков [ Суббота, 03 Апрель, 2010 07:10 ]
Заголовок сообщения:  Re: Литература по теоретическому программированию

Получил книгу. Интересно, написано хорошим языком. Буду постепенно знакомиться :)

Автор:  Valery Solovey [ Понедельник, 05 Апрель, 2010 15:08 ]
Заголовок сообщения:  Re: Литература по теоретическому программированию

Потом сообщите о её полезности.

Автор:  Илья Ермаков [ Вторник, 06 Апрель, 2010 08:46 ]
Заголовок сообщения:  Re: Литература по теоретическому программированию

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

Автор:  Илья Ермаков [ Вторник, 06 Апрель, 2010 09:01 ]
Заголовок сообщения:  Re: Литература по теоретическому программированию

Н.Н. Непейвода "Математик и прикладник: о взаимо(не)понимании"
http://vestnik.udsu.ru/2007/2007-01/vuu_07_01_18.pdf

Автор:  Валерий Лаптев [ Вторник, 06 Апрель, 2010 09:06 ]
Заголовок сообщения:  Re: Литература по теоретическому программированию

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

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

Автор:  Илья Ермаков [ Вторник, 06 Апрель, 2010 10:14 ]
Заголовок сообщения:  Re: Литература по теоретическому программированию

Так точно, презентация Open Office Impress.

Автор:  Info21 [ Вторник, 06 Апрель, 2010 11:15 ]
Заголовок сообщения:  Re: Литература по теоретическому программированию

Илья Ермаков писал(а):
Так точно, презентация Open Office Impress.
Ну вот...

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

Автор:  Илья Ермаков [ Вторник, 06 Апрель, 2010 11:41 ]
Заголовок сообщения:  Re: Литература по теоретическому программированию

Сделал:

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

Автор:  Валерий Лаптев [ Вторник, 06 Апрель, 2010 16:58 ]
Заголовок сообщения:  Re: Литература по теоретическому программированию

Он уже наступил... :)

Автор:  Info21 [ Вторник, 06 Апрель, 2010 17:10 ]
Заголовок сообщения:  Re: Литература по теоретическому программированию

Илья Ермаков писал(а):
Сделал:
Спасибо, забавно, но...

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

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

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

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

Автор:  Илья Ермаков [ Вторник, 06 Апрель, 2010 20:39 ]
Заголовок сообщения:  Re: Литература по теоретическому программированию

Мне срезонировало с собственным опытом (говорил сам практически те же слова) вот это, из "Математика и прикладника":

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


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

Автор:  Илья Ермаков [ Среда, 07 Апрель, 2010 16:42 ]
Заголовок сообщения:  Re: Литература по теоретическому программированию

И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин
Теория соответсвия для систем с блокировками и разрушением
М.: ФИЗМАТЛИТ, 2008 . 412 с.

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

Автор:  Valery Solovey [ Четверг, 08 Апрель, 2010 13:27 ]
Заголовок сообщения:  Re: Литература по теоретическому программированию

А не будет небольшого резюме, почему её стоит прочитать?

Автор:  Peter Almazov [ Четверг, 08 Апрель, 2010 13:42 ]
Заголовок сообщения:  Re: Литература по теоретическому программированию

Аналогичный вопрос возник и у меня.

Автор:  Илья Ермаков [ Четверг, 08 Апрель, 2010 19:27 ]
Заголовок сообщения:  Re: Литература по теоретическому программированию

Книгу смотреть подробно было некогда.

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

Автор:  Info21 [ Четверг, 08 Апрель, 2010 19:36 ]
Заголовок сообщения:  Re: Литература по теоретическому программированию

Илья Ермаков писал(а):
Центр верификации и сертификации Линуха у них там.
Разве не Явы?

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