510Фундаментальные и общие проблемы математики. Основания математики, математическая логика
← назад

Свободный доступ

Ограниченный доступ
Языки славянской культуры: М.
В книге, написанной коллективом нейробиологов из Института биологии
развития РАН и группой математиков из Института проблем управления РАН,
излагается гетерохимическая концепция работы нервной системы. Согласно
этой концепции, распространенное представление о мозге как о рефлекторной
«проволочной сети» не соответствует действительности. Решающую роль в его
работе играют эндогенно активные нейроны и ансамбли, способные генерировать поведение даже в отсутствие внешних стимулов, а язык общения между нейронами и отделами нервной системы является химическим. Этот язык основан на разнообразии сигнальных молекул — нейротрансмиттеров и нейрогормонов, которые действуют не только в синаптических щелях, но и во всем межклеточном пространстве. В книге рассказывается об эволюции языка нейротрансмиттеров, о клеточных механизмах генерации поведения, нейромодуляции, роли трансмиттеров в выборе поведения и адаптации к внешним переменам. Для математической формализации этой концепции понадобились принципиально новые подходы, которым посвящена вторая часть книги. В ней дается обзор математических моделей нейронов и нейронных сетей и подробно описывается оригинальная дискретная модель химических взаимодействий между нейронами. Приводятся разнообразные примеры моделирования реальных нервных систем с помощью этой модели.
Предпросмотр: Химические языки нервных систем.pdf (0,4 Мб)
Автор: Семенова И. В.
Изд-во Самарского университета
В пособии изложены основные вопросы булевой алгебры. Рассмотрены свойства булевых функций, методы их минимизации и приведения к нормальным формам. Приведено описание всех замкнутых классов булевых функций, а также методы определения полноты систем таких функций. Кроме того, в пособии рассматриваются вопросы практического применения булевой алгебры при построении математических моделей в различных областях. Помимо основных понятий и теоретических результатов, пособие включает алгоритмы и примеры решения типовых задач, поэтому оно является не только дополнением к материалам лекций по курсу «Дискретная математика», но и поддержкой самостоятельной работы обучающихся. Подготовлено на кафедре информатики и вычислительной математики.
Предпросмотр: Булева алгебра и ее применение при построении математических моделей.pdf (1,1 Мб)
Автор: Новиков А. И.
ИТК "Дашков и К": М.
В учебном пособии рассмотрены основные методы и приемы дискретной математики, определяемые требованиями федеральных государственных образовательных стандартов высшего образования. В нем в краткой и доступной форме изложены основные разделы дискретной математики: алгебра логики, теория множеств, основные понятия теории графов и другие математические понятия, применяемые в экономике и вычислительной технике. Все излагаемые методы и подходы иллюстрируются примерами и упражнениями для закрепления знаний и формирования навыков их применения.
Предпросмотр: Элементы дискретной математики Учебное пособие для бакалавров.pdf (0,4 Мб)
Бурятский государственный университет
Данное учебно-методическое пособие включает в себя теоретический материал, разбор решений типовых задач по разделу «Математическая статистика» дисциплины «Теория вероятностей и математическая статистика», а также содержит методические указания для решения задач и варианты домашней контрольной работы по математической статистике. Предназначено для студентов, обучающихся по направлениям 09.03.03 Прикладная информатика, 02.03.03 Математическое обеспечение и администрирование информационных систем, а также может быть полезно студентам математических и физических факультетов вузов.
Предпросмотр: Математическая статистика.pdf (1,6 Мб)
Автор: Гумерова Е. И.
Изд-во НГТУ
Настоящее пособие представляет собой сборник самостоятельных работ теоретического и практического характера разного уровня сложности. Пособие предназначено для организации самостоятельной работы учащихся, а также для обобщающего повторения.
Предпросмотр: Элементы математической логики.pdf (0,3 Мб)
Автор: Галенович Юрий Михайлович
ВКН: М.
В XX веке история человечества сложилась таким образом, что с разницей в три десятилетия в мире появились два крупных государства с правившими в них коммунистическими партиями: СССР и КНР. Они просуществовали как соседи и «идеологические близнецы» четыре десятилетия. Затем в одном из них коммунистическая партия перестала быть правящей. Оба государства оказались в новой, уникальной для человечества и для них самих ситуации. С тех пор уже три десятилетия существуют отношения между этими государствами. В каждом из них есть свое понимание истории и нынешнего состояния двусторонних отношений. Читателям предлагается возможность познакомиться с трактовками обеих сторон, с попыткой разобраться в том, «что это было», какими были этапы этого пути (каким был «путь» от «эпохи» Сталина и Мао до «времен» Путина и Си), что происходит сейчас и чем это может обернуться в будущем. В работе также рассматриваются процессы в истории американо-китайских отношений и китайско-американских отношений за время от Мао и Никсона до Си и Трампа. Перед читателем описание исторического пути от иллюзий к реалиям во взаимоотношениях России с Китаем и Америки с Китаем.
Предпросмотр: От Сталина и Мао до Путина и Си.pdf (0,3 Мб)
Автор: Куликов В. Г.
Изд-во МИСИ-МГСУ: М.
В учебно-методическом пособии по дисциплине «Теория алгоритмов» представлены разделы, традиционно изучаемые в курсе теории алгоритмов: машины Тьюринга, нормальные алгоритмы Маркова, рекурсивные функции и т.д. Рассмотрены вопросы интуитивного и формального определения алгоритмов, сложности и нумерации алгоритмов, алгоритмически неразрешимых проблем, конструирования машин Поста.
Предпросмотр: Теория Алгоритмов.pdf (0,2 Мб)
Российская академия наук (РАН): М.
Один из крупнейших в мире научных журналов, орган Президиума Российской академии наук. Журнал «Доклады Российской академии наук» публикует сообщения о крупных научных исследованиях, имеющих приоритетный характер, и оригинальных, нигде ранее не опубликованных исследованиях в области математики, естественных и технических наук.
В архиве журнала публикации членов Российской Академии наук, а также членов других академий и видных ученых зарубежных стран. В работе издания участвуют научные работники учебных институтов, университетов и НИИ страны.
Журнал рассчитан на специалистов во всех областях математики и естествознания.
Автор: Гумерова Е. И.
Изд-во НГТУ
Настоящее пособие представляет собой сборник самостоятельных работ теоретического и практического характера разного уровня сложности. Пособие предназначено для организации самостоятельной работы учащихся, а также для обобщающего повторения.
Предпросмотр: Элементы логики в математике.pdf (0,3 Мб)
Автор: Оманд Дэвид
Альпина Паблишер: М.
Из этой книги вы не узнаете, как раскапывать грязные тайны диктаторов, ловить торговцев оружием или перевозить через границу секретные донесения. Дэвид Оманд, в прошлом высокопоставленный сотрудник британской спецслужбы, рассказывает о главном навыке разведчика — принимать верные решения на основании ограниченной, неполной, а иногда и просто недостоверной информации. Из его книги вы узнаете, что делать, когда у вас нет времени проверить факты, как научиться не поддаваться панике, не впадать в ступор, верно оценивать риски, игнорировать теории заговора и выводить на чистую воду лжецов и манипуляторов. В основе авторского метода работы с информацией — многолетний опыт разведчиков и аналитиков разных стран, отточенный во время таких событий, как война на Фолклендах или Карибский кризис. Отдельные главы книги посвящены ведению переговоров и установлению доверительных отношений в различных обстоятельствах.
Предпросмотр: Прицельное мышление. Принятие решений по методикам британских спецслужб.pdf (0,1 Мб)
Автор: Непряхин Никита
Альпина Паблишерз: М.
Любому школьнику сложно: столько уроков, домашних заданий, книг и учебников. А сколько еще сложностей: проблемы с одноклассниками, встречи с новым и неизведанным, выбор будущей профессии и своего пути. Как во всем этом не запутаться? Как принимать правильные, логически выверенные решения? Как не запутаться в огромном океане информации? Логика и критическое мышление, один из самых ключевых навыков ХХI века. Эта книга как раз об этом. Она интересная и нескучная, в ней собраны 10 историй, с которыми так или иначе встречался каждый. Авторы этой книги, настоящие исследователи критического мышления, помогут найти правильные ответы и все разложить по полочкам.
Предпросмотр: Критическое мышление. Железная логика на все случаи жизни.pdf (0,2 Мб)
Автор: Игараси Хирокадзу
ДМК Пресс: М.
Юи, дочь владельцев отеля, мечтает оснастить его по последнему слову техники. Но прежде, чем строить крупные планы, надо справиться с решением элементарных задач – в частности, наладить работу электрического оборудования в здании. Героиня манги пройдёт все этапы знакомства с электрооборудованием, начиная с простейшего (розетки и выключатели) и заканчивая электроприборами и сложными системами, включая трансформаторную подстанцию, аварийное освещение и средства защиты от стихийных бедствий. В разделах изложена базовая информация, при этом в каждой главе приводится дополнительный материал. Те, кому достаточно получить общее представление об устройстве и работе электрооборудования, могут пропустить эти страницы и остановиться на начальном уровне.
Предпросмотр: Занимательное электрооборудование манга.pdf (0,2 Мб)
Автор: Дженесерет Майкл
ДМК Пресс: М.
Логическое программирование – это стиль программирования, в котором программы принимают форму наборов предложений на языке символической логики. В последнее время интерес к нему вырос благодаря возможности применения в дедуктивных базах данных, электронных таблицах, создании бизнес-логики при управлении предприятием и др. Данная книга знакомит с теорией логического программирования, современными технологиями и популярными применениями. Авторы ведут читателя от изучения базовых понятий (наборы данных, запросы, обновления и т. д.) к практическому применению вычислительной логики. Книга удобно структурирована: рассмотрение новых терминов сопровождается многочисленными примерами; в конце глав приводятся упражнения, позволяющие закрепить пройденный материал.
Предпросмотр: Введение в логическое программирование.pdf (0,6 Мб)
Автор: Шептунов М. В.
Горячая линия – Телеком: М.
краткой форме доступно изложены основы дискретной математики. Рассмотрены основы теории множеств, уделено внимание комбинаторному и теоретико-множественному подходам. Рассмотрены элементы математической логики. Изложены основные методы и подходы теории графов. Рассмотрены специальные маршруты в графах и поиск путей. Раскрыты основные вопросы теории кодирования. Наряду с основополагающими понятиями – кодами Грея и Хемминга уделено внимание применению алгоритма RSA в режимах шифрования и электронной цифровой подписи. Пособие подготовлено в соответствии с разработанными автором рабочими программами Финансового университета (ФГОБУ ВО «Финансовый университет при Правительстве РФ»).
Предпросмотр: Дискретная математика для бакалавриата.pdf (0,2 Мб)
Автор: Карякин М. И.
Изд-во ЮФУ: Ростов н/Д.
Пособие содержит теоретический материал, а также варианты индивидуальных и проектных заданий, связанных как с основными разделами языка программирования Python (функции, строки, списки и т. п.), так и с использованием распространенных библиотек научного программирования
— Numpy, Matplotlib, Pandas. В качестве средства выполнения заданий
предполагается использование среды Jupyter Notebook.
Предпросмотр: Технологии программирования и компьютерный практикум на языке Python.pdf (0,5 Мб)
Автор: Непейвода Н. Н.
Директ-Медиа: М.
Данное пособие содержит введение в язык современной математики и методы современной логики, основные важнейшие для приложений и методологии результаты логики ХХ века, советы по применению методов и методологии логики в информатике и информационном анализе сложных задач, методологический и философский анализ следствий приведённых результатов и методов. Впервые в мировой литературе оно содержит систематическое изложение конструктивной математики с точки зрения как современной информатики, так и многоуровневого анализа её успехов и уроков. Его можно использовать совместно с обучающими программами высокого уровня и программами проверки рассуждений, подобными AGDA. Предыдущие версии книги выпущены издательствами УдГУ, 1997 (1-е издание); НГУПресс, 2000 г. (2-е издание, исправленное и дополненное).
Предпросмотр: Прикладная логика учебное пособие.pdf (0,7 Мб)
Автор: Яшин Б. Л.
Директ-Медиа: М.
Учебное пособие посвящено проблемам философии и методологии математики. В нем на материале истории математики рассматриваются проблемы становления философии математики, анализируются различные подходы к пониманию математики и ее развития, соотношение в математике рационального и иррационального, а также специфика математического познания, связанная с предметом, объектами и методами этой науки и пониманием в ней истины. В пособии выделен специальный раздел, в котором раскрывается взаимосвязь математики с философией, гуманитарной наукой и искусством, значимость для любого вида творчества своеобразной «диффузии» интеллектуального и чувственного, научного (математического) и художественного знания.
Предпросмотр: Математика в контексте философских проблем учебное пособие.pdf (0,0 Мб)
Автор: Кук Мэтт
ДМК Пресс: М.
Эта книга — настоящий путеводитель по парадоксам, начиная с древнейших (Ахиллес и черепаха) и заканчивая современными (кот Шрёдингера и парадокс Тьюринга). Как утверждают авторы, парадокс — это «магия в вашей голове». Что делать, если интуиция подсказывает одно, а логика диктует другое? Остроумные примеры, собранные под одной обложкой, — отличное средство тренировки внимательности, памяти и математических навыков. Некоторые из парадоксальных предположений ошибочны, другие можно подтвердить, но в любом случае для их проверки вам понадобятся терпение и смекалка.
Предпросмотр: Ловкость ума. 75 гениальных парадоксов в математике, физике и философии.pdf (0,4 Мб)
Автор: Танака Кэнъити
ДМК Пресс: М.
Студент Аонума учится в университете на электроинженера, но осваивать премудрости науки ему тяжело. Всё меняется в его жизни, когда он знакомится с сотрудницей энергетической компании Татибаной. Она объяснит нерадивому студенту, что такое электрические цепи, последовательное и параллельное соединение, переменный и постоянный ток, а потом перейдёт и к более сложным темам: тригонометрическим функциям, комплексным числам и др. Под руководством Татибаны Аонума погружается в мир математики для электроинженеров, учится решать задач и понемногу меняет своей отношение к нелюбимому предмету.
Предпросмотр: Занимательная электротехника. Математика и электричество манга.pdf (0,5 Мб)
Автор: Авдошин С. М.
ДМК Пресс: М.
Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3. В основу книги положен многолетний опыт преподавания авторами дисциплины «Дискретная математика» на факультете бизнес-информатики, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Национального исследовательского университета Московский энергетический институт.
Предпросмотр: Дискретная математика. Формально-логические системы и языки.pdf (0,7 Мб)
Автор: Авдошин С. М.
ДМК Пресс: М.
Книга содержит необходимые сведения из теории алгоритмов, теории графов, комбинаторики. Рассматриваются частично рекурсивные функции, машины Тьюринга, приводятся некоторые варианты алгоритмов (ассоциативные исчисления, системы подстановок, грамматики, продукции Поста, нормальные алгоритмы Маркова, операторные алгоритмы). Описываются основные типы графов (мультиграфы, псевдографы, эйлеровы графы, гамильтоновы графы, деревья, двудольные графы, паросочетания, сети Петри, планарные графы, транспортные сети). Приводятся некоторые часто используемые в практике алгоритмы на графах. Рассматриваются классические комбинаторные конфигурации и их производящие функции, рекуррентные последовательности. В основу книги положен многолетний опыт преподавания авторами дисциплины «Дискретная математика» на факультете бизнес-информатики, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Национального исследовательского университета Московский энергетический институт.
Предпросмотр: Дискретная математика. Алгоритмы теория и практика.pdf (0,4 Мб)
Автор: Солтис Майкл
ДМК Пресс: М.
Книга представляет собой краткое, но математически строгое введение в анализ различных алгоритмов с точки зрения доказывания их правильности. Вы ознакомитесь с основными свойствами линейных, ветвящихся и циклических алгоритмов и способами их проверки. Книга содержит большое количество теоретических задач и практических примеров на языке Python.
Предпросмотр: Введение в анализ алгоритмов.pdf (0,7 Мб)
Автор: Минитаева Алина Мажитовна
Изд-во МГТУ им. Н.Э. Баумана: М.
В систематизированном виде изложены теоретические основы, обеспечивающие
единую методическую базу для изучения информатики. Представлены все необходимые материалы для усвоения дисциплины «Информатика» в объеме учебного курса вуза в соответствии с государственным образовательным стандартом.
Предпросмотр: Кодирование информации. Системы счисления. Основы логики.pdf (0,1 Мб)
Автор: Пехтерева Л. В.
Изд-во НГТУ
В учебном пособии рассматриваются формы абстрактного познания: понятия, высказывания и умозаключения. Изучаются определения и свойства, особенности разных форм познания, возможные логические ошибки в определениях. Рассматриваются отношения между понятиями, их графические схемы, типы и классификация высказываний. Изучаются непосредственные умозаключения, способы доказательства и опровержение разных типов высказываний.
Предпросмотр: Элементы математической логики. 5 класс.pdf (0,3 Мб)
Автор: Кравченко А. В.
Изд-во НГТУ
В пособии изложены основы универсальной алгебры и теории решеток, разделов математики, находящихся на стыке алгебры и математической логики. От читателя требуется владение основами алгебры в рамках курса «Линейная алгебра», читаемого на I курсе всех факультетов НГТУ.
Предпросмотр: Универсальная алгебра и теория решеток.pdf (0,2 Мб)
Автор: Кравченко А. В.
Изд-во НГТУ
В пособии изложены основы универсальной алгебры и теории квазимногообразий, разделов математики, находящихся на стыке алгебры и математической логики. От читателя требуется владение основами алгебры в рамках курса «Линейная алгебра», читаемого на I курсе всех факультетов НГТУ.
Предпросмотр: Универсальная алгебра и теория квазимногообразий.pdf (0,1 Мб)
Автор: Судоплатов С. В.
Изд-во НГТУ
Книга является второй частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В книге рассмотрены генерические эренфойхтовы теории и реализации предпорядков Рудин–Кейслера в этих теориях; решение проблемы Гончарова–Миллара о существовании эренфойхтовой теории, имеющей счётные, не почти однородные модели; стабильные генерические эренфойхтовы теории (решение проблемы Лахлана);
гиперграфы простых моделей и распределения счётных моделей малых теорий, а также распределения счётных моделей теорий с континуальным числом типов.
Предпросмотр: Классификация счетных моделей полных теорий. Ч.2.pdf (0,7 Мб)
Автор: Судоплатов С. В.
Изд-во НГТУ
Книга является первой частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В монографии излагается классификация счётных моделей полных теорий относительно двух основных характеристик (предпорядков Рудин–Кейслера и функций распределения числа предельных моделей) применительно к важнейшим классам счётных теорий. К таким классам относятся класс эренфойхтовых теорий (т. е. полных теорий с конечным, но большим единицы числом попарно неизоморфных счетных моделей), класс малых теорий (т. е. полных теорий, имеющий счётное число типов) и класс счётных теорий с континуальным числом типов. Для реализации основных характеристик счётных полных теорий приводятся синтаксические генерические конструкции, обобщающие конструкции Йонсона–Фраиссé и конструкции Хрушовского. На основе этих конструкций представляется решение
проблемы Гончарова–Миллара о существовании эренфойхтовой теории,
имеющей счётные, не почти однородные модели. С помощью модификации
генерической конструкции Хрушовского–Хервига приводится решение
проблемы Лахлана о существовании стабильной эренфойхтовой теории. В
первой части рассмотрена характеризация эренфойхтовости, свойства
эренфойхтовых теорий, генерические конструкции, а также алгебры
распределений бинарных полуизолирующих формул полной теории.
Предпросмотр: Классификация счетных моделей полных теорий. Ч.1.pdf (0,7 Мб)
В учебно методическом пособии изложены основные вопросы дискретной математики.
Рассмотрены темы: Теория множеств, Комбинаторика. В тексте содержатся примеры и задачи но каждой теме, даны иллюстрации. Пособие предназначено для обучающихся по направлениям подготовки 09.03.02 Информационные системы и технологии, 09.03.03 Прикладная информатика.
Предпросмотр: Теория множеств. Комбинаторика.pdf (0,7 Мб)
Страта: СПб.
Все началось с камня… Шел каменный век. Человек научился делать первые симметричные вещи — рубила. Человек вдруг начал различать структуры и создавать символы, и это выделило его из мира животных. Восприятие структур и производство символов с тех пор шли рука об руку. И то, и другое — абстрактные вещи. Восприятие и производство абстрактных вещей стало отличительной стороной деятельности людей и основой развития человеческой цивилизации. Книга посвящена анализу процесса осознания структур, которые реально существуют в природе вне зависимости от человека, и репрезентации их в символических формах.
Предпросмотр: Структуры и символы. Абстракция - эмпирический факт.pdf (0,1 Мб)
Автор: Деменок Сергей
Страта: СПб.
Математические символы прошли долгую эволюцию, прежде чем «заговорили» на этом совершенном языке. В настоящей книге прослеживается вся история его развития, начиная от математических символов древности, арифметики во времена древнего Вавилона, геометрии Египта, логики античной Греции до математического языка Средневековья и Нового времени, с которого начались механический, а за ним электронный способ вычислений, рождение компьютеров и теории информации. В наше время алгоритм стал фактом реальности. Через него мы начинаем понимать реальность символической материи, реальность в прямом смысле этого слова. Символический материал существует в природе сам по себе, без человека. Алгоритмы не только диктуют, а и предугадывают наши желания, они принимают на себя ответственность за то, какую музыку мы слушаем, какие фильмы выбираем, какие отношения устанавливаем в социальных сетях. В заключительной главе книги рассмотрены исключительное влияние алгоритмов на нашу жизнь и прогнозы четвертой промышленной революции.
Предпросмотр: СИМВОЛ И АЛГОРИТМ.pdf (0,1 Мб)
Автор: Ланге Феликс
Страта: СПб.
Нечёткая логика — раздел математики, обобщающий классическую логику и теорию множеств. В книге рассмотрен путь становления нечёткой логики как совершенно новой области науки, ее составляющие, принципы, противоречия и прогнозы развития. Но речь пойдёт далеко не о строгой математике: нечёткая логика является составной частью широкого понятия «искусственный интеллект». Область применения нечёткой логики колоссальна — от разработки устройства интеллектуальных кухонных приборов до построения систем управления сложными производственными процессами.
Предпросмотр: НЕЧЕТКАЯ ЛОГИКА.pdf (0,1 Мб)
Страта: СПб.
Нечёткая логика — обобщение классической логики и теории множеств, она базируется на понятии нечёткого множества, впервые введённого Лотфи Заде в 1965 году. Это не обычная «истинная или ложная» (1 или 0) логика, на которой основаны современные компьютеры. Принадлежность объекта к нечеткому множеству определяется не только условием «да или нет», но любыми условиями в интервале. Предметом нечёткой логики считается исследование рассуждений в условиях нечёткости, размытости, сходных с рассуждениями в обычном смысле, и их применение в вычислительных системах. В книге речь пойдёт далеко не о строгой математике: нечёткая логика является составной частью широкого понятия «искусственный интеллект». Область применения нечёткой логики колоссальна — от разработки устройства интеллектуальных кухонных приборов до построения систем управления сложными производственными процессами.
Предпросмотр: АРИСТОТЕЛЬ vs БУДДА.pdf (0,1 Мб)
Автор: Фейгин. Олег
Страта: СПб.
Складывающийся в последнее время глубоко парадоксальный образ новой физической реальности настолько резко отличается от привычного, что возникает все более серьезная проблема его описания в общедоступных понятиях. Все чудеса окружающего мира блестяще объясняет современная наука, проблемам, задачам и открытием которой и посвящена настоящая книга.
В ней рассказывается о разнообразных парадоксах и свершениях физики, астрономии, математики, кибернетики, биохимии и материаловедения.
Предпросмотр: PRO ПАРАДОКСЫ НАУКИ.pdf (0,1 Мб)
Автор: Дубровский Владимир Васильевич
ФЛИНТА: М.
Курс обыкновенных дифференциальных уравнений является одним из важных разделов современной математики и имеет большое значение в современном математическом образовании. Данное учебное пособие посвящено вопросам существования и единственности решения задачи Коши для дифференциального уравнения вида y′ = f (x, y), зависимости решения от параметров, интегрированию некоторых уравнений первого и n-го порядка в квадратурах. Рассматриваются методы нахождения аналитических решений систем линейных дифференциальных уравнений и систем с постоянными
коэффициентами. Пособие содержит большое число подробно решенных примеров различного уровня сложности, что способствует глубокому усвоению теории.
Предпросмотр: Обыкновенные дифференциальные уравнения. Теория и приложения.pdf (0,4 Мб)
РИО СурГПУ
Учебно-методическое пособие разработано для методического обеспечения дисциплин направлений подготовки 44.03.01 Педагогическое образование, направленность "Математика" и 44.03.05 Педагогическое образование, направленность "Математика и информатика". Практикум по созданию учебных моделей с использованием программы динамической математики GeoGebra направлен на формирование у будущих учителей математики умений использования систем динамической математики для визуализации и обработки математической информации. Пособие будет полезно для обеспечения самостоятельной работы студентов при изучении математических дисциплин в магистратуре, а также в работе курсов повышения квалификации учителей математики. Может использоваться при разработке и проведении курсов по выбору, в аудиторной работе и в организации самостоятельной деятельности студентов по дисциплинам "Элементарная математика". "Геометрия" "Математический анализ", "Теория вероятностей и математическая статистика", "Методика обучения математике".
Предпросмотр: Использование компьютерных средств при обучении математике.pdf (0,6 Мб)
Автор: Бурлакова Татьяна Вячеславовна
Издательство Шуйского филиала ИвГУ
Учебно-методические материалы предназначены для организации самостоятельной работы студентов образовательной программы Математика; Информатика по направлению подготовки 44.03.05 Педагогическое образование (с двумя профилями подготовки).
Предпросмотр: История математики.pdf (0,7 Мб)
Автор: Васильева А. В.
Сиб. федер. ун-т
Изложен теоретический материал по разделам дискретной математики: множества, отношения, математическая логика, графы, который проиллюстрирован большим количеством примеров. Каждый раздел завершается вопросами и заданиями для самоконтроля. Приведены задания для самостоятельной работы.
Предпросмотр: Дискретная математика.pdf (0,5 Мб)
Издательский дом ВГУ
Подготовлено на кафедре вычислительной математики и прикладных информационных технологий и кафедре математических методов исследования операций факультета прикладной математики, информатики и механики Воронежского государственного университета.
Предпросмотр: Сборник задач по дискретной математике .pdf (0,9 Мб)
Автор: Сардак Л. В.
Горячая линия – Телеком: М.
Рассмотрены основы использования систем компьютерной математики MathCad, Mathematica, Maple, а также системы верстки технических текстов на базе языка макрокоманд LaTeX. Пособие содержит необходимый теоретический материал, лабораторный практикум, контрольные работы и доступное для скачивания с сайта издательства электронное приложение с демонстрационными учебными и рабочими файлами, необходимые при изучении дисциплин «Компьютерная математика», «Информационные технологии в математике», «Математические пакеты», «Программное обеспечение для решения задач высшей математики», входящих в систему подготовки инженеров.
Предпросмотр: Компьютерная математика. Учебное пособие для вузов Под редакцией профессора Б. Е. Стариченко (1).pdf (2,2 Мб)
Автор: Старожилова О. В.
Изд-во ПГУТИ
Учебное пособие затрагивает специальные разделы математики: математическая логика и теории автоматов, алгебра высказываний, исчисление высказываний, элементы теории алгоритмов, регрессионный анализ, методы оптимизации. Каждый раздел заканчивается контрольными вопросами, которые помогут проверить теоретическое освоение курса, содержит большое количество задач для самостоятельного решения и ответы для проверки. Пособие содержит лабораторный комплекс и ряд инженерных задач с акцентом на программную реализацию методов вычислительной математики.
Предпросмотр: Специальные главы математики учебное пособие.pdf (0,6 Мб)
Автор: Блатов И. А.
Изд-во ПГУТИ
Учебное пособие затрагивает такие разделы математической логики и теории алгоритмов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов. Каждый раздел заканчивается контрольными вопросами, которые помогут проверить теоретическое освоение курса, содержит большое количество задач для самостоятельного решения и ответы для проверки.
Предпросмотр: Математическая логика и теория алгоритмов учебное пособие.pdf (0,8 Мб)
Автор: Ласкер Эмануил
Человек: М.
Изданная в Германии в 1930 г., книга выдающегося гроссмейстера, чемпиона мира, философа и математика Эм. Ласкера впервые выходит на русском языке. Любители шахмат почерпнут из этой книги основы и других, не менее увлекательных игр, таких как го, английские и немецкие шашки, трик-трак, также изобретенной самим маэстро игрой «Ласка»; «поломают» голову над математическими задачами, предназначенными для своего рода состязаний.
Предпросмотр: Настольные игры и математические задачи.pdf (1,8 Мб)
Автор: Деменок Сергей
Страта: СПб.
Второе издание книги «Просто символ» продолжает цикл авторских публикаций о символах. Символическое содержание мира автор видит столь же реальным, как сама реальность, соглашаясь с титанами теоретической физики: глубинные связи можно понять только тогда, когда используется язык иносказаний и образов. Автор рассматривает символ, как основополагающий элемент реальности, стоящий в одном ряду с элементарными частицами вещества и квантами действия. Обобщая принцип суперсимметрии, автор утверждает даже то, что при определенных условиях символ может заместить вещь или действие
так, что в реальности ничего не изменится. Книга призвана популяризировать фундаментальные положения точной науки и философии согласно идее: символ реален.
Предпросмотр: Просто символ.pdf (0,2 Мб)
Автор: Де Касто Виктор
Страта: СПб.
Чем больше одни стремятся что-то скрыть, тем больше другие хотят это «что-то» узнать. Когда люди только научились писать, их тайны материализовались,
представ в образе символов, иероглифов, букв, цифр. Но в таком виде они стали доступны другим. С этого времени началось извечное соревнование между шифровальщиками, пытающимися скрыть информацию, и криптоаналитиками, стремящимися расшифровать ее. Криптография сегодня — это область научных, прикладных, инженерно-технических исследований,
основанная на фундаментальных понятиях математики, физики, теории информации и сложности вычислений. В книге рассказывается об истории криптографии: от примитивных систем шифрования и дешифровки,
придуманных людьми еще в древние времена, до современных компьютерных алгоритмов — как существующих, так и тех, над которыми работают нынешние
ученые-криптографы.
Предпросмотр: Про криптографию (Символ — машина — квант).pdf (0,3 Мб)