В данном разделе Вы сможете скачать книги по кибернетике, дискретной математике, теории графов, криптографии, математической логике, реляционной алгебре и смежным областям наук, а также учебники по издетельской системе LaTeX.
В пособии собраны материалы и упражнения по курсу "Основы кибернетики". Рассмотрены
вопросы инвариантных классов, сложности алгоритмов, эквивалентных преобразований
управляющих систем, тестирования, надежности и самокоррекции. Учебник расчитан на студентов
3-4 курсов, но заниматься по нему может каждый, немного знакомый с дискретной математикой.
В книге рассматриваются разделы булевых функций, интенсивно развивающихся в
настоящее время: представление функций бинарными термами, бесповторными термами
и полиномиальными формами. Содержит сжатое введение в теорию булевых функций,
а также материалы по бесповторным и частичным функциям. Очень полезная книга
для людей, занимающихся кибернетикой.
Лекции профессора С.А.Ложкина. Содержит различные вопросы представления функций
алгебры логики с помощью таблиц и дизьюнктивных нормальных форм, описание
структур и функционирования схем из основных классов управляющих систем, а
также модификации и обобщения всего вышеизложенного. Великолепное пособие по
кибернетике.
Пособие включает в себя основную часть материала из программы обязательного для студентов ВМиК МГУ курса "Основы кибернетики". Первая
глава пособия посвящена различным вопросам представления функций алгебры логики с помощью таблиц и ДНФ. Вторая глава содержит
описание структуры и функционирования схем из основных классов управляющих систем. Третья и четвертая главы рассматривают
эквивалентные преобразования и синтез управляющих систем.
Классический учебник по дискретной математике. Содержит материалы по
алгебрам логики, автоматным функциям, комбинаторному анализу, графам, теории
кодирования и еще много чему. Не прочтя это учебник, заниматься кибернетикой
нельзя.
Довольно полный и подробный учебник по криптографии. Содержит описания об блочных шифрах, алгоритмах блочного шифрования, потоковых шифрах. Изложены теория ассиметричных криптосистем,
стандарты цифровой подписи, функции хеширования и управление криптографическими ключами. Книга будет полезна как начинающим, там и искушенным криптографам.
Сравнительно небольшая книжка отражает многочисленные, как теоретические, так и практические аспекты современной криптологии. Информационно очень емкая, написана на концептуальном уровне, неформально. Информация по системам с секретным и открытым ключом, цифровым подписям и квантовой криптографии. Рекомендуется для читателей, интересующихся проблемами криптографии и ее применений.
This is a Chapter from the "Handbook of applied Cryptography", by a.Menezes, p.van Oorschot,
and S. Vanstone, CRC press, 1996. It's contains classification and framework of hash functions,
basic constructions and general results of using hash fucntions in cryptography,
information about unkeyed hash fucntions (MDCs), keyed hash fucntions (MaCs), message
authentification, and different types of attacks on hash functions.
Книга американского специалиста является введением в теорию проектирования реляционных баз данных (БД). В ней изложены основные положения и методы проектирования реляционных БД. Подробно описаны реализации конкретной БД с помощью популярных СУБД dBaSE III и R:base 5000, выполненные с использованием предлагаемых методов проектирования. Приведены тексты программ с подробным их описанием.
В книге изложены основные понятия математической логики и алгебры, которые лежат в основе таких приложений этих дисциплин, как базы данных, экспертные системы, системы логического программирования и др. Описаны концепция Кодасил, функциональные языки запросов, модели баз данных. Основы языка Пролог, QUEL, SQL. Полезное пособие для интересующихся базами данных или логическим программированием.
Учебное пособие посвящено изложению основ математической логики и теории алгоритмов.
Описана классическая логика - логика предикатов, метод резолюций, формальные теории(исчисления), неклассические логики - интуиционная, нечеткая, модальные, временные, алгоритмические логики. Содержит основы теории алгоритмов, сложности алгоритмов. Рекомендуем как основное пособие по математической логике.
Сборник содержит работы по актуальным проблемам математической логики, еще не получившим достаточного освещения в отечественной литературе. Эти работы посвящены оценкам сложности
алгоритмов и вычислений, классификации рекурсивных функций и различным типам вычислительных
устройств, связанных с такими классификациями.
Книга представляет собой полное руководство по издательской системе LaTeX. В ней вы найдете исчерпывающее описание методов и свойств системы LaTeX, получите возможность программирования собственных команд и процедур. В третьем издании отражены изменения в способе русификации системы LaTeX и добавлены сведения о преобразовании документов LaTeX в формат pDF. Если вы хотите освоить замечательную систему LaTeX - то эта книга для Вас!
Как следует из названия, книга представляет из себя краткое описание издательской системы
LaTeX. Книга рекомендуется как пособие желающим освоить основные приемы работы в LaTeX, а
также в качестве справочника.
Книга включает систематическое изложение теории сетей Петри, которые относятся к числу наиболее важных и распространенных математических моделей в области обработки информации. Данная монография является одним их самых полных описаний данной области кибернетики.
В книге рассмотрены теоретические аспекты составляющих гибридных нейронных сетей, а именно
аппарат нечеткой логики, основы теории искусственных нейронных сетей и собственно гибридных сетей применительно к задачам управления и принятия решений в условиях неопределенности.
Особое внимание в книге уделено программной реализации моделей указанных подходов
инструментальными средствами математической системы MaTLaB 5.2/5.3
Предлагаемая монография представляет собой первую отечественную попытку систематического
изложения как математических, так и физических основ квантовых вычислений и принципов
работы квантовых компьютеров. Описаны необходимые понятия квантовой теории информации,
основные квантовые логические операции и квантовые алгоритмы. Книга отражает опыт
исследований накопленный на 2000-й год.
Основным предметом данной работы является роль ошибки в логике и в синтезировании
алгоритмов. Изложен схематический обзор автоматов и исчисление высказываний.
This dissertation examines a number of geometric interconnection, partitioning, and placement
problems arising in the eld of VLSI physical design automation. In particular,
many of the results concern the geometric Steiner tree problem: given a set of terminals
in the plane, and a minimum-length interconnection of those terminals according to some
geometric distance metric.