OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Вторник, 23 Октябрь, 2018 13:11

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




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

Зарегистрирован: Суббота, 07 Март, 2009 15:39
Сообщения: 2846
Откуда: Астрахань
Вот скан.
Мозговой - 4 страницы в формате jpg, Классика0программирования - вордовский файл.


Вложения:
Комментарий к файлу: Скан тех же страниц - формат jpg
мозговой.rar [815.54 КБ]
Скачиваний: 525
Классика программирования.rar [15.88 КБ]
Скачиваний: 470


Последний раз редактировалось Валерий Лаптев Вторник, 01 Февраль, 2011 20:44, всего редактировалось 1 раз.
Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 04 Январь, 2011 11:45 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Был такой учебник:
Вложение:
Комментарий к файлу: Книга о принципах проектирования интерфейсной части инфопрограммных изделий. В примерах используется реализация на Паскале в виде документированных библиотек.
Коутс,Влейминк-ИнтерфЧелКомп-кн.djvu [4.24 МБ]
Скачиваний: 312
Заменил на полный образ книги. Может служить примером изложения программирования ввода-вывода, альтернативного справкам и докусам в смысле, обсуждавшемся в этом сообщении.


Последний раз редактировалось Владислав Жаринов Суббота, 12 Февраль, 2011 08:14, всего редактировалось 1 раз.

Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Информатизация творчества :)
СообщениеДобавлено: Воскресенье, 09 Январь, 2011 17:39 

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


Последний раз редактировалось Владислав Жаринов Суббота, 05 Февраль, 2011 07:11, всего редактировалось 1 раз.

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

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

Сначала выдержка о схемной визуализации матобъектов электрического принципа действия по ЕСКД:
Вложение:
Комментарий к файлу: Эволюция УГО ЭРЭ и её инженерно-психологические основания. Принцип схемной визуализации электрорадиосистем, способы организации схем сложных систем в комплексные знаковые модели.
Каминский-ТехЧтСхЭлУст-извл(стд_эл_схем).djvu [229.34 КБ]
Скачиваний: 255
Здесь существенно о совмещённой/разнесённой организации - не зависит от предметки, а связано только с подходом к организации знаковых моделей сложных систем, в т.ч. полученных декомпозицией. А также о принципах расширения ЕСКД-алфавита сочинителями.
Ещё одна выдержка из той же книги:
Вложение:
Комментарий к файлу: Принципы составления и чтения электросхем по ЕСКД и на основе практики работы с электроустановками и сетями.
Каминский-ТехЧтСхЭлУст-извл(Гл3-5).djvu [1.95 МБ]
Скачиваний: 283
Ну и о том же в электронике:
Вложение:
Комментарий к файлу: УГО ЭРЭ, их эволюция. Основания выделения различных типов схем ЕСКД. Основы составления и чтения электронных схем.
Фролов-ЯзРСх-извл(обозн_сост_чт).djvu [275.19 КБ]
Скачиваний: 213

Далее публикации о структуризации объёма конкретной "предметки" и составлении классификации, отражающей её результаты:
Вложение:
Комментарий к файлу: Подходы к классификации и кодированию трубопроводной арматуры.
Статьи-СистКлассИКодирАрматуры-подб(АС).djvu [807.8 КБ]
Скачиваний: 223
Тут видим и разные мнения "предметников" о своих сущностях - и также разные формы представления знаний о структуре, подходы к структуризации - что непосредственно связано с информатизацией любой "предметки". Видно, что разные авторы по-разному предлагают учитывать свойства сущностей при структуризации.


Последний раз редактировалось Владислав Жаринов Вторник, 15 Март, 2011 18:42, всего редактировалось 2 раз(а).

Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 12 Январь, 2011 07:38 
Аватара пользователя

Зарегистрирован: Суббота, 27 Февраль, 2010 23:34
Сообщения: 746
Драконограф писал(а):
Это, в частности, к вопросу, затронутому Герасименко (см. на с. 83 выдержки, вложенной в это сообщение) - о том, что в познании структуризация предшествует формализации.
... а яйцо появилось раньше курицы. :) Кто-то под формализацию строит/подгоняет структуры, кто-то над структурами строит формализацию.


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

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
alexus писал(а):
Драконограф писал(а):
Это, в частности, к вопросу, затронутому Герасименко (см. на с. 83 выдержки, вложенной в это сообщение) - о том, что в познании структуризация предшествует формализации.
... а яйцо появилось раньше курицы. :) Кто-то под формализацию строит/подгоняет структуры, кто-то над структурами строит формализацию.
Ну, там имеется в виду конкретная стратегия - системная, "сверху вниз"... а так, конечно, "производство знаний" тоже неформально и возможны разные реализации...


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

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

Применительно к Оберону вопрос информатизации затрагивается Виртом в этой выдержке из "Алгоритмов и структур данных...":
Вложение:
Комментарий к файлу: Последовательности в Обероне и их применение для представления взаимодействия процессов.
Вирт-АиСД_Оберон-извл(п1_7).djvu [126.43 КБ]
Скачиваний: 295
Здесь (в п. 1.7.3) приводится реализация одного из возможных механизмов взаимодействия процессов.


Последний раз редактировалось Владислав Жаринов Среда, 04 Январь, 2012 17:05, всего редактировалось 1 раз.

Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 16 Январь, 2011 14:31 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Кое-что из специальной информатики :)
Для начала из оперативно-розыскного:
Россинская Е.Р., Усов А.И. Судебная компьютерно-техническая экспертиза. – М.: Право и закон, 2001.
Характеристика информашин как объектов СКТЭ. Основные методы и средства анализа.
Основные цели - выявление в нерабочих машинах и устройствах признаков совершения при работе определённых действий, использования тех или иных данных.

Кэрриэ Б. Криминалистический анализ файловых систем. - СПб.: Питер, 2007.
Организация файловых систем, информативные признаки. Описания актуальных ФС, методики их исследования.

И из защитного:
Вложение:
Комментарий к файлу: Пример настройки защищенного от просмотра IP-соединения.
Бардиян-КонфидТрафIP-ст(UpgS12-04).djvu [299.59 КБ]
Скачиваний: 233


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 16 Январь, 2011 14:33 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Имеется в виду, как обычно, структурная компонента в смысле классификации в этом пункте.

В своё время были разработаны формы описания как структурограмм - прежде всего табличного вида:
Вложение:
Комментарий к файлу: Основные формы табличной организации прогтекста.
Калянов-CASE-извл(табл_виз_структ).djvu [72.42 КБ]
Скачиваний: 264
Таблицы решений, как можно судить, используются и сегодня в разработке систем логического управления (прежде всего разомкнутых - "командоаппаратного" типа). Их недостатки, как известно, проявляются при разреженности множества допустимых комбинаций условий.
Примеры применения диаграмм FLOW и Насси-Шнейдермана можно найти у Шварце и Хольцгрефе здесь; там же указаны основные замечания по данной форме. Видно, что и в данных определениях недостатки синтаксиса не преодолены.


Последний раз редактировалось Владислав Жаринов Воскресенье, 16 Январь, 2011 18:29, всего редактировалось 1 раз.

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

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Во многих случаях полезны древовидные структуры, отражающие множества значений булевых функций. В частности, они применимы для увеличения производительности методов формальной верификации:
Вложение:
Комментарий к файлу: Теория и приложения бинарных решающих диаграмм к методу проверки моделей.
Карпов-ModelChecking-извл(Гл9).djvu [734.89 КБ]
Скачиваний: 213
БРД также упоминаются в связи с автоматным программированием (см. п. 4.4.2 этой работы).


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

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


Полезная книга...
http://narod.ru/disk/3592432001/Kerria_ ... .djvu.html


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

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Илья Ермаков писал(а):
Спасибо! Тем более, что и недешёвая - ~1rur/page :wink: Правда, сегодня уже есть и по ~2 -тот же Эванс... не знаю, настолько ли он ценен :D


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Школьно-профильная информатика
СообщениеДобавлено: Понедельник, 17 Январь, 2011 19:05 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Некоторые пособия разных лет:
Вложение:
Комментарий к файлу: Начала машинной графики.
Александров,Шнейдеров-РисНаЭВМ-кн.djvu [2.81 МБ]
Скачиваний: 218

Вложение:
Комментарий к файлу: Сжатое пособие по программе Каймина. Содержит введение в стандарты нескольких популярных языков, основы алгоритмики, элементы программирования.
Каймин-Информатика-кн.djvu [904.77 КБ]
Скачиваний: 227

Вложение:
Комментарий к файлу: Систематический курс для техникумов. Гл.1-3 содержат авторское раскрытие и исторический обзор информатики, её математические основы, введение в алгоритмику и программирование. Приложения содержат англо-русские словари по ВТ и сетевым технологиям.
Острейковский-Информатика-извл(ВД+Сокр+Пред+Введ+Гл1-3+Закл+Прил1,2).djvu [813.95 КБ]
Скачиваний: 311
В Гл.3, в частности, даются определения алгоритма и визуализации структурных алгоконструкций. Правда, не без явных БП - и на одном из вариантов языка блок-схем - поэтому, например, нужно разбираться, почему один выход изнутри цикла назван так, а другой иначе... :)


Последний раз редактировалось Владислав Жаринов Суббота, 12 Февраль, 2011 08:35, всего редактировалось 1 раз.

Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Школьная информатика
СообщениеДобавлено: Вторник, 01 Февраль, 2011 10:48 

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


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

Зарегистрирован: Пятница, 24 Апрель, 2009 16:28
Сообщения: 525
Откуда: Москва
Валерий Лаптев писал(а):
Вот скан.
Мозговой - 4 страницы в формате jpg, Классика0программирования - вордовский файл.
Спасибо, Валерий!
Вставил недостающие страницы в книгу и добавил текстовый слой.
http://depositfiles.com/files/vyr4qx2s3


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

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Некоторые источники о традиционном и современном документировании данных; характеризуют документ как модель и модель документа.
Вложение:
Комментарий к файлу: Пособие по документационному делу. Содержит исторический обзор и введение в информатизацию документооборота. В основном рассматриваются ОРД.
Пшенко-ДокумОб-извл(ВД+Введ+Гл1,2,4,7+п51,52+Лит+Огл).djvu [1003.81 КБ]
Скачиваний: 243
Первые главы содержат обзор информатики на этапах предыстории в смысле определения из п.1.5 Острейковского (см. выдержку в этом сообщении). Гл.3 посвящена раскрытию требований стандарта к документу (о чём см. книгу Охотникова). Гл. 5,6 в основном посвящены текущему документообороту и архивации в натуральной форме; более интересно для машинной, о чём в статьях далее.

Вложение:
Комментарий к файлу: Выдержка из систематического курса по фотоделу. Обзор показывает развитие фотографии в натуральной форме (на человекочитаемых носителях); также описаны принципы цифровой фотографии (на машиночитаемых носителях).
Редько-ОснФотоПроц-извл(ВД+Биогр+ИстОбзор+Прил+Огл).djvu [615.61 КБ]
Скачиваний: 189
Обзор содержит интересные факты, касающиеся не только технической, но и общественной истории (впрочем, можно ли их особенно разделять? ;)).

Вложение:
Комментарий к файлу: Пособие по ГОСТ Р 6.30-2003.
Охотников-НовТребОформОРД-кн.djvu [594.91 КБ]
Скачиваний: 216
Фактически комментарий к стандарту.

Вложение:
Комментарий к файлу: Выдержка содержит пример комплексного определения номенклатуры массивов данных для автоматизированной информатической системы.
Мельников-ЗИвКС-извл(ИнфБазаАСУ).djvu [175.83 КБ]
Скачиваний: 259
Перекликается с принципами, установленными в этой классификации.

Вложение:
Комментарий к файлу: Выдержка включает понятия о характеристиках инфордоков в популярных приложениях автоматизированной вёрстки, основы технологии их подготовки, организации работы.
Глушаков,Кнабе-ОснКомпВерстки-извл.djvu [1.83 МБ]
Скачиваний: 212
Независимые от конкретных приложений аспекты подготовки комплексных инфордоков.

Вложение:
Комментарий к файлу: Некоторые вопросы подготовки текстовых документов на русском языке. Часть данных соответствует моменту написания.
Катаев-ТекстПроцЛексикон-извл.djvu [301.42 КБ]
Скачиваний: 218
Интересны вопросы русификации. Вероятно, м.б. любопытным ещё кое-что, не вошедшее в выдержку.

Вложение:
Комментарий к файлу: Обзор стандарта языка мультимедийной разметки инфордоков VRML.
Ахромов-WebДизИFlash-извл(ВД+Введ+VRML+Лит+Огл).djvu [406.68 КБ]
Скачиваний: 209
Описаны смысл и формат основных конструкций языка.

И статьи об организации и ведении машинных документов в реальном секторе:

Вложение:
Комментарий к файлу: Пример реализации требований ЕСКД для КТД, представленной в машинной форме. В основу положены стандартные извещения как основания для изменения текущего состояния (состава, содержания) документной базы организации. Обосновано (как правовыми, так и техническими условиями) сохранение, наряду с предметным документооборотом, также символического (в твёрдых копиях).
Бобов-ЭДвTechnologiCS-ст(CADMas3_06).djvu [455.68 КБ]
Скачиваний: 200
Как следствие существования твёрдых копий, необходима продуманная автоматизация их выдачи. Для моделей деятельности чертёжное качество необязательно; в связи с этим встают вопросы выдачи копий на устройства меньшего формата, обсуждаемые, в частности, в этом сообщении и здесь в ОЯ-правилах ДВ, ДГ, ДЖ.

Вложение:
Комментарий к файлу: Концепция автоматизации документационного обеспечения техпроцесса создания автоматизированных систем конкретным предприятием-разработчиком. Обоснованы принцип единого источника и БД-центричное построение системы автоматизации работы с документами. Показано применение конкретного набора форматов инфордоков и инструментария автоматизации.
Бескровных-АвтПодгТД-ст(itech12_07).djvu [222.56 КБ]
Скачиваний: 219
Имеет некоторые пересечения с концепцией структурного редактора.

Вложение:
Комментарий к файлу: Подход к информатизации визирования документов на основе ЭЦП, учитывающий существование информодели сущностей предметной области (здесь - изделий машиностроения) как источника данных для документов. Пример визирования КТД в традиционном документообороте (бумажном), независимом от работы над моделью, а также совместного визирования моделей и документов в машинной форме с применением ЭЦП.
Пиликов-ЭДиЭЦПвКТП-ст(CADMas3_06).djvu [166.79 КБ]
Скачиваний: 223
Существенно, что в рассмотрение включена модель как "единый источник" для документов, содержащих модельные данные. Разумеется, подход возможен не только для материальных изделий.

Так или иначе всё это к вопросу о структурировании информационных фондов, затронутому в докладе об инженерии ПО Ильи Ермакова (см. Ч.II, п.6).


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Один раритетный инфопрог :)
СообщениеДобавлено: Среда, 11 Май, 2011 12:52 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Когда-то, ещё до Маткадов наверное, появилась и была в ходу какое-то время эта программа:
Вложение:
Комментарий к файлу: Дистрибутив программы.
Eureka.7z [116.42 КБ]
Скачиваний: 218
Вложение:
Комментарий к файлу: Статья-руководство по некоторым видам расчётов в программе.
Очков-РасскОТрёхЭ(БыстроеНачалоEureka)-ст(ИнфО).djvu [102.84 КБ]
Скачиваний: 242
Может, и не стоило вспоминать... но здесь, пожалуй, видны те же идеи, что легли в основу "текста как интерфейса" - а статья м.б. примером рассказа о том, как эти идеи реализовать в конкретных документах.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Общая информатика для учней
СообщениеДобавлено: Четверг, 11 Август, 2011 12:24 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Недавно появился учебник:
Ляхович В.Ф. и др. Информатика. — Ростов-н/Д.:Феникс, 2007/08/10.
Основное внимание в книге уделено формализации и моделированию. Основной упор делается на алгоритмизацию; при этом в основу кладутся методики Ляховича, описанные здесь. Используются и оригинальные примеры... по-моему, без изменений по сравнению с журнальной публикацией 1990 г.

Вот наконец неоднократно упоминаемый учебник Симоновича:
Вложение:
Комментарий к файлу: Ключевые темы курса.
Симонович-ОбщИнфор-извл(ВД+Огл+Введ+Тема1-10)цв.djvu [6.25 МБ]
Скачиваний: 195
Вложение:
Комментарий к файлу: Обложка.
Симонович-ОбщИнфор-обл_цв.djvu [544.63 КБ]
Скачиваний: 213
Здесь всё хорошо, включая когнитивный стиль как иллюстраций, так и текста. Хотя кое-что, видимо, требует уточнения.
Важен подход к объектности — как принципу прежде всего качественного моделирования «предметки». Из которого совершенно необязательно вытекает «экстремистское» информатическое их приложение, как в ООП. Кстати, можно обнаружить, пожалуй, точки соприкосновения и с Эвансом...
Субъектно-объектная связка позволяет также естественно ввести начала социальной информатики. И обойтись без целых отдельных учебников по этой тематике — где в основном рассматриваются следствия машинной информатизации — а сжато и ясно показать причины и дать рекомендации, полезные не только школьникам (прежде всего в Теме 1).
    На примере соотношения с Фридландом сказанное обсуждалось в этом сообщении.
