В настоящей электронной книге излагается технология алгоритмизации и программирования задач логического управления, названная переключательной технологией (SWITCH-технология).

- формальные языки
- логическое управление
- алгоритмизация
- автоматное проектирование
- конечные автоматы
- сети Петри
- графы операций
- язык SDL
- графы переходов
- функциональные автоматы

В пособии приведены более 1600 задач по программированию, которые могут использоваться в школе при изучении курса "Информатика и ИКТ" на профильном уровне. Задачи имеют разный уровень сложности и охватывают все темы курса программирования. В начале каждого раздела приведены вопросы, ответы на которые необходимо знать для решения задач данного раздела. Значительное число задач дано в двух однотипных вариантах, что дает возможность сформировать два варианта самостоятельных и контрольных работ. Задачи не привязаны к конкретному языку программирования и могут быть использованы при изучении любого языка, в том числе в вузах, педагогических колледжах и других учебных заведениях.

Посвящается одному из актуальных и бурно развивающихся разделов математической логики - теории алгоритмов, а также важнейшим ее связям с другими разделами математики. Является одним из лучших пособий для знакомства с основными направлениями, идеями и методами теории алгоритмов.
Настоящая книга возникла в результате обработки конспектов лекций по математиеской логике, теории алгоритмов и их приложений, читавшихся автором в 1956-1960 гг. Целиком за пределами книги остались теория автоматов, приложения теории алгоритмов к формальным теориям, теория степеней неразрешимости. Сколько-нибудь подробное изложение этих разделов в настоящее время требует специальных монографий.

Как обычно, от читателей не требуется никаких предварительных специальных знаний, выходящих за пределы программы средней школы. Доказательства всюду проведены полностью за исключением последних глав, где иногда опущены рассуждения рутинного характера, которые легко восстановит каждый читатель, добравшийся до этих глав.

Описание формата JPEG: структура файлов, алгоритмы сжатия. Документация на английском и русском языках.

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

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

В книге рассмотрены самые популярные алгоритмы сжатия и форматы хранения растровых изображений. Исходные тексты программ сопровождаются описанием особенностей цветовых моделей, популярным объяснением математических основ сжатия и демонстрацией эффективных способов программной реализации алгоритмов.

Compressed Image File Formats: Jpeg, PNG, Gif, XBM, BMP
Издательство: Триумф, 2003 г.
Мягкая обложка, 336 стр.
ISBN 5-89392-078-3, 0-201-60443-4
Формат: djvu

Настоящая книга является обработкой лекций, которые автор читал в Саратовском университете в 1962-66 гг. В параграфе 1 вводятся основные понятия теории множеств. В параграфах 2 и 3 излагаются элементы содержательного исчисления высказываний и предикатов. Содержательное исчисление предикатов представляет наибольшие трудности, этот раздел занимает в книге значительное место. Формальное исчисление высказываний и предикатов не затрагивается. В параграфах 4 и 5 логика предикатов применяется для построения начал алгебры подмножеств и теории бинарных отношений. В 6-ом на основе теории бинарных отношений излагаются начальные сведения по теории отображений и преобразований множеств.
Каждый параграф книги снабжен упражнениями. Часть из них содержит дополнительные теоретические сведения. В конце книги приведен краткий список литературы, по которой можно более подробно познакомиться с математической логикой и теорией множеств.

Данная книга посвящена анализу интересных задач, встречающихся в повседневной практике программирования и требующих нетривиальных подходов в их решении. На основе относительно небольшого количества характерных алгоритмов и методик программирования. Обозначены задачи, в которых могут использоваться те или иные подходы и решения. Книга написана в доступной форме блестящим программистом и великолепным популяризатором, автором таких книг как "Классика программирования: алгоритмы, языки, автоматы, компиляторы. Практический подход" и "Занимательное программирование". Будет несомненно полезна всем, кто, обладая базовыми знаниями C++, хочет повысить свой уровень и культуру программирования.

Данное пособие предназначено для начального освоения практического курса параллельных вычислений. Предполагается, что приводимой информации достаточно для начала серьезной работы на параллельных компьютерах (в первую очередь, кластерных системах). При этом основной упор делается на освоение практических навыков работы на вычислительном кластере НИВЦ МГУ. Курс включает в себя вводные сведения об операционной системе UNIX, архитектуре суперкомпьютеров и вычислительных кластеров, обнаружении и использовании параллелизма программ, технологиях параллельного программирования и многие практические сведения, необходимые для начала работы. Он рассчитан ориентировочно на 10 занятий, из которых несколько последних отводятся на отладку и оптимизацию модельной задачи. Методическое пособие содержит весь необходимый материал для начала работы на вычислительных кластерах и создания реальных эффективных параллельных программ.

Книга содержит описание и анализ основных алгоритмов, на которых создаются криптографические системы эллиптической криптографии, алгбраическую теорию построения таких алгоритмов и анализ их сложности. Предназначена для студентов, преподавателей ВУЗов и специалистов, создающих программные комплексы защиты информации на основе теории эллиптических кривых.

В этой электронной книге подробно рассмотрены структуры данных и алгоритмы, которые являются фундаментом современной методологии разработки программ. Показаны разнообразные реализации абстрактных типов данных, начиная от стандартных списков, стеков, очередей и заканчивая множествами и отображениями, которые используются для неформального описания и реализации алгоритмов.

Книга посвящена системному администрированию локальных сетей на базе операционной системы Windows XP. В ней детально рассмотрены практические задачи, с которыми ежедневно сталкивается системный администратор: от настройки сети, организации антивирусной защиты и обновления системы до защиты информации.Основной упор сделан на решение практических задач, однако приводятся и необходимые теоретические сведения для понимания вопроса. Книга написана таким образом, что может быть использована в качестве справочного пособия, то есть главы не зависят друг от друга, что позволяет получить информацию по требуемому вопросу прочитав только соответствующий раздел или главу.

Эта книга задумывалась как достаточно полное справочное руководство по Web-серверу Apache. Изложеный в ней материал предполагает определенный уровень компьютерной грамотности, но знания сетевых технологий при этом не требуется. Несмотря на то, что основная проблематика данной книги лежит в области электронной коммерции, в приложениях затронуты самые разнообразные проблемы и информация, необходимая для создания и функционирования Web-сервера. Это проблема соответствия имен и IP-адресов, детали протокола TCP/IP и синтаксис регулярных выражений. Кроме того, в перспективе Web-администрирования затронуты темы создания системы электронных платежей и взвимодействия с базами данных.

В данной книге речь пойдет о способах создания анимации в Macromedia Flash 4. Для начала следует понять: в чем секрет такой компактности роликов, созданных в Macromedia Flash? Основная причина состоит в том, что технология Flash реализует анимацию векторных объектов. На практике это означает, что для создания элементарного ролика нам нужно один раз создать анимируемый объект и в дальнейшем манипулировать только его атрибутами и формой. Технология так же позволяет использовать и растровые объекты.

В основе анимации Macromedia Flash лежит принцип преобразований по ключевым кадрам (Keyframe). Т.е. достаточно задать во времени только начальный и конечный кадр элементарного преобразования, а промежуточные кадры будут выстроены программой без вашего вмешательства. К элементарным преобразованиям относятся: изменение координат, размеров, масштаба, угла поворота, формы, цветовых атрибутов контура и заливки объекта.

Преобразования реализуются двумя основными методами:

Движение (Motion-tweening) - метод предназначен для изменения атрибутов объекта.
Превращение (Shape-tweening) - метод предназначен для преобразования формы одного объекта в другой. Для создания аналогичных эффектов вызывает увеличение размера файла ролика по сравнению с Motion-tweening.

Крайним случаем является покадровая анимация, неизбежная при создании мультфильмов. Такой подход увеличивает размер файла, т.к. анимация происходит за счет покадровой смены объектов, описание которых требует существенно большего объема, нежели описание изменения атрибутов разумно ограниченного числа объектов.