OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Понедельник, 09 Декабрь, 2019 07:22

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




Начать новую тему Ответить на тему  [ Сообщений: 106 ]  На страницу Пред.  1, 2, 3, 4, 5, 6  След.
Автор Сообщение
СообщениеДобавлено: Воскресенье, 07 Ноябрь, 2010 04:00 

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

Вложение:
Комментарий к файлу: Гиляревский Р.С. Основы информатики. Курс лекций - М.:Экзамен, 2004.
Гиляревский-ОснИнфор-извл.djvu [768.61 КБ]
Скачиваний: 264
Курс написан с гуманитарных позиций - тем и интересен. Прежде всего, как можно видеть, идёт от научной сферы, личностно-социальной специфики и естественно-языкового представления. Также обращается внимание на отдельность символической и предметной форм представления данных в автоинфорсимах, напр.: "Из требования автоматизации иметь при каждом элементе описания метку при его вводе в машину вовсе не вытекает необходимость выводить аналог этой метки в человекочитаемую форму описания." (с. 109). Информационный поиск даёт понятие о том, какие практические задачи приводят к таким классическим видам алгоритмов, как поиск и сортировка, указывает соображения, приводящие к соответствующим структурам данных, облик языков символического интерфейса (конечно, в качественном смысле - в терминах свёртки Фридланда, проведённой на этой странице).
Целесообразно трактуются задачи информатики как дисциплины: "Информатики же давно поняли, что переработка знаний связана не только и не столько с совершенствованием компьютеров, сколько с организацией самих этих знаний" (с. 165). По-своему вводится понятие "интеллектуальной" (корректнее - интеллектной, исходя из трактовки по /Фридланд А.Я., 2005, п. 8.1, с. 240-241/) инфорсимы; вместе с тем в курсе не проводится отграничения в составе информации знаний от данных, как у Фридланда в пп. 3.4, 3.5. В то же время из рассуждений о "понимании" текстов на ЕЯ автоинфорсимой видно, что автор придерживается такой же трактовки информации.
Любопытен сжатый подход к прогязыкам "сверху донизу" вплоть до физической реализации (правда, программирование, как это ещё часто бывает, считается наукой лишь предположительно - см. с. 221 - но что говорить, когда и дискуссии на данной конференции выявляют немало сторонников такого мнения - зато хоть не отрицается формальная, а не "литературная" природа программного творчества :)).
Гипертекстовые системы описываются, исходя из главной функции гипертекста - нелинейно организовывать связи материала. В плане требований к языкам важно и замечание относительно новых возможностей машинного документа: "...В учебнике или монографии можно не только описать какое-либо явление, но и представить его динамическую модель. Электронную книгу можно не только читать, но и активно работать с ней, добавляя в неё собственные наблюдения, размышления и результатаы экспериментов" (с. 202-203). Понятно, что для обеспечения этого нужен в первую очередь развитый и удобный язык схематизации знаний, визуализирующий инфраструктуру связей материала.
В заключительной лекции среди других вновь выделяется мысль о том, что информатика существует уже длительный исторический период, развиваясь в соответствии с характером информационной деятельности человечества (перекликается с позицией Белошапки в этой статье).

Вложение:
Комментарий к файлу: Дуванов А.А., Рудь А.В., Семенко В.П. Азы программирования. Факультативный курс. Книга для ученика. - Спб.: БХВ-Петербург, 2005.
Дуванов,Рудь,Семенко-АзыПрг-я-извл(ВД+Огл+Гл3+ПУ).djvu [833.92 КБ]
Скачиваний: 361
Систематический курс на базе исполнителей и формальных языков. В Гл.3 последовательно описан механизм трансляции простейших структур данных и построение простейшего компилятора.
При рассмотрении рекурсии указывается, что она позволяет не использовать память исполнителя. Это верно, если иметь в виду только память, используемую сочинителем явно; ведь при рекурсивном вызове процедуры нужно кажый раз сохранять контекст предыдущей копии (что делается неявно как часть команы вызова).

