OberonCore
https://forum.oberoncore.ru/

Литература по математике-информатике-языкам
https://forum.oberoncore.ru/viewtopic.php?f=75&t=3586
Страница 1 из 1

Автор:  Владислав Жаринов [ Четверг, 06 Октябрь, 2011 07:26 ]
Заголовок сообщения:  Литература по математике-информатике-языкам

Тема возникает как развитие идеи из этого поста. Как выясняется, если не для учней, то для взрослых есть книги, аналогичные по замыслу (МИЯ-интеграция). По крайней мере, одна нашлась - о ней следующий пост. Возможно, есть и другие.

Достаточным приближением можно считать также книги из этого поста.
Частные сопряжения (отдельных элементов формулы) и/или отдельные грани интеграции можно найти в публикациях из этого поста.

Автор:  Владислав Жаринов [ Четверг, 06 Октябрь, 2011 07:37 ]
Заголовок сообщения:  Бабичев А.В. Распознавание и спецификация СД

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

В работе более половины объёма занимают приложения - определения, утверждения и их доказательства. В основном, как можно судить, новые или вообще оригинальные.
Интересен также список литературы от URSS.

Автор:  Info21 [ Четверг, 06 Октябрь, 2011 09:31 ]
Заголовок сообщения:  Re: Литература по математике-информатике-языкам

Драконограф писал(а):
(МИЯ-интеграция)
Опять же, я бы не стал пытаться слишком буквально интерпретировать формулу.

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

Автор:  Владислав Жаринов [ Четверг, 06 Октябрь, 2011 12:26 ]
Заголовок сообщения:  Re: Литература по математике-информатике-языкам

В частности, через тот самый неоклассический лицей...

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