Автор: Михайлов А.Б., Швецкий М.В., Рыжова Н.И.
Название: Лекции по основам математической логики. Формальные системы первого порядка. Учебное пособие для студентов математического факультета (бакалавриат) . Упражнения по основам математической логики
Издательство: СПб.: РГПУ
Год: 1998
Страниц: 300
Формат: djvu
Размер: 35,8 Мб
Язык: Русский

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

Название: Счет и число
Автор: Г.Н. Берман
Издательство: ОГИЗ, Гостехиздат
Год издания: 1948
Страниц: 42
Формат: pdf
Размер: 10,2 Мб
Язык: Русский

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

Название: Актуарная математика в задачах
Автор: Фалин Г.И., Фалин А.И.
Издательство: ФИЗМАТЛИТ
ISBN: 5-9221-0451-9
Год издания: 2003
Страниц: 193
Формат: pdf
Размер: 10,3 Мб
Язык: Русский

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

Название: Основы православия для начальной школы
Автор: Елецкая Е.А.
Издательство: Феникс
Год: 2011
Формат: PDF
Размер: 21.2 Мб
Язык: русский

Книга познакомит учеников начальной школы с основами православия. Материал, включенный в книгу, соответствует школьной программе изучения курса «Основы православной культуры».
В доступной форме школьникам предложена история развития русского православия, обозначены отличия от прочих религий, приведены некоторые библейские истории, разъясняющие основополагающие моменты христианства. Дано краткое жизнеописание Иисуса Христа и Богоматери, описаны особо почитаемые в России святые. Ребята смогут познакомиться с основами православной веры, Заповедями Ветхого и Нового Завета, узнают о православных святынях, о Библии, об иконах, церквях, основных христианских праздниках и молитвах. Информация сопровождается красочными иллюстрациями с изображением икон, святых, церквей и пр.
Книга будет полезна учащимся начальных и средних классов, учителям, а также всем, кто интересуется вопросами православной веры.

Название: Дискретная математика и дискретные системы управления
Автор: Никишечкин А. П.
Издательство: Юрайт
ISBN: 978-5-534-08596-9
Серия: Бакалавр. Академический курс
Год: 2018
Формат: PDF
Страниц: 300
Размер: 15.5 MB
Язык: Русский

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

Название: Solid State Physics: Essential Concepts 2nd Edition
Автор: David W. Snoke
Издательство: Cambridge University Press
Год: 2020
Формат: PDF
Страниц: 735
Размер: 39,2 Mb
Язык: English

By identifying unifying concepts across solid state physics, this text covers theory in an accessible way to provide graduate students with an intuitive understanding of effects and the basis for making quantitative calculations. Each chapter focuses on a different set of theoretical tools, using examples from specific systems and demonstrating practical applications to real experimental topics.

Название: Задачник по общей метеорологии: Атмосферная оптика. Электричество. Акустика
Автор: Зверева С.В.
Издательство: Гидрометеоиздат
Год: 1980
Формат: PDF
Страниц: 125
Размер: 10 MB
Язык: Русский

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

Название: Основы ТРИЗ: Теория решения изобретательских задач
Автор: Петров В.М.
Издательство: Ridero
Год: 2019
Формат: pdf
Страниц: 764
Размер: 11 mb
Язык: Русский

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

Название: Fundamental principles of radar
Автор: Habibur Rahman
Издательство: CRC Press
Год: 2019
Формат: PDF
Страниц: 340
Размер: 10,5 Mb
Язык: English

The important and fascinating topics of radar enjoy an extensive audience in industry and government but deserve more attention in undergraduate education to better prepare graduating engineers to meet the demands of modern mankind. Radar is not only one of the major applications of electronics and electromagnetic communications, but it is also a mature scientific discipline with significant theoretical and mathematical foundations that warrant an intellectual and educational challenge.

Название: Fluid Mechanics of Planets and Stars (CISM International Centre for Mechanical Sciences Book 595)
Автор: Michael Le Bars (Editor), Daniel Lecoanet (Editor)
Издательство: Springer
Год: 2020
Формат: true pdf/epub
Страниц: 247
Размер: 40.2 Mb
Язык: English

This book explores the dynamics of planetary and stellar fluid layers, including atmospheres, oceans, iron cores, and convective and radiative zones in stars, describing the different theoretical, computational and experimental methods used to study these problems in fluid mechanics, including the advantages and limitations of each method for different problems.