Вложение:
Комментарий к файлу: Рыжиков Ю.И. Информатика. Лекции и практикум. - СПб.:КОРОНА-принт, 2000.
Рыжиков-Информатика-извл(ВД+Огл+Гл1,2,6,7,8,9,10+Лит).djvu [1.01 МБ]
Скачиваний: 400
Интересна тем, что автор попытался очертить практически целесообразный для "продвинутого предметника" языковой базис формализации - в части как инструментально-зависимой (типа языка макропрограммирования, или СУБД, или программирования системы машвёрстки), так и автономной (типа Пролога, когда инструмент реализации, напротив, предоставляет специалисту информатизацию языка или его "предметки" или общераспространённой деятельности, типа полиграфического набора или подготовки иллюстраций) - помимо "языков платформы" (интерфейса приложений, управления заданиями и обслуживания, прогязыков общего назначения). Конечно, конкретный выбор представителей может обсуждаться - но видовой состав, полагаю, близок к оптимальному.

Вложение:
Комментарий к файлу: Михайлов С.Е. 1С-программирование как дважды два. - СПБ.: Тритон, 2005.
Михайлов-1СПргКакДваждыДва-извл(ВД+Огл+Введ).djvu [100.49 КБ]
Скачиваний: 362
С одной стороны, удачно дополняет языковой базис программирования основами русскоязычного объектного ТЯП 1С, с другой - показывает целостный подход к формализации решения задачи, включая как представление знаний (в т.ч. графовое), так и организационно-экономические аспекты. Показательны заголовки многих докэлементов (напр., из Гл.6)...


Последний раз редактировалось Владислав Жаринов Пятница, 12 Ноябрь, 2010 05:56, всего редактировалось 3 раз(а).

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

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Вот ещё статьи из ВМН (Scientific American), входившие в этот сборник и, возможно, представляющие некий интерес:
Вложение:
Комментарий к файлу: Теслер Л.Г. Языки программирования//В мире науки, 1984. (В сб. "Современный компьютер". - М.:Мир, 1986).
Статья о базовых понятиях ЯП с иллюстрацией на примере нескольких распространённых процедурных языков, ФЯ ЛИСП и ДЯ Пролог.

СоврКомп_Теслер-ЯП-извл(СумНечёт).djvu [222.02 КБ]
Скачиваний: 334
В основном идёт сквозной пример с суммированием нечётных элементов в целочисленном массиве. Показательно, что для Пролога дан иной пример на суждения - видимо, было более удобно иллюстрировать с учётом непроцедурности языка. В целом всё-таки о таких "невыполнимых непосредственно" ЯПЗ я бы говорил как о языках не программирования, а предпрограммной формализации (уровень 6 по Фридланду, как показано на этой странице) - не знаю, у кого какие ещё мнения...

Вложение:
Комментарий к файлу: Деннинг П.Дж., Браун Р.Л. Операционные системы//В мире науки, 1984. (В сб. "Современный компьютер". - М.:Мир, 1986).
Статья об основах построения управляющих программ информашин.

СоврКомп_Деннинг,Браун-ОС-ст(ВМН84).djvu [250.42 КБ]
Скачиваний: 310
Здесь интересна иллюстрация контекста процесса и взаимодействия процессов как по разделяемым во время исполнения ресурсам исполнителей, так и по передаче готовых результатов (данных).

Вложение:
Комментарий к файлу: Спектор А.З. Управление процессами//В мире науки, 1984. (В сб. "Современный компьютер". - М.:Мир, 1986).
Статья о принципах организации систем "человек-косавт-объект управления".

СоврКомп_Спектор-УпрПроц-ст(ВМН84).djvu [379.1 КБ]
Скачиваний: 259
Важно, что иллюстрируется структура эргатической системы. Можно видеть, что человек присутствует на верхнем уровне. При этом в процессе применения косавта его может и не быть в контуре (т.н. "безлюдная" технология) - но он обязательно есть в фазе создания (определяя процессы фаз применения и утилизации) и м.б. в фазе утилизации (как в силу сложности собственно утилизирующего труда - особенно если речь идёт о демонтаже матобъектов, так и если необходима творческая работа по повторному использованию материальных частей и/или информатических компонентов в новых системах) - да и в фазе применения может появиться для техобслуживания, переориентации искусственной системы...


