PostgreSQL заслуженно считается одной из лучших СУБД, распространяемых с открытыми текстами, а по своим возможностям PostgreSQL успешно конкурирует со многими коммерческими пакетами.

Настоящая книга была задумана как практическое руководство по PostgreSQL версии 7.1.x, хотя большая часть материала в равной степени относится как к предыдущим, так и к будущим версиям PostgreSQL. При подборе материала авторы стремились к тому, чтобы читатель как можно быстрее освоил практические навыки работы с PostgreSQL. Хотя в книге затрагиваются некоторые теоретические аспекты функционирования СУБД, подобные теоретические отступления будут относительно короткими. Прежде всего, мы стремились к тому, чтобы полученные знания позволили читателю самостоятельно создать работоспособную базу данных PostgreSQL и обеспечить ее дальнейшее сопровождение. Надеемся, книга поможет всем, кто хочет ближе познакомиться с СУБД PostgreSQL и ее возможностями.

Книга ориентирована на широкий круг читателей, интересующихся объектно-реляционной системой управления базами данных (ОРСУБД) PostgreSQL. Предполагается, что читатель знаком с системами Linux и Unix, хотя и не является экспертом в области баз данных. Хотя все примеры тестировались в системе Red Hat Linux, практически весь материал относится к большинству систем семейства Unix.

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

Пособие знакомит с основными понятиями сжатия изображений, базовыми алгоритмами и современными направлениями развития теории сжатия изображений. Пособие можно рассматривать как практическое руководство. Оно рассчитано на читателей, знакомых с языком программирования C++ и имеющих представление о базовых алгоритмах. Рекомендуется студентам, аспирантам, научным сотрудникам и инженерам весьма широкого круга специальностей.

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

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

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

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

Книга представляет собой вторую часть учебного пособия авторов "Введение в математическую логику" (1982г), но может изучаться и самостоятельно. Излагаются фундаментальные факты математической логики: начала акиоматической теории множеств, теория алгоритмов, теорема о полноте исчисления предикатов, теорема Геделя о неполноте. Обсуждается программа Гильберта обоснования математики.

Редкая книга 1964 года.
Предисловие: Эта книга популярно излагает основы математической логики. Необходимость такой книги вызвана тем, что в настоящее время все большее значение приобретает автоматизация производственных процессов. Программа КПСС прямо указывает на важность автоматизации для создания материально-технической базы коммунизма. Математическая логика является теоретической основой кибернетики, а эта последняя в свою очередь применяется для решения проблема автоматизации. Несмотря на важность математической логики, в нашей стране почти нет книг, излагающих основы этой науки. Имеющиеся у нас книги по математической логике рассчитаны на читателя, достаточно математически подготовленного. Между тем необходимо создать такую книгу, которая давала бы представление о математической логике и в то же время не требовала бы для своего понимания большего, чем школьный курс математики. Данна книга, по-моему, решает эту задачу.

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

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

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

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

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

Это книга, которую Агентство Национальной Безопасности США никогда не хотело бы увидеть опубликованной. Именно так охарактеризовал данное издание один из американских журналов. Книга предназначена современным программистам и инженерам, которым необходимо использовать криптографию. До появления настоящей монографии практикам приходилось тратить многие часы на поиск и изучение научной литературы, прежде чем они могли приступить к разработке криптографических приложений. Именно этот пробел восполняет книга Брюса Шнайера (Bruce Schneier) «Прикладная криптография» (Applied Cryptography). Начав с целей засекречивания передачи данных и простейших примеров программ для достижения этих целей, Шнайер разворачивает перед читателем всю панораму практических результатов 20 лет исследований.
Это самая читаемая книга по криптографии в мире. Теперь на русском языке.

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

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