OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Пятница, 22 Сентябрь, 2017 07:28

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




Начать новую тему Ответить на тему  [ Сообщений: 41 ]  На страницу Пред.  1, 2, 3  След.
Автор Сообщение
СообщениеДобавлено: Воскресенье, 09 Январь, 2011 17:46 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Подборка статей о дискуссионных вопросах:
Вложение:
Комментарий к файлу: Обсуждение вопросов скалярно-количественных оценок искусственных систем.
Квалиметрия-ст(Т-М).djvu [136.96 КБ]
Скачиваний: 229
Вторая статья непосредственно касается семантики и прагматики показателей качества и правомерности свёртки комплекса свойств.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Популярно о тервере и матстате
СообщениеДобавлено: Четверг, 03 Февраль, 2011 05:15 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Математические основания "третьего вида лжи по Дизраэли" :)
Вложение:
Комментарий к файлу: Основные понятия теории вероятности в различных формализациях. Основы математической статистики.
Хургин-КакОбъятьНеоб-кн.djvu [1.35 МБ]
Скачиваний: 190
Если серьёзно, то книга, возможно, подойдёт для чтения и просвещения юных. В частности, главы об измерениях, о "чёрном ящике" и об адекватности (и приводимые там примеры, особенно юммористического рода :D )


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 16 Февраль, 2011 23:34 

Зарегистрирован: Вторник, 05 Январь, 2010 21:31
Сообщения: 1101
Откуда: Харків, Данилівка
Много покупаю на барахолках предисторической компьютерной литературы. Вот попалась книжка "Д.Кук, Г.Бейз Компьютерная математика". Примечательная книжка, изложение ведется от разделов классической математики: теории множеств, арифметики, алгебраических структур до грамматик и автоматов. В книжке 380 стр., но она представляет собой запись двухгодичного курса лекций из 100 лекционных часов, читанного в университете Лафбаро. Очень живой стиль изложения, достаточно примеров, органично включенных в изложение, задачи для самостоятельного решения. Хорошо расставленные акценты, при небольшом объеме книжки.


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

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

Набило оскомину это таскание одних и тех же алгоритмов перемолки матриц, совершенно без смысловой интерпретации - что геометрически происходит. Нет, конечно, вначале в 1/3 источников объясняется, что поиск решения идёт в выпуклом многограннике, что оптимум - в одной из его вершин; но затем про это резко и стыдливо забывается - и идёт забурение в чистую алгебраическую "мясорубку".

Открыл случайно Калиткина "Численные методы" - превосходно изложено. Всего 8 страниц "Минимум в ограниченной области", но как чисто написано! С геометрической лексикой, сопровождающей выкладки.

P.S. А террористы-алгебраисты... затрепали :)


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 22 Апрель, 2011 14:24 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Илья Ермаков писал(а):
...
Открыл случайно Калиткина "Численные методы" - превосходно изложено. Всего 8 страниц "Минимум в ограниченной области", но как чисто написано! С геометрической лексикой, сопровождающей выкладки.
...
Калиткина, кстати, тоже этого года видел.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 23 Апрель, 2011 19:30 

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 7616
Откуда: Троицк, Москва
Драконограф писал(а):
Калиткина, кстати, тоже этого года видел.

Есть на Озоне.
Кстати, в Библио-Глобусе гораздо дороже (>700). Что свидетельствует.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Дискретная математика
СообщениеДобавлено: Понедельник, 02 Май, 2011 17:37 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Вот такая книга:
Новиков Ф. А. Дискретная математика для программистов.
Все основные разделы изложены сжато по принципу "от теорем к алгоритмам".
Уже вышло 3-е издание.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Дискретная математика
СообщениеДобавлено: Понедельник, 02 Май, 2011 19:29 

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 7616
Откуда: Троицк, Москва
Драконограф писал(а):
Вот такая книга:
Новиков Ф. А. Дискретная математика для программистов.
Все основные разделы изложены сжато по принципу "от теорем к алгоритмам".
Уже вышло 3-е издание.
Это одна из книг, которые я рекомендую.
Там много собрано, это хорошо. Но чрезмерно формализовано, а это плохо.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 02 Май, 2011 19:40 