Последний раз редактировалось Владислав Жаринов Понедельник, 08 Ноябрь, 2010 07:26, всего редактировалось 2 раз(а).

Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Передовая формализации знаний
СообщениеДобавлено: Понедельник, 08 Ноябрь, 2010 05:53 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Илья Ермаков в viewtopic.php?p=43417#p43417 писал(а):
интересен раздельчик с упоминанием Варшавского и коллективов автоматов.
Пожалуй, об этом подробнее здесь:
Вложение:
Комментарий к файлу: Поспелов Д.А. Наука или фантазия. - М.:Наука, ГРФМЛ, 1982.
В Гл.2 обсуждается формализация знаний о принципиально неопределённой обстановке. Показаны различные математические подходы и языковые средства.

Поспелов-НаукаИлиФантазия-извл(Гл2+Закл+Библ+ПУ+Огл).djvu [1.13 МБ]
Скачиваний: 303
Как раз в этой главе рассматривается моделирование поведения в динамической алгообстановке через автоматы и коллективы автоматов. Также на с.61-63 обсуждается нестрого алгоритмическая формализация - вопрос возникал в связи с метаАРИЗ (я как раз имел в виду, является ли он квазиалгоритмом). Кстати, на Рис. 4 случай Б представляет пример "неподвижной точки оператора", как я это понимаю (о чём говорил в конце этого сообщения).
В принципе можно дать книгу целиком, если интересно (см. оглавление)...

Что же можно сказать об искусственном интеллекте как отрасли информатики? Видимо, его назначение - уточнять средства и методы деятельности искусственных систем в неопределённой обстановке. В этом смысле данная отрасль находится "на передовой" информатики, предлагая информатически строгие модели уточнения инфорсимами текущей обстановки и выработки целесообразного поведения в ней, насколько это возможно. А насколько это возможно? Тут стоит вспомнить инженерную психологию - см. выдержку из одной классической работы:
Вложение:
Комментарий к файлу: Леонтьев А.Н. Автоматизация и человек.//Хрестоматия по инженерной психологии: Учеб. пособие. - М.:Высшая школа, 1991.
Леонтьев-Авт-яИЧеловек-извл(природа_СЧМ).djvu [119.72 КБ]
Скачиваний: 537
Вот тут мы видим напоминание, что человек передаёт машине то, что сам понял в труде (включая, естественно труд умственный, в т.ч. над осознанием себя). В сочетании с Поспеловым лишний раз указывает, что "безлюдные трудовые системы" - не означает, что системы, не предназначенные для человека.
Тут, между прочим, и о природе необходимости в непрерывном профессиональном (и отчасти в общем) образовании - и между прочим, в формировании "способности двигаться вместе с ускоряющимся НТП" важная роль принадлежит общей информатике и конкретно теме ИИ - уже как метода формализованной, целесообразной деятельности самого человека по "самостоятельному освоению новых достижений".
Что имеется в виду? То, что известно социологам и психологам - и даже, помнится, стало входить в вузовский курс психологии и педагогики - что человек, чтобы развиваться самостоятельно, должен усвоить некий "расширенный код", т.е. минимальную систему представления знаний (языковой и понятийный базис), позволяющий наращивать сам себя усилиями дееспособного сознания. Короче, о том же говорилось словами Козьмы Пруткова: "некоторые вещи непонятны нам не потому, что понятия наши слабы, но потому, что они не входят в круг наших понятий". Вот "расширенный код" как раз даёт возможность, как бы ни были "текущие понятия слабы", расширить "круг наших понятий" до "сильного" в некотором смысле (причём часто и этот смысл, и процесс расширения человеком неосознаваемы до поры - просто он поставил себе цель, и вроде бы целенаправленные усилия не дают результата - а потом раз - и оказывается, что он усвоил что-то). Об этом примерно говорил Илья, обсуждая "базовые техники", по-моему.
Притом возможно, что результат имеет смысл даже для другой области - об этом хорошо сказал Марк Твен в своих "Записных книжках" (запись "Когда книга устаёт") - если сочинение произведения не движется, часто стоит отложить его (но не "снимая с повестки дня" цель его написать), заниматься другими делами - и через какое-то время часто оказывается, что можно продолжать дальше - "резервуар знаний" для этого произведения "наполнился" фактами жизни и их осмыслением в контексте цели произведения. Примерно о том же в отношении технического творчества говорил и Грабин (в выдержки, данные на конференции, не вошло, суть - хотя создание искусственной системы есть такой же творческий труд, его нормирование по времени и рациональная организация позволяют с высокой вероятностью ожидать требуемого результата за приемлемое время при самой разнообразной динамике процесса на протяжении этого времени).

