Название: Лекции по математической логике и теории алгоритмов: учебное пособие
Автор: Белов Ю.А., Соколов В.А.
Издательство: Ярославль: ЯрГУ
Год: 2013
Страниц: 140
ISBN: 978-5-8397-0908-9
Язык: Русский
Формат: djvu
Размер: 10,74 Мб
Качество: хорошее, текстовый слой, оглавление.

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

Название: Руководство к решению задач по сопротивлению материалов
Автор: Ицкович Г.М., Минин Л.С., Винокуров А.И.
Издательство: Высшая школа
Год: 1999
Страниц: 592
ISBN: 5-06-003494-1
Формат: DJVU
Размер: 10 Мб
Язык: русский

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

Название: Cambridge IGCSE Mathematics Core and Extended, 4th Revised edition
Автор: Ric Pimental, Wall
Издательство: Hodder Education
Год: 2018
Формат: True PDF
Страниц: 560
Размер: 11 Mb
Язык: English

Rely on a tried-and-tested approach to improving mathematical skills; ensure full coverage of the latest Cambridge IGCSE Mathematics Core and Extended syllabus (0580/0980) with a new emphasis on problem-solving.

Название: Мера и категория
Автор: Окстоби Дж.
Издательство: М.: Мир
Год: 1974
Формат: PDF/DjVu
Качество: Отсканированные страницы
Страниц: 160
Размер: 23.4 MB
Язык: Русский

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

Название: Числа рациональные и иррациональные
Автор: Нивен Айвен
Издательство: Мир
Год: 1966
Формат: PDF/Djvu
Страниц: 201
Размер: 24.3 MB
Язык: Русский

Эта книга посвящена одному из основных понятий математики — понятию действительного числа. Ученики старших классов (именно на них она в первую очередь и рассчитана) узнают из нее некоторые свойства чисел, о которых они раньше и не подозревали, и познакомятся с доказательствами теорем, принимаемых в школьном курсе алгебры на веру.

Название: Теория фильтрации Калмана
Автор: Балакришнан А.В.
Издательство: Мир
Год: 1988
Формат: PDF/DjVu
Качество: Отсканированные страницы
Страниц: 169
Размер: 26.5 MB
Язык: Русский

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

Название: Квантовые группы
Автор: Демидов Е.Е.
Издательство: М., Факториал Пресс
ISBN: 5-88688-031-3
Год: 1998
Формат: PDF/DjVu
Качество: Отсканированные страницы
Страниц: 128
Размер: 17.6 MB
Язык: Русский

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

Автор: Соснина Т.Н.
Название: Биосфера (анализ стоимостных параметров): Учеб. пособие
Издательство: Самара: Самарск. гос. арх.-строит. ун-т.
Год: 2004
ISBN: 5958500597
Язык: Русский
Формат: pdf
Размер: 11,6 mb
Страниц: 192

Анализируются стоимостные параметры биосферы с учетом качественно-количественных ее характеристик.

Название: Язык и компьютер
Автор: Журавлев А.П., Павлюк Н.А.
Издательство: Москва: Просвещение
Год: 1989
Формат: pdf
Страниц: 159
Размер: 14 mb
Язык: русский

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

Название: Восстановление и реконструкция изображений
Автор: Бейтс Р., Мак-Доннелл М.
Издательство: Москва: Мир
Год: 1989
Формат: DJVU
Страниц: 336
Размер: 19 mb
Язык: русский

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