Зарегистрирован: Воскресенье, 06 Апрель, 2008 14:43
Сообщения: 557
Драконограф писал(а):
Вот такая книга:
Новиков Ф. А. Дискретная математика для программистов.
Все основные разделы изложены сжато по принципу "от теорем к алгоритмам".
Уже вышло 3-е издание.
Скачал, но в середине книги страницы 170 - 196 пустые, без текста.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 04 Май, 2011 10:03 

Зарегистрирован: Вторник, 30 Июнь, 2009 14:58
Сообщения: 1362
http://gen.lib.rus.ec/search?req=%D0%94%D0%B8%D1%81%D0%BA%D1%80%D0%B5%D1%82%D0%BD%D0%B0%D1%8F+%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0+%D0%9D%D0%BE%D0%B2%D0%B8%D0%BA%D0%BE%D0%B2&nametype=orig&column%5B%5D=title&column%5B%5D=author


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 04 Май, 2011 13:15 

Зарегистрирован: Четверг, 23 Апрель, 2009 18:01
Сообщения: 219
Илья Ермаков писал(а):
Потребовалось в пед. целях найти вменяемое описание сути линейного программирования и симплекс-метода.

Набило оскомину это таскание одних и тех же алгоритмов перемолки матриц, совершенно без смысловой интерпретации - что геометрически происходит. Нет, конечно, вначале в 1/3 источников объясняется, что поиск решения идёт в выпуклом многограннике, что оптимум - в одной из его вершин; но затем про это резко и стыдливо забывается - и идёт забурение в чистую алгебраическую "мясорубку".

Открыл случайно Калиткина "Численные методы" - превосходно изложено. Всего 8 страниц "Минимум в ограниченной области", но как чисто написано! С геометрической лексикой, сопровождающей выкладки.

P.S. А террористы-алгебраисты... затрепали

Спасибо за наводку. С доводами согласен.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 04 Май, 2011 17:51 

Зарегистрирован: Четверг, 23 Апрель, 2009 18:01
Сообщения: 219
http://www.pretich.narod.ru/Zemlia/mate ... or_ch.html
Математика для «чайников» - иллюстрированное пособие для желающих быстро преодолеть начальные трудности изучения математики.

Цитата:
Оглавление пособия, состоящего пока из четырех глав:

1. Авторское предисловие, Глава 1.

ПРОИЗВОДНАЯ И ИНТЕГРАЛ ДЛЯ ЛИНЕЙНЫХ ФУНКЦИЙ (быстрое начало)

2. Глава 2.

ПРОИЗВОДНЫЕ И ИНТЕГРАЛЫ ФУНКЦИЙ ОБЩЕГО ВИДА

3. Глава 3.

ЭЛЕМЕНТАРНОЕ ВВЕДЕНИЕ В МЕТОД СТРУКТУРНЫХ СХЕМ


4. Глава 4.

ТЕХНИКА ДИФФЕРЕНЦИРОВАНИЯ И ИНТЕГРИРОВАНИЯ

5. МСС_проспект добавление, не входящее в пособие, но описывающее иным путем материал главы 3.


►«О проблемах вузовской математики» - иллюстрированные лекции полемического характера (учебное пособие "Математика для чайников" является реализацией заложенных в них идей).

Цитата:
Открыл случайно Калиткина "Численные методы"

Ожидал увидеть превосходное изложение, но встретил лишь неперевариваемый набор формализированной информации.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 05 Май, 2011 09:44 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 8781
Откуда: Россия, Орёл
Ну, я не имел в виду изложение для новичков-нематематиков.
Имелось в виду точное изложение по существу, что происходит. В противовес игре с матрицами.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 05 Май, 2011 09:56 

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 7616
Откуда: Троицк, Москва
Александр Шостак писал(а):
Цитата:
Открыл случайно Калиткина "Численные методы"
Ожидал увидеть превосходное изложение, но встретил лишь неперевариваемый набор формализированной информации.
У Калиткина как раз довольно неформально изложено.
Но на языке формул :)


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 16 Июнь, 2011 09:49 

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

Петров Ю.П., Сизиков В.С. Корректные, некорректные и промежуточные задачи с приложениями: Учебное пособие. - СПб.:Политехника, 2003.
Понятия корректных и некорректных задач, а также задач, промежуточных между корректными и некорректными. Примеры подобных математических задач: системы линейных алгебраических уравнений, системы обыкновенных дифференциальных уравнений, дифференциальные уравнения в частных производных, интегральные уравнения, а также примеры прикладных задач из теории управления, обработки изображений и томографии.
Показано, что преобразования уравнений, эквивалентные в классическом смысле, могут переводить корректное уравнение в некорректное и наоборот. Введено понятие преобразований, эквивалентных в расширенном смысле.

Петров Ю.П., Петров Л.Ю. Как получать надёжные решения систем уравнений. - СПб.:Питер, 2008.
Изложены основы проверки и восстановления корректности математического решения для систем линейных уравнений (предыдущие книги в осн. касались дифуров).
Приведены примеры аварий и катастроф из-за пренебрежения корректностью, негарантоспособного поведения некоторых НТ-организаций и производителей за рубежом.

Страничка Петрова: http://www.apmath.spbu.ru/ru/staff/petrov/

Из книги "Новые главы...":
Вложение:
Комментарий к файлу: Об ошибках в пакетах численной и символьной математики и способах их преодоления.
Петров-НовГлТУиКВ-извл(Гл3).djvu [387.42 КБ]
Скачиваний: 189

Ещё из одной книги Петрова:
Вложение:
Комментарий к файлу: Основные результаты Математики-2 на момент написания. Приложения к СЛАУ. Влияние корректности решений на гарантоспособность оргтехсистем, примеры негарантоспособного поведения субъектов пожицикла сложных ОТС.
Петров-КакПолучНадёжнРешСУ-извл(ВД+Огл+Пред+пар1-3,5,23-26+Лит).djvu [320.77 КБ]
Скачиваний: 147
Среди негарантоспособных субъектов в первую очередь имеются в виду производители - но также и аффилированные лица и организации, как видно из примеров. Мотив поведения всё тот же, что Фёдор Васильевич указывал - "конкретный банан" потребления/успеха.


Последний раз редактировалось Владислав Жаринов Понедельник, 05 Декабрь, 2011 10:24, всего редактировалось 5 раз(а).

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

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Статья, о которой упоминал в этом сообщении (в конце):
Вложение:


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 15 Июль, 2011 07:14 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Геннадий Тышов писал(а):
...
Скачал, но в середине книги страницы 170 - 196 пустые, без текста.
Вот из 3-го издания (2008 года) взял с запасом в обе стороны:


Вложения:
Новиков-ДискрМатемДляПрогр-извл(с168-197).djvu [222.36 КБ]
Скачиваний: 157


Последний раз редактировалось Владислав Жаринов Суббота, 03 Декабрь, 2011 06:34, всего редактировалось 1 раз.
Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 28 Август, 2011 10:40 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Драконограф писал(а):
Успенский В.А. Апология математики. - М.:Амфора, 2009.
Сборник выдержек из работ разных лет.

Разошёлся "со свистом"... говорят, ещё будет...
Вышел снова:
Успенский В.А. Апология математики. - М.:Амфора, 2011.
Вложение:
Успенский-АполМатем-извл(обл)цв.jpg
Успенский-АполМатем-извл(обл)цв.jpg [ 1.02 МБ | Просмотров: 6210 ]
Датирован этим годом, но копирайт по-прежнему 2009-го. Недавно был в продаже, даже немного дешевле (цена у оптовика - ок. 300 р.).

Вот кое-что из книги:
Вложение:
Сказанное в первой публикации о роли математики, пожалуй, содержит зёрна того, что впоследствии было конкретизировано публикациями ряда отечественных учёных и практиков. Прежде всего у И.Грековой о стадийности познания, И. Бестужева-Лады о роли количественно-формального в целенаправленной деятельности и Ф.И. Перегудова о соотношении информатики и других дисциплин. И наконец, представленного А.Я. Фридландом как последовательный уровневый процесс моделирования/формализации.
Здесь автор рассуждает и о теории множеств - как раз в том смысле, что первоначальные представления Г. Кантора нуждаются в уточнении. Видимо, с этим как-то связаны обсуждавшиеся здесь в разных темах вопросы к теоретико-множественному подходу.
Заключительный абзац интересен сопряжением научного и художественного. Подобно определению Н.К. Рерихом культуры как триединства веры, науки и искусства. М.б. и Успенский как-то включал веру в состав культуры - но в 1967 году по понятным причинам в официальной публикации это найти отражения вряд ли могло. Между прочим, Рерих основывался на древнеиндийской концепции культуры - и в этом смысле интересно, что и Успенский в Индии бывал, о чём пишет. Кстати, в этой концепции элементы триединства охватываются внешним кругом. Обычно его смысл не расшифровывается - но, быть может, следует понимать как естественно-языковой базис человечества.

Вторая публикация сопрягается по отношению к формализации с первой. В частности, тем, что математика не относится строго к естественным наукам (или к гуманитарным - что было бы естественным для "бинариста" по образу мыслей - а преодолевается в тринитарном мышлении). А по логике стадийности математика равно употребима для движения в формализации и естественного, и гуманитарного. Кстати, по той же логике это тем паче относится и к информатике (и это можно понять у Белошапки).
Как следствие - мысль о взаимопроникновении математики и гуманитарного. И вопрос о включении этого как части базовой культуры. И если у Паронджанова этот вопрос решается через эргономизацию математики - то Успенский предлагает... передать преподавание естественного языка (начиная с родного/государственного) математикам. Идея парадоксальна только на "привычный" взгляд. ;) И, IMHO, весьма созвучна формуле "Математика-Информатика-Языки(не словесность)"... :)
    И не так ли естественнее будет преодолевать "нематематичность" культуры учней? Например, показывая "ловушки обыденного языка" (и неточности "обыденного" мышления) на том же примере понимания слова "ложь". И тогда их, возможно, не надо будет и при изучении школьной информатики уберегать до поры от "математических лягушек" ;) - а можно будет постепенно вести через весь процесс приобретения/частичной передачи знаний по Фридланду в достаточно раннем возрасте (когда высок творческий потенциал - и надо поднимать его до второго умотипа)?.. Правда, для этого нужен Учитель...ну и Учебник (хорошо передающий то, что можно и следует передавать знаками) не помешает...
Кстати, Симонович во многом, думаю, подходит для такого сопряжения И с М и Я. :)

Приложенная публикация Колмогорова интересна, в частности, вот чем. Здесь на конференции нет-нет да критиковали его реформу школьной математики - в т.ч. за то, что она опиралась на множества по Кантору. Однако, как можно понять, в 1929 году он разделял необходимость в дальнейшем развитии теории множеств.

Другое приложение для ИТ-сферы м.б. интересно тем, что "догмат натурального ряда" широко используется при доказательстве утверждений, ложащихся в основу информатики. В частности, в этой теме мы с Эдуардом дискутировали насчёт алгоритмической [не]разрешимости. А доказательство, которое я упоминал, насколько помню, построено на том же. И потому, возможно, также требует переосмысления. Правда, это не значит, что возможна "общая алгоритмическая разрешимость" (в духе утверждений Орлова, скажем) - в таком случае будет найдено доказательство, справедливое и при допущении "размытости больших натуральных".

Наверное, много ещё можно извлекать из сказанного Успенским. И может быть, использовать при изучении математики уже "младшими/средними учнями"...

Ещё две выдержки, имеющие, пожалуй, отношение к М-И-Я:
Вложение:
Первая годится, чтобы сформировать "неформальное" отношение к математике у учней (не у всех, наверное). Важно, что показывается происхождение математического из качественного. В силу чего и возникают первичные понятия математики. А также два понимания доказательства - формальное и неформальное. А требование алгоритмической проверяемости свойств при формальном доказательстве выводит из математического на информатическое.
    В этой связи интересно и замечание на с.458 о том, что математика напрасно исключена из числа экспериментальных наук. Что по-видимому, нашло своё подтверждение, скажем, в этой теме. :)
    И также мы видим включение Успенским в культуру веры - что красной нитью проходит через все обсуждения убедительности доказательств, а явно выражено, скажем, здесь:
    В.А. Успенский на с. 435 писал(а):
    Однако считается (мнение это представляет собой не что иное, как акт веры), что система Цермело-Френкеля позволяет формализовать любое неформальное математическое доказательство.
Определение математического языка даётся также очень естественно. Также Успенский вновь возвращается к вопросам представления и передачи знаний в различных культурах (с. 444-448). Интересно, что показана преемственность культуры в Индии - и связана со способом получения/передачи знаний через внутреннее озарение. Это и к тому же вопросу о том, что после кого остаётся, уже обсуждавшемуся здесь. :) Между прочим, и косвенный аргумент в пользу визуализации в математике... только менее эмоциональный, чем у Паронджанова.
В завершающем размышлении аргументация за визуализацию уже прямая. Важно также и требование простоты формальных, абстрактных понятий и утверждений.
    Кстати, доказательство утверждения о ЦД и силуэте здесь тоже м.б. отнесено к разряду "Смотри!"... ;) Текст там фактически выполняет только общекультурную функцию.
Рассуждения о выразительной силе языков разного порядка, IMHO, связаны с тем, что говорится по этому же поводу в /Непейвода, Скопин, 2003/.
Вложение:
Успенский-АполМатем-извл(Публ8).djvu [125.58 КБ]
Скачиваний: 163
В этой работе существенен тезис об использовании линейности и борьбе с нею. Указывается, по сути, что текст - это лиоформа передачи потенциально нелинейного содержания (в смысле определения при обсуждении пространственного аспекта здесь). Здесь можно видеть обоснования необходимости схематизации для профессиональных документов - чтобы не бороться "неявными" способами, описанными Успенским... или так, как это делает гипертекст (см. замечание Ильи здесь). Из аналогичных соображений и было предложено использование синт-силуэтов для представления [макро]структуры документа (см., напр., здесь).
Интересен и подход к анализу текстов. Наверное, это стоит практиковать с учнями в рамках формулы М-И-Я. Как и сравнительное формальное языкознание - на примере прогязыков прежде всего. И здесь в части управляющих структур подспорьем м.б. шампур-визуализация.
    Кстати, у ситуации с самоумалением возможно и иное толкование, чем предлагаемое Успенским в §15. Можно предположить самоумаление в буквальном смысле - путём предпочтения отчества перед именем. В такой трактовке как раз надо исходить из упорядоченности пары имя-отчество в фио-структуре.
Важно наблюдение о принадлежности правил языка к разным уровням иерархической модели смысла в разных языках. А также утверждение о субъективности смысла.


Последний раз редактировалось Владислав Жаринов Воскресенье, 01 Январь, 2012 10:28, всего редактировалось 1 раз.

Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 14 Октябрь, 2011 04:32 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Видимо, переиздание этой книги; в предисловии написано, что подкорректирована под стандарт.
Интересно, что также говорится о примерно 300 исправлениях, внесённых по замечаниям читателей. То ли, чтобы больше был стимул купить ;) - то ли действительно столько ошибок и опечаток. После того, что наблюдалось с рядом книг, вполне можно поверить. :)
Книга этого года, оптовая цена около 100 руб.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Математика систем
СообщениеДобавлено: Пятница, 18 Январь, 2013 11:53 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
В этой лекции:
Вложение:
Арнольд-ЖёсткИМягкМатемМод-кн.djvu [118.71 КБ]
Скачиваний: 88
можно видеть кое-что как по управлению, так и по разработке. Кое-что перекликается с Абросимовым. Интересен вывод насчёт оптимизации... может, это и к программам приложимо?.. Ну и про иерархию управления... :)


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

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


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

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


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

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