Введение в теорию программирования. Функциональный подход
Важнейшими математическими формализациями, рассматриваемыми в данном курсе, являются ламбда-исчисление и комбинаторная логика.Еще в 1924 г. М. Шейнфинкель (Moses Schonfinkel) разработал простую (simple) теорию функций, которая фактически являлась исчислением объектов-функций и предвосхитила появление ламбда-исчисления – математической формализации, поддерживающей языки функционального программирования (т.е. программирования в терминах функций).
Затем в 1934 г. А. Черч (Alonso Church) предложил собственно исчисление ламбда-конверсий (или ламбда-исчисление) и применил его для исследования теории множеств. Вклад ученого был фундаментальным, так что теория до сих пор называется ламбда-исчислением и часто именуется в литературе ламбда-исчислением Черча.
Позднее, в 1940 г., Х. Карри (Haskell Curry) создал теорию функций без переменных (иначе называемых комбинаторами), известную в настоящее время как комбинаторная логика. Эта теория является развитием ламбда-исчисления и представляет собой формальный язык, подобный языку функционального программирования.
Вступительная лекция
Классификация языков программирования
Концепция и возможности подхода .NET
Функциональный подход к программированию
Ламбда-исчисление как формализация языка функционального программирования
Теоретические сведения
Комбинаторная логика как формальная система
Теория типов и комбинаторная логика
Задание
Синтаксис языков программирования
Семантика языков программирования
Варианты заданий
Рекурсивные функции и множества
Теоретические сведения
Абстрактные машины и категориальная комбинаторная логика
Категориальная абстрактная машина
Оптимизация вычислений и абстрактные машины
Теоретические сведения
Сущность технологии COM
Прошло около шести месяцев, прежде чем я почувствовал, что понял в СОМ хоть что-либо. В течение этого шестимесячного стартового периода работы с СОМ я мог успешно писать СОМ-программы и почти мог объяснить, почему они работают. Однако у меня не было органического понимания того, почему модель программирования СОМ была тем, чем она была. К счастью, в один из дней, а именно 8 августа 1994 года, примерно через шесть месяцев с момента покупки книги OLE2 изнутри (Inside OLE2), на меня снизошло прозрение, и в одночасье СОМ стал для меня понятен. Это никоим образом не означало, что я понимал каждый интерфейс СОМ и каждую API-функцию. Но я в значительной степени понял главные побудительные мотивы СОМ. А значит, стало ясно, как применить эту модель программирования к ежедневным программистским задачам. Многие разработчики испытали нечто похожее. А так как я пишу это введение три августа спустя, эти разработчики все еще вынуждены пройти сквозь этот шестимесячный период ожидания, прежде чем стать продуктивными членами сообщества СОМ. Я хотел бы надеяться, что моя книга сможет сократить этот период, но обещаний не даю.Практичность
СОМ как улучшенный C++
Интерфейсы
Классы
Объекты
Апартаменты
Подводные камни внутрипроцессной активации
Основы указателей
Эволюция объектов
Электронные издания
Электронное издание значительно дешевле, чем печатное, и изготовление такого издания не связано с расходом трудно возобновимых ресурсов (леса) и загрязнением окружающей среды. Электронные издания зачастую оказываются даже более функциональными. Так, справочное или учебное электронное издание позволяет более динамично построить процесс изучения материала и усилить его мотивацию, что в конечном счете позволяет ускорить процесс восприятия и запоминания информации.Если художественная литература преимущественно распространяется в привычной нам форме типографских изданий, то детские электронные издания уже существенно потеснили книги, так как последние не обладают многими возможностями электронных компьютерных технологий. Постепенно, но неуклонно продолжается наступление электронных изданий в учебной сфере, начиная со школьного обучения и до высшего образования.
Структура и элементы гипертекстовых документов
Последовательность проектирования сайта в пакете Dreamweaver
Обзор паттернов проектирования
Любой паттерн проектирования, используемый при разработке информационных систем, представляет собой формализованное описание часто встречающейся задачи проектирования, удачное решение данной задачи, а также рекомендации по применению этого решения в различных ситуациях. Кроме того, паттерн проектирования обязательно имеет общеупотребимое наименование. Правильно сформулированный паттерн проектирования позволяет, отыскав однажды удачное решение, пользоваться им снова и снова. Следует подчеркнуть, что важным начальным этапом при работе с паттернами является адекватное моделирование рассматриваемой предметной области. Это является необходимым как для получения должным образом формализованной постановки задачи, так и для выбора подходящих паттернов проектирования. В качестве примера монографии, в которой описаны основы построения модели анализа и модели проектирования, можно привести работуАдаптер (Adapter) - GoF
Структуры данных и модели вычислений
Наряду с получением верхних и нижних оценок и оценок в среднем, часто используются так называемые амортизационные оценки.Амортизационный анализ применяется при оценке времени выполнения корректной последовательности, состоящей из однотипных или разнотипных операций с некоторой структурой данных. Если верхнюю оценку времени выполнения одной операции умножить на , получим верхнюю оценку выполнения всех операций. Часто такая оценка бывает сильно завышенной. Иногда длительное время выполнения очередной операции влечет за собой малое время выполнения следующих операций. Более того, такая ситуация может создаваться искусственно, то есть при выполнении очередной операции мы можем готовить почву для более эффективного выполнения следующей. Поэтому возникает задача изучения асимптотического поведения гарантированной оценки для среднего времени выполнения одной операции.
При амортизационном анализе определяется некоторая так называемая учетная (амортизационная) стоимость одной операции, которая может быть как больше, так и меньше реальной стоимости конкретной операции. Но при этом для любой корректной последовательности операций фактическая суммарная длительность всех операций не должна превосходить суммы их учетных стоимостей.
Классы функций, используемые для оценки сложности алгоритмов
Общие сведения о списках
Операции над разделенными множествами
Представление приоритетной очереди с помощью d-кучи
Левосторонние кучи
Ленивая левосторонняя куча
Биномиальные кучи
Представление тонкой кучи в памяти компьютера
Избыточное представление чисел
Представление двоичных деревьев поиска
Исторические сведения
Абак
Способы задания формальных языков
Язык предикатов
Серверы корпоративных баз данных
Появление в 80-х годах персональных компьютеров (ПК) и локальных сетей ПК самым серьезным образом изменило организацию корпоративных вычислений. Однако и сегодня освоение сетевых вычислений в масштабе предприятия и Internet продолжает оставаться не простой задачей. В отличие от традиционной, хорошо управляемой и безопасной среды вычислений предприятия, построенной на базе универсальной вычислительной машины (мейнфрейм) с подсоединенными к ней терминалами, среда локальных сетей ПК плохо контролируется, плохо управляется и небезопасна. С другой стороны, расширенные средства сетевой организации делают возможным разделение бизнес-информации внутри групп индивидуальных пользователей и между ними, внутри и вне корпорации и облегчают организацию информационных процессов в масштабе предприятия. Чтобы ликвидировать брешь между отдельными локальными сетями ПК и традиционными средствами вычислений, а также для организации распределенных вычислений в масштабе предприятия появилась модель вычислений на базе рабочих групп.Основы конфигурирования серверов баз данных
Серверы компании IBM
Основы работы с базами данных
Используемая терминология различна в теории реляционных баз данных, на стадии проектирования концептуальной модели и при практической работе с физической моделью и с базой данных, как это показано далее. Приведенные термины очень важны, однако для начинающих изучать данный предмет могут оказаться сложными для понимания. К этим формулировкам рекомендуется периодически возвращаться (после изучения следующих разделов курса) для их четкого усвоения. Основная часть первоисточников по теории баз данных, а также средства разработчиков используют английскую терминологию, поэтому для большинства русских терминов приведены соответствующие английские значения.Некоторые термины и определения, используемые при работе с базами данных
Классификация баз данных
Использование методологии IDEF1X для разработки концептуальной модели данных
Общая характеристика системы
Назначение экранных форм
Разработка отчетов
Создание базы данных
Типы данных системы
1С Предприятие 8.0. Описание встроенного языка
Встроенный язык системы 1С:Предприятие предназначен для описания (на стадии разработки конфигурации) алгоритме! функционирования прикладной задачи.Встроенный язык (далее по тексту - язык) представляет собой предметно-ориентированный язык программирования, специально разработанный с учетом возможности его применения не только профессиональными программистами. В частности, все операторы языка имеют как русское, так и англоязычное написание которые можно использовать одновременно в одном исходном тексте. Основной язык, описываемый в данной книге - русский однако для каждого оператора языка приводится его англоязычный синоним.
При своей относительной простоте язык обладает некоторыми объектно-ориентированными возможностями, например, правиле доступа к свойствам и методам специализированных типов данных (документам, справочникам и т.п.) подобны свойствам и методам объектов, используемых в других объектно-ориентированных языках. Однако специализированные типы данных не могут определяться средствами самого языка, а задаются в визуальном режиме конфигуратора.
Формат описания элементов языка
Конструкторы
Свойства
Двуязычное представление ключевых слов
Расширение формы документа
Расширение формы критерия отбора
1С Бухгалтерия 7.7 Руководство по ведению учета
«1С:Бухгалтерия» является универсальной системой для автоматизации ведения бухгалтерского учета. Она может поддерживать различные системы учета, различные методологии учета, использоваться на предприятиях различных типов деятельности.В системе «1С:Бухгалтерия» главные особенности ведения учета задаются (настраиваются) в конфигурации системы. К ним относятся основные свойства плана счетов, виды аналитического учета, состав и структура используемых справочников, документов, отчетов и т. д.
Данная книга представляет собой описание редакции 4.4 типовой конфигурации системы «1С:Бухгалтерия».
В данной типовой конфигурации реализована методология бухгалтерского учета в соответствии с текущим законодательством Российской Федерации для хозрасчетных организаций, а также методология ведения налогового учета в соответствии с требованиями главы 25 «Налог на прибыль» Налогового кодекса Российской Федерации (далее – налоговый учет).
Общая характеристика типовой конфигурации
Незавершенное производство
Вид дохода
Амортизация
Регистр учета прочих расходов текущего периода
Справочники
Раздел - Делопроизводство
Если есть бизнес, то есть и какие-то записи касающиеся этого же бизнеса. Любовь людей к написанию всяких и разных бумаг привела к возникновению такой отрасли человеческого знания как делопроизводство. Нет, письменность штука хорошая, спору нет, просто иногда это умение приобретает очень причудливые формы.Flash 4 для чайников
Все нижесказанное ни в коей мере не претендует на полноту и достоверность.Любое распространение и изменение этого документа без ведома автора только приветствуется.
Прежде чем начать исследовать очень любопытные возможности очень любопытной программы Flash, хочу сразу предупредить что:
во первых предполагается, что читать эту часть текста и рассматривать эти картинки будет человек, который совсем не знаком или знаком очень слабо с этой замечательной программой,
а во вторых от вас потребуется пошагово выполнять некоторые действия, поэтому собственно Flash запущенный параллельной задачей, просто необходим. Возможно, при выполнении этих действий будет масса лишних телодвижений, которые нужны только для того, чтобы показать очередную возможность, и это сделано специально :)
Итак, давайте, наконец прекратим пустую болтовню и запустим Flash. То, что появляется на экране после запуска должно слегка напоминать вот эту вот картинку.
Широко открытые глаза
Тестирование софта - статьи
Очень часто при разработке программного обеспечения приходится сталкиваться с одной из двух проблем. Либо качество разработанного продукта много ниже самых минимальных разумных требований, либо затраты на тестирование превосходят все разумные пределы. К сожалению, бывает и так, что обе проблемы существуют одновременно. И денег на тестирование истрачено много, а качества достичь так и не удалось.Увы, для большинства фирм низкое качество выпускаемого ПО — верный путь если не к полному исчезновению фирмы, то, по крайней мере, к потере клиентов и существенным финансовым потерям.
Кому нужно не оттестированное ПО, которое может подвести в любой самый неподходящий момент!
Одной из причин такой ситуации является объективная сложность процесса тестирования ПО. Ведь под словом Тестирование может скрываться множество самых различных действий, направленных на решение множества разнообразных задач. Тут и запуск и исполнение программы с целью проверки отсутствия ошибок, и оценка производительности, и контроль наличия и полноты документации и даже качества принятых проектных решений.
Автоматизация процесса тестирования IBM Rational
Инструментальные средства поддержки процесса тестирования
Максимизация числа различных подслов
Функциональное тестирование Web-приложений на основе технологии UniTesK
Что такое PDL
Использование формальных методов для обеспечения соблюдения программных стандартов
Парное тестирование — возьмём от ХР лучшее
Краткий обзор технологии UniTesK
Верификация компиляторов - систематический подход
Обзор технологии AVM
Mодели аппаратного обеспечения
Операционная система Microsoft Windows 3.1
Первая глава посвящена созданию меню в приложениях Windows. Практически в любом стандартном приложении Windows есть меню, расположенное под заголовком главного окна приложения, а также системное меню. Операционная система Windows имеет мощную поддержку меню, избавляя программиста от рутинной работы и полностью обеспечивает интерфейс между меню и пользователем.Для создания меню чаще всего используется шаблон, подготовленный редактором ресурсов Resource Workshop или аналогичным инструментом. Этот шаблон хранится в файле загрузочного модуля приложения вместе с другими ресурсами. Вы также можете создавать меню динамически во время работы приложения, используя специально предназначенные для этого функции программного интерфейса Windows. Мы расскажем вам о различных способах создания меню, а также о том, как подключить к меню клавиатурный интерфейс. Вы сможете создать меню из графических изображений bitmap.
Классификация типов меню
Приложение LMEM