Это и кибернетический подход делает разумным - в смысле сказанного в этом посте об уточнении предмета кибернетики (которое прослеживается, кстати, уже в поздних работах и высказываниях Винера).

Прослеживается также принцип, что информатика — наука о форме (и формальном анализе), введённый в своё время у Белошапки. Отсюда совершенно закономерно изложение общего взгляда на информацию в науке в начале книги — и здесь интересна авторская критика (в основном в §13). А также рассмотрение представлений данных по каналам человеческого восприятия с переходом к их машинным представлениям (в Темах 7...9). И наглядное объяснение связанных с этим преобразований.

Для студентов по сущности и измерению информации, конечно, есть смысл ознакомиться с т. зр. Фридланда (п. 8.1), Присяжнюка и Сазонова, Герасименко (п. 9.3) — но они достаточно сложны. А для школьников (которым и адресована книга), наверное, достаточно сказанного. Хотя подходы А. и Т. Шилейко (беседа 2) и Фурдуева вполне популярны и могут служить расширением материала книги по этому вопросу.

Наряду со сжатием данных интересно было бы видеть начала сжатия знаний. Уместность этого в базовых информатических «компетенциях» хорошо продемонстрирована, скажем, Рэйлвей Кагеном при составлении «шпаргалки» по техноязыку и классическому шампур-методу здесь.

Принцип двойной адресации, в сущности, имеет в основе независимое от Паронджанова подразделение форм представления данных на «знаковую» и «предметную». В то же время определение способов адресации, пожалуй, нужно скорректировать.
    Принимая за основу принципы, изложенные на этой странице, мы должны трактовать "числовую" и "символьную" адресации по Симоновичу не как альтернативы, а как два из многих частных случаев в расширенном пространстве индексации (соответственно: исторически-порядково-числовой и функционально-иерархически-символьный); очевидно, это требует и переработки определений этих способов. У Макаровой (в Гл. 2) ближе к сути - классификация и кодирование сущностей разделены.

Изложение логики с демонстрацией приложений к реальным преобразованиям данных (а не только к схемотехнике) методически интересно. Ибо демонстрирует не один только «паяный» (или «записанный») синтаксис пребразований — «вот, дети, как это делается, что компьютер рассуждает на манер Аристотеля» :)). Но и семантику (что значат данные и операции?) и прагматику (а для чего это делается?), - причём преимущественно на актуальной для адресного возраста «предметке» (работа с «картинками»). И показывает, почему эргономически недостаточно оперировать в человекоориентированных описаниях только «труями» и «фальшами» (о чём говорит и Паронджанов).
    Конечно неплохо было бы также охватить и логики действительного — чтобы показать учню, что интуитивно понятная разница между формально-логическим «миром <сконструированных> высказываний» и реально-мыслительным «миром фактов и мнений» не осталась незамеченной в науке ;) - которая предложила способы формализации. Но для общего представления об этом вполне можно прочитать, скажем, Мичи и Джонстона (как и для понимания необходимости «ставить машинное в человеческие рамки»).

Последующие темы также изложены с общих позиций курса и потому также содержат интересные элементы и ракурсы.


Последний раз редактировалось Владислав Жаринов Четверг, 05 Январь, 2012 09:32, всего редактировалось 2 раз(а).

Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 10 Сентябрь, 2011 12:25 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Драконограф в viewtopic.php?f=57&p=65312#p65312 писал(а):
...был на русском широко известный Форсайт и менее, наверно, известный Марселлус...
Пожалуй, дам выдержку:
Вложение:
Интересно, как может выглядеть реализация задачи из Приложения Б на процедурном языке... том же Обероне. Понятно, что для неё надо сделать и транслятор Пролога... :)


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Книги Ворожцова
СообщениеДобавлено: Четверг, 06 Октябрь, 2011 07:43 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Илья Ермаков в viewtopic.php?f=57&p=53751#p53751 писал(а):
...
Да, за Ворожцова спасибо, интересно.
Полезно "сверять часы" - видеть, что кто-то чувствует те же "развилки" и похожим образом их решает.
...
Его, оказывается, довольно много в Едиториал УРСС... вот здесь.


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

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


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

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


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

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