В общем, "без труда не вытащишь и рыбку из пруда" - но это с одной стороны - а с другой нужно иметь подходящие орудия труда - в данном контексте языковой базис не просто достаточный, но и удобный (когнитивно-эргономичный). Это я опять к вопросу визуализации знаний :)
Тут другой вопрос возникает - так что же, машины не могут целеполагать и с позиций сегодняшнего дня? Могут - но в пределах части знаний о целеполагании, отчуждённых человеком и заложенных в "интеллектную" автоинфорсиму. Этот комплекс знаний рационален - и потому неполон относительно возможностей человеческого сознания (уместно вспомнить о высказывании Хофштадтера, вошедшем в выдержку из Поспелова выше как эпиграф к Гл.3 - и о цитате из Стругацких там же в Разд. Несколько заключительных слов). Как формируется этот комплекс - удобно видеть на примере ещё одной статьи из ВМН:
Вложение:
Комментарий к файлу: Ленат Д. Искусственный интеллект//В мире науки, 1984. (В сб. "Современный компьютер". - М.:Мир, 1986).
Статья руководителя разработки одной из известных интеллектных инфопрограммных систем Eurisko о принципах формализации знаний о меняющейся предметной области и реализации их применения автоинфорсимой.

СоврКомп_Ленат-ИИ-ст(ВМН84).djvu [295.26 КБ]
Скачиваний: 256
Здесь мы видим также целостный подход к решаемой проблеме. У меня вообще есть такое ощущение на уровне гипотезы, что формализовать информатически можно только отдельно взятую целостно поставленную задачу.
Машина может, опираясь на ёмкую память и соответствующие комплексы алгоритмов, ставить цели для достижения - и результаты будут зависеть от глубины памяти и детерминироваться свойствами этих алгоритмов (как о том пишет Поспелов в Гл.2). Кстати, показательно и замечание о редукции поведения по принципу наименьшего взаимодействия как искусственных, так и естественных коллективов - не в этом ли житейская правда и "голливудских историй", и порой реальных событий, в которых человек-одиночка или малая спаянная группа "трёх мушкетёров" могут одержать верх над крупными оргсистемами, порой весьма "могущественными", но в которых поведение людей м.б. на уровне "винтиков" и/или "тростников, ветром колеблемых"?.. ;)


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

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9162
Откуда: Россия, Орёл
Драконограф писал(а):
В целом всё-таки о таких "невыполнимых непосредственно" ЯПЗ я бы говорил как о языках не программирования, а предпрограммной формализации


Я обычно говорю о декларативном программировании как о параметризации базового алгоритма - машины.
Т.е. это средство того же порядка, что и применение некоторой библиотеки.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Передовая формализации знаний
СообщениеДобавлено: Понедельник, 08 Ноябрь, 2010 11:47 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9162
Откуда: Россия, Орёл
Драконограф писал(а):
Что же можно сказать об искусственном интеллекте как отрасли информатики? Видимо, его назначение - уточнять средства и методы деятельности искусственных систем в неопределённой обстановке. В этом смысле данная отрасль находится "на передовой" информатики, предлагая информатически строгие модели уточнения инфорсимами текущей обстановки и выработки целесообразного поведения в ней, насколько это возможно.


У меня примерно такое же понимание этой области.


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

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Илья Ермаков в viewtopic.php?p=44019#p44019 писал(а):
"Распределённые объекты" - вообще дурь. Давайте задумаемся: расширение типа, полиморфизм и виртуализация - это ПО СУТИ своей механизмы внутрипрограммные. Способ расширяемо выполнять вызовы, передавать параметры, с сохранением предельной эффективности.
Удалённый вызов - любой - по определению виртуален. Передача сообщения по определению полиморфна. Замена реализации удалённого сервиса вообще прозрачна изначально. Какое ООП, господа? Просто хочется не передавать параметром ID удалённой сущности, а имитировать объектное обращение к ней? Дурь.
Пардон за эмоции :)

Вот интересно, что Вы скажете по поводу "мобильных объектов", которые MS использует в CSLA (видел недавно в одной книжке - уточнённые данные ниже). Там их можно передавать как "по ссылке", так и "по значению", причём в каком-то из случаев (или в обоих?) пересылается код объекта...

Лотка Р. C# и CSLA.NET Framework. Разработка бизнес-объектов. - М.:Вильямс, 2010.
О мобильных объектах в одноимённом пункте на с. 55-64.


Последний раз редактировалось Владислав Жаринов Вторник, 09 Ноябрь, 2010 12:06, всего редактировалось 1 раз.

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

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Илья Ермаков писал(а):
Драконограф писал(а):
В целом всё-таки о таких "невыполнимых непосредственно" ЯПЗ я бы говорил как о языках не программирования, а предпрограммной формализации


Я обычно говорю о декларативном программировании как о параметризации базового алгоритма - машины.
Т.е. это средство того же порядка, что и применение некоторой библиотеки.

И м.б. понята как та же самая "внешняя схема", спецификация сложной программы, "нейтрально" описываемой на процедурном прогязыке?


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

Зарегистрирован: Вторник, 30 Июнь, 2009 14:58
Сообщения: 1549
Турский - Методология программирования
http://gen.lib.rus.ec/search?req=%D0%A2%D1%83%D1%80%D1%81%D0%BA%D0%B8%D0%B9+%D0%9C%D0%B5%D1%82%D0%BE%D0%B4%D0%BE%D0%BB%D0%BE%D0%B3%D0%B8%D1%8F+%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F&nametype=orig
Цитата:
Профессор Турский в течение ряда лет был одним из руководителей этой группы.
Состав Рабочей группы слишком велик, чтобы приводить его полностью; достаточно
упомянуть имена Р. Берсталла, П. Бринк-Хассена, Н. Вирта, Д. Гриса, У. Дала, Э. Дейкстры,
П. Наура, Д. Парнаса и Ч. Хоара, чтобы понять, что в эту группу входят ученые, которые
в значительной степени определяют научное содержание современног опрограммирования...
А. П. Ершов


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

Зарегистрирован: Суббота, 07 Март, 2009 15:39
Сообщения: 3124
Откуда: Астрахань
Спасибо! Очень хорошая книжка!


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

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9162
Откуда: Россия, Орёл
Драконограф писал(а):
Вот интересно, что Вы скажете по поводу "мобильных объектов", которые MS использует в CSLA (видел недавно в одной книжке - уточнённые данные ниже). Там их можно передавать как "по ссылке", так и "по значению", причём в каком-то из случаев (или в обоих?) пересылается код объекта...


Вы знаете, технических механизмов можно придумать очень много - и самых наизощрённейших. Тут удивить системщиков чем-то новым, что там придумала МС - трудно.
Вопрос в том, какой класс реальных проблем этим решается - и решается ли он самым экономичным путём.
Один из косвенных критериев экономичности - трудозатраты на воспроизведение применяемого средства своими силами не превышают... для "разностороннего" средства - 0.5 чел*год, для отдельного механизма 1,5 чел*мес. Если больше - то лично я связывать проект с таким средством не стану.


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

Зарегистрирован: Суббота, 07 Март, 2009 15:39
Сообщения: 3124
Откуда: Астрахань
Илья Ермаков писал(а):
Драконограф писал(а):
Вот интересно, что Вы скажете по поводу "мобильных объектов", которые MS использует в CSLA (видел недавно в одной книжке - уточнённые данные ниже). Там их можно передавать как "по ссылке", так и "по значению", причём в каком-то из случаев (или в обоих?) пересылается код объекта...


Вы знаете, технических механизмов можно придумать очень много - и самых наизощрённейших. Тут удивить системщиков чем-то новым, что там придумала МС - трудно.
Вопрос в том, какой класс реальных проблем этим решается - и решается ли он самым экономичным путём.
Один из косвенных критериев экономичности - трудозатраты на воспроизведение применяемого средства своими силами не превышают... для "разностороннего" средства - 0.5 чел*год, для отдельного механизма 1,5 чел*мес. Если больше - то лично я связывать проект с таким средством не стану.

А данные показатели - они опытным путем получены?


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

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9162
Откуда: Россия, Орёл
Это лично мои внутренние "пороги", когда я принимаю менеджерское решение, что применять.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 10 Ноябрь, 2010 05:57 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Вот ещё о новых работах:

Алгазинов Э.К., Сирота А.А. Анализ и компьютерное моделирование информационных процессов и систем. - М.:Диалог-МИФИ, 2009.
Методы системного анализа, графязыки концептуального и информационного моделирования, математические и А-схемы сложных динамических систем, гибридные автоматы (с аналоговыми частными траекториями и дискретной сменой траектории), технология имитомоделирования, планирование и техника эксперимента, примеры моделирования (случайные процессы и поля, каналы передачи данных, СМО, РЭБ).
Даётся общий подход к описанию искусственных систем как агрегатных схем. Для имитационного моделирования - общие принципы, проведение в MATLAB+Simulink+Stateflow, обзор других средств.
Существенно, что вводится язык описания архитектуры исполнителей, продолжающий СТО-направление, упомянутое
в этом пункте.

Винокуров Н.А., Ворожцов А.В. Теория и практика программирования. - в 2-х кн. - М.:Физматкнига, 2008.
Сквозной систематический курс с обсуждением общетеоретических вопросов (датаматика, алгоритмика, формальные исполнители), основных парадигм программирования, их математических основ и языковых средств. Как основной прогязык используется Си. Упор делается на понятиях "интерфейс", "библиотека", "повторное использование кода", "виртуализация", абстрагировании и формализации.
    Книга 1: Исполнители и вычисления (алгоритмы, языки и метаязыки, машины Тьюринга и Маркова, распознавание языков абстрактными исполнителями и др.). Доп. темы (теорема Гёделя, функциональное прог-е на примере Лисп, продукционное прг-е на примере Haskell, виртуализация и др.).
    Книга 2: Прогязык Си (основы, работа в компиляторе, методы прг-я). Доп. темы (структуры данных и алгоритмы, проектирование надёжного ПО).
Возможно, представляет интерес именно как попытка дать углублённый (в каких-то отношениях) и в то же время сжатый курс програмирования. Также прослеживается подход на базе языков.

Также выдержка из любопытного учебника:
Вложение:
Комментарий к файлу: Ерёмин Е.А. Популярные лекции по устройству компьютера. - СПб.:БХВ-Петербург, 2003.
Как основной язык программирования примеров используется Паскаль. Диск содержит, кроме примеров, также простой демокомпилятор КомПас разработки автора.
Том 1 машобраза из 2-х.

Еремин-ПопЛекцииОбУстрКомп-извл1(ВД+Огл+Введ+Гл1-3).djvu [1.27 МБ]
Скачиваний: 348

Вложение:
Комментарий к файлу: Том 2 машобраза из 2-х.
Образ основного текста разбит на части, т.к текущее ограничение объёма вложения 2МБ.

Еремин-ПопЛекцииОбУстрКомп-извл2(Гл7-8+Прил+Лит+ПУ).djvu [1.25 МБ]
Скачиваний: 286

Вложение:
Комментарий к файлу: Отдельные развороты в сером для воспроизведения иллюстраций.
Еремин-ПопЛекцииОбУстрКомп-извл(илл_сер).djvu [273.53 КБ]
Скачиваний: 249
Даёт практический подход к архитектуре косавтов без излишних упрощений.
В Гл.1 формулируются основные принципы системного обучения, приложимые, конечно, не только к изучению инфортехники. В частности: "В идеале понимание принципов раюоты компьютера должно приводить к полной ненужности "рецептов": используя свои знания и опыт, человек сам приобретает способность формулировать для себя такие "рецепты"." (с.17).
Эксперимент 2.5.4 - конечно, из разряда "негарантоспособного программирования" :), но интересно как иллюстрация самомодификации программ.
Эксперимент 3.6.2 показывает "в малом", как оцениваются временные характеристики работы оборудования (в т.ч. для учёта в программах РВ).
На с.182 в примечании лишний раз напоминается, что деньги - эквивалент труда, и неоплаченный ими труд совершенно необязательно даёт результат худший, чем при денежной оплате; финансовый механизм - основной, но не единственный в экономике - тем более, когда социально-психологические условия порождают перманентное "пузыряние"...
Иллюстрации к моделированию дают пример "когнитивного стиля"... как и модельные разработки автора.


Кстати, программы из книги, наверное, можно рассматривать и как материал для "рефакторинга на доказательность и гарантоспособность"... в частности, любопытно, как на Обероне реализовать функции, представленные ассемблерными вставками.

А вот диска у меня нет... м.б. у кого-то найдётся?


Последний раз редактировалось Владислав Жаринов Вторник, 24 Январь, 2012 18:59, всего редактировалось 2 раз(а).

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

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Кое-что о ЛИСПе
СообщениеДобавлено: Четверг, 18 Ноябрь, 2010 05:20 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Не новая, но возможно интересная работа:
Вложение:
Комментарий к файлу: Основы программирования на диалекте R-Лисп, реализации языка.
Крюков_и_др-Прг-еНаЯзRЛисп.djvu [1.29 МБ]
Скачиваний: 257
Опять-таки целостный подход по принципу "большой тройки" МФЗ, введённой в этом подпункте, т.е. включающий как стандарт языка, так и применение (начиная с базовых алгоритмов, подобно Вирту), и принципы реализации. Выбран путь целостного изложения, аналогичный предложенному в этом сообщении - использовать язык для реализации языка/семейства ЯПЗ (правда, в данном случае - только самого ЛИСПа). Можно рассматривать как "эквивалент Свердлова для ЛИСПа" :)


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

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Вложение:
Комментарий к файлу: Герасименко В.А. Защита информации в АСОД. - М.:Энергоатомиздат, 1994. - Кн.1.
Гл.3 монографии содержит принципы системотехники и их приложение к инфорсимам, как это понималось на момент написания книги.

Герасименко-ЗИ_в_АСОД-извл(Гл3).djvu [767.25 КБ]
Скачиваний: 317
Возможно, любопытна попытка методологически определить структурное программирование. Возможно, упор на нечёткую логику и нестрогую математику сегодня не столь актуален в связи с теорией проверки моделей; равно и методы "мозгового штурма" уже занимают всего лишь место в ряду с современной ТРИЗ, как она определена в этой работе. Ряд базовых положений монографии не устарел и имеет значение для формализации знаний в современных условиях. Вероятностно-автоматное моделирование, очевидно, нашло своё развитие в switch-технологии и в гибридно-автоматном подходе (см. работу Алгазинова и Сироты, упомянутую в этом сообщении). Целостная и формальная структуризация систем приводит, допустим, к А-схемному моделированию. Наверное, как введение для начинающих в эти источники м.б. полезно, поскольку изложено кратко и вполне целостно.


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

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Интересная книга, вроде здесь не видел:

http://www.libkruz.com/books/9500.html
Мозговой М.В. Алгоритмы, языки, автоматы, компиляторы. - СПб.:Наука и техника, 2006.

Тоже на тему автоматного программирования, с разбором математики и примерами на реализацию языков. Рассматривается приложение для построения автоматных графов с возможностями автоматизации перестроения под разные автоматы (недетерминированный-детерминированный); наверно, м.б. интересно для учебных целей.
В Гл.11 обсуждается по сути верифицируемость информоделей в понятиях, какие существовали до метода проверки модели. Наверное, характерно, что анализируемые тексты записаны на Си-диез, а обсуждение собственно информатической модели заканчивается утверждением (с. 293): "Впрочем, если приведённую программу рассматривать не как абстрактный алгоритм (?), а как реальную программу на C#, имеющую дело с ограниченными переменными, результат работы предсказать как раз несложно; всё закончится переполнением <переменной> num." (ср. с Ю.Г. Карповым - там тоже уточняется, что области значений величин д.б. ограничены - в интересах предотвращения "взрыва состояний" - только выводы предлагается делать не "предсказанием", а расчётом). Ну а дальше уже начинается изложение т. зр. на "Возможности вычислительных машин и человеческий разум", альтернативной Фридланду (и где-то Вейценбауму). При этом довольно интересно, наверное, описание отличий между математическим и информатическим моделированием (и соответствующими формализмами). Однако более общие утверждения, по-моему, справедливы лишь в отвлечении от цели системы (что и происходит у Мозгового) - да, "нечто довольно простое м.б. устроено запредельно сложно" и вести себя непредсказуемо, но для интеллекта это анализируется всегда относительно цели. Была у Уолфрэма цель изучать клеточные автоматы - он и создал в числе прочих автоматы, характеризующиеся недетерминированным поведением - но значит ли это, что он создал искусственный интеллект? Впрочем, Мозговой этого и не утверждает - просто указывает на утверждение Черча-Тьюринга. Возможно, интеллект-система - это не та, чьё поведение невозможно предсказать по формулам, а только имитационным путём, а та, которая имеет цель функционирования (вполне возможно, скрытую от любого наблюдателя), на достижение которой это функционирование направлено при любых обстоятельствах. При этом в принципиально неопределённой обстановке цель интелсимы динамична, изменяема - вспомним какую-нибудь ситуацию, когда "в жизни появляется место для подвига" - разные люди поведут себя по-разному...
Модель Эверетта где-то о том же, что и обсуждаемая Карповым структура Крипке - о смене алгообстановок при исполнении - тут "миры", там "поведения".

Вложение:
Комментарий к файлу: Журавлёв А.П. Диалог с компьютером. - М.:Молодая гвардия, 1987.
Популярное изложение некоторых аспектов матемлингвистики.

Журавлёв-Диалог_с_Комп-кн.djvu [1.68 МБ]
Скачиваний: 427
Указывается на ограниченность воспроизведения интеллекта искусственными системами аналогично т. зр. Фридланда (в конце п. Вот такие пироги).
Интересно описание поисков представления семпространства на с.46...56. При этом видим, как от геометрических представлений Осгуда (в терминах длины-ширины-высоты) перешли к топологическим Павлюка (на графах классификации); при этом строгий формализм отнюдь не потерял в наглядности.
Применённые в Гл. Синтаксис любви для визуализации логических структур ЕЯ-предложений диаграммы визуализации правил трансформации в чём-то сходны с диаграммами Венна. Любопытна история их создания (в начале п. Синтаксический символизм) - опять показывает наглядно-материальную, конструктивную природу плодотворного творчества "на формальные темы", утверждаемую и в /Акимов О.Е., 2003, с. 335...338, 344...345/.


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

Зарегистрирован: Пятница, 24 Апрель, 2009 16:28
Сообщения: 531
Откуда: Москва
Драконограф писал(а):
Интересная книга, вроде здесь не видел:

http://www.libkruz.com/books/9500.html
Мозговой М.В. Алгоритмы, языки, автоматы, компиляторы. - СПб.:Наука и техника, 2006.

Там не хватает стр. 60, 61. Если кто найдет - дайте знать.


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

Зарегистрирован: Суббота, 07 Март, 2009 15:39
Сообщения: 3124
Откуда: Астрахань
Peter Almazov писал(а):
Драконограф писал(а):
Интересная книга, вроде здесь не видел:

http://www.libkruz.com/books/9500.html
Мозговой М.В. Алгоритмы, языки, автоматы, компиляторы. - СПб.:Наука и техника, 2006.

Там не хватает стр. 60, 61. Если кто найдет - дайте знать.

Книжка действительно хорошая. Стр. 60-61 - там начинается глава "Детерминизация недетерминированного конечного автоматата (теория)" - могу отсканить и выложить скан. А в файнридере сами уж распознаете и в пдф переведете.


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

Зарегистрирован: Пятница, 24 Апрель, 2009 16:28
Сообщения: 531
Откуда: Москва
Ждём!


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

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


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

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


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

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