Текст у форматі PDF 13.45 Мб

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

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

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

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

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

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

Данное руководство содержит описание фундаментальных основ реляционных баз данных, начиная с основных объектов, доступ к которым предоставляется с помощью языка SQL. Каждая следующая глава основана на материале предыдущей, поэтому переход ко все более сложным темам происходит постепенно. Значительное внимание уделено рассмотрению отличительных особенностей СУБД SQL Server 2008 как среды программирования и тех существенных изменений, которые были внесены в основные компоненты этой СУБД. В книге прежде всего даны определения общих понятий проектирования баз данных, а затем показано, как с помощью средств Microsoft SQL Server 2008 добиться создания высокопроизводительной и эффективной базы данных. Дано подробное описание ключевых добавлений и изменений в версии SQL Server 2008, включая обсуждение типов данных DATE, TIME, hierarchylD, операторов MERGE, многострочных вставок, рекурсивных запросов и многого другого. С выходом новой версии СУБД перед разработчиками открылись еще более широкие возможности, успешно воспользоваться которыми поможет эта книга.

Вып. 1. - 2000. - 100 с.

В книге рассмотрены вопросы пробоподготовки объектов биологического происхождения для молекулярно-генетической идентификации личности. Подробно описаны основные методы выделения ДНК, которые используются в лабораторной практике 124 Центральной Лаборатории Медико-Криминалистической Идентификации Министерства Обороны Российской Федерации. Предназначена для экспертов-биологов и молекулярных генетиков экспертио-кримииалистических подразделений Министерства Обороны и органов внутренних дел.

  Текст у форматі PDF 7.17 Мб

Монография Д. Гильберта и П. Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в тридцатых годах, подвело итог процессу становления математической логики как самостоятельной математической дисциплины со своей проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики. Отличающаяся исключительной глубиной содержания и тщательностью изложения, монография Д. Гильберта и П. Бернайса пользуется большой популярностью среди специалистов.

Эта работа, написанная Л. Генкиным для «Математического просвещения», не потребует от читателя никаких предварительных познаний. Неспециалист получит из нее верное представление о характере многих рассуждений современной теории моделей. Специалисту также интересно будет познакомиться с некоторыми свежими соображениями, относящимися к связи между теорией рекурсивных определений (т. е. определениями по индукции) и теорией моделей, изучение которой составляет предмет работы Генкина.

  Текст у форматі PDF 20.42 Мб