Книги

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

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

Изложены теоретические основы, методы и алгоритмы оценки информационных возможностей активных систем с апостериорной обработкой результатов измерений (САОРИ) и традиционных пассивных систем наблюдения (СН) с получением и обработкой изображений объектов. В ...

Рассмотрены вопросы построения систем подвижной связи третьего поколения. Особое внимание уделено новым технологиям, используемым в этих системах, таким как турбо кодирование и пространственно-временное кодирование для систем с несколькими передающими ...

Рассмотрен язык программирования Python и вопросы применения приложения ZOPE (Z Object Publishing Environment) для разработки Web-приложений. Дано описание синтаксиса языка Python, построения структур данных, разбираются вопросы объектно-ориентированного ...

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

Рассмотрены вопросы по практическому использованию 18 приложений, входящих в пакет Nero 7 Premium. Описаны интер-фейсы программ пакета, подготовка ме-диафайлов к записи на CD/DVD, тестиро-вание дисков и приводов, создание слайд-шоу и фотоальбома, не...

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

Курс рассчитан на читателей, заинтересованных в изучении основных подходов...

В книге рассмотрены практически все основные цифровые технологии современных глобальных сетей фиксированнной связи: X.25, FR, ATM, PPP, ISDN, PDH, SDH, WDM, а также IP и MPLS. Описаны основные особенности и многоуровневые модели указанных технологий, ...

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

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

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

Сборник содержит городские контрольные работы по математике с 5 по 9 класс, предлагавшиеся образовательным учреждениям г. Москвы с 2007 по 2011 гг. Сборник может быть использован для проведения мониторинга знаний по математике учащихся с 5 по 9 класс. Для ...

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

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

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

Направление в теории алгоритмов, в котором размеры программ, задающих алгоритмы, используются как средство исследования алгоритмических проблем, было основано А.А.Марковым в начале 60-х годов XX в. Сложностный метод А.А.Маркова позволяет расширить область ...

Настоящая книга содержит подробное систематическое изложение теории, методов и приложений общей задачи линейного программирования. Описывается ряд практических задач (в основном экономического происхождения), приводящихся к общей схеме линейного про...

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

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