**Данные блоки поддерживают скрол
**Данные блоки поддерживают скрол вверх/вниз
Математическая логика и теория чисел
Ловкость ума
АвторыМ. Кук
ИздательствоДМК-пресс
Год издания2020
Эта книга - настоящий путеводитель по парадоксам, начиная с древнейших (Ахиллес и черепаха) и заканчивая современными (кот Шрёдингера и парадокс Тьюринга). Как утверждают авторы, парадокс - это "магия в вашей голове". Что делать, если интуиция подсказывает одно, а логика диктует другое? Остроумные примеры, собранные под одной обложкой, - отличное средство тренировки внимательности, памяти и математических навыков. Некоторые из парадоксальных предположений ошибочны, другие можно подтвердить, но в любом случае для их проверки вам понадобятся терпение и смекалка.<br> Издание адресовано всем, кого интересуют нестандартные математические задачи. ...
Downloaded
2020-10-20
Прикладная логика
АвторыН. Н. Непейвода
ИздательствоДирект-Медиа
Год издания2019
Данное пособие содержит введение в язык современной математики и методы современной логики, основные важнейшие для приложений и методологии результаты логики ХХ века, советы по применению методов и методологии логики в информатике и информационном анализе сложных задач, методологический и философский анализ следствий приведённых результатов и методов. Впервые в мировой литературе оно содержит систематическое изложение конструктивной математики с точки зрения как современной информатики, так и многоуровневого анализа её успехов и уроков. Его можно использовать совместно с обучающими программами высокого уровня и программами проверки рассуждений, подобными AGDA.<br> Рекомендовано Государственным комитетом Российской Федерации по высшему образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по специальностям "Математика", "Прикладная математика", "Лингвистика", "Философия" и "Психология". ...
Downloaded
2022-07-27
Универсальная алгебра и теория решеток
АвторыКравченко А.В., Швидефски М.В.
ИздательствоНовосибирский ГТУ
Год издания2019
В пособии изложены основы универсальной алгебры и теории решеток, разделов математики, находящихся на стыке алгебры и математической логики. От читателя требуется владение основами алгебры в рамках курса "Линейная алгебра", читаемого на I курсе всех факультетов НГТУ. ...
Downloaded
2020-10-20
Основы универсальной алгебры
АвторыПинус А.Г.
ИздательствоНовосибирский ГТУ
Год издания2019
Учебное пособие посвящено универсальной алгебре, молодой развивающейся науке, нашедшей свои приложения как внутри математики, так и в информатике и ряде других наук. Адресовано студентам и аспирантам-математикам, информатикам, а также научным работникам в этих областях. ...
Downloaded
2020-10-20
Современные алгоритмы обработки пространственно-временных сигналов в сетях связи
АвторыФедосов В.П., Пилипенко А.М., Кучерявенко С.В.
ИздательствоЮФУ
Год издания2019
Учебное пособие выпускается в обеспечение образовательной программы 11.04.02 "Инфокоммуникационные технологии и системы связи" (магистр) по дисциплине "Современные алгоритмы обработки сигналов в радиолокации и радиосвязи". Содержит основные сведения о математических основах, моделях сигналов и алгоритмах обработки в системах связи. Пособие может быть полезно специалистам соответствующих отраслей знаний. ...
Downloaded
2020-05-07
Стратегии решения математических задач: Различные подходы к типовым задачам
АвторыА. Позаментье, С. Крулик
ИздательствоАльпина Паблишер
Год издания2018
Любую задачу можно решить разными способами, однако в учебниках чаще всего предлагают только один вариант решения. Настоящее умение заключается не в том, чтобы из раза в раз использовать стандартный метод, а в том, чтобы находить наиболее подходящий, пусть даже и необычный, способ решения. <br>В этой книге рассказывается о десяти различных стратегиях решения задач. Каждая глава начинается с описания конкретной стратегии и того, как ее можно использовать в бытовых ситуациях, а затем приводятся примеры применения такой стратегии в математике. Для каждой задачи авторы приводят сначала стандартное решение, а затем более элегантный и необычный метод. Так вы узнаете, насколько рассматриваемая стратегия облегчает поиск ответа. ...
Downloaded
2021-07-21
Графы и алгоритмы. Структуры данных. Модели вычислений
АвторыАлексеев В.Е., Таланов В.А.
ИздательствоИНТУИТ
Год издания2016
Курс посвящен алгоритмам на графах. Приводятся базовые понятия и факты из теории графов и излагаются некоторые алгоритмы для решения задач на графах. <br>Основной принцип отбора и организации материала состоял в том, что каждый рассматриваемый пример должен нести определенную идейную нагрузку, знакомить слушателя с одним из важных изобретений или открытий в алгоритмической области. При этом предпочтение отдавалось не самым последним или рекордным алгоритмам, а более простым для понимания и убедительно демонстрирующим ту или иную идею. Для большинства рассматриваемых алгоритмов даются доказательства их правильности (т.е. того, что алгоритм действительно решает поставленную задачу) и оценок трудоемкости. Умение достаточно строго обосновывать алгоритмы и оценивать их трудоемкость является существенной частью квалификации алгоритмиста. Материал первой части может быть использован и в общем курсе дискретной математики. ...
Downloaded
2019-12-27
Введение в теорию множеств
АвторыШень А.Х., Верещагин Н.К.
ИздательствоИНТУИТ
Год издания2016
Курс посвящен основным понятиям "наивной теории множеств" (мощности, упорядоченным множествам, трансфинитной индукции, ординалам). Включает большое количество задач различной сложности. ...
Downloaded
2019-12-27
Логические нейронные сети
АвторыБарский А.Б.
ИздательствоИНТУИТ
Год издания2016
На основе положений математической логики событий исследуется возможность построения логических нейронных сетей, выполняющих операции вывода в составе систем искусственного интеллекта, имитирующих механизмы работы мозга. <br>Предлагаются методы построения обученных нейронных сетей, созданных "под задачу", простые методы обучения-трассировки, методы преобразования описаний систем принятия решений для повышения достоверности выводов. Рассматривается возможность применения логических нейронных сетей в самообучающихся системах управления, а также в различных системах экономики, транспорта, безопасности, защиты информации, при решении задач интеллектуального отображения, в бизнесе туризма и развлечений, при политическом и социальном прогнозировании и в других задачах науки и искусства. ...
Downloaded
2019-12-27
Введение в логику
АвторыБиллиг В.А.
ИздательствоИНТУИТ
Год издания2016
В курсе проводится краткий исторический обзор логики как науки, рассматривается дедуктивный и индуктивный методы вывода и их применение в повседневной жизни. Достаточно подробно рассматриваются базисные математические понятия - множества, отношения, функции. Наряду с традиционными для школьного курса понятиями логики высказываний - бинарных логических функций, построения таблиц истинности, законов логики высказываний, рассматриваются и более сложные вопросы, такие как, например, конъюнктивные и дизъюнктивные нормальные формы записи логических формул. Изложение теоретического материала сопровождается рассмотрением конкретных логических задач. ...
Downloaded
2019-12-26
Введение в нейронные сети
АвторыБарский А.Б.
ИздательствоИНТУИТ
Год издания2016
На основе положений математической логики событий исследуются нейронные сети, имитирующие механизмы работы мозга. Эти механизмы реализуют операции вывода по "нечеткой" логике в составе систем искусственного интеллекта - распознавания, управления и принятия решений - во всех областях человеческой деятельности. Рассмотрение многих примеров демонстрирует простейший подход к построению и развитию обученных нейронных сетей "под задачу", а также трассировку - обучение при заданной структуре сети.<br> Главной целью данного курса является демонстрация и внедрение универсального подхода, способного вывести проблему нейронных сетей с уровня частного применения на уровень массового использования практически во всех областях знаний, где требуется логически обосновать принимаемое решение. Утверждается, что самый простой подход к построению нейронных сетей на основе реализуемой нейроном "нечёткой" логики (логических нейронных сетей), продиктован практикой ясного мышления человека. Этот подход приводит к построению всего лишь однослойных нейронных сетей с простейшей функцией активации нейрона, при необходимости дополненных обратными связями. ...
Downloaded
2019-12-26
Математическая лингвистика и автоматическая обработка текстов
АвторыБатура Т.В.
ИздательствоНовосибирcкий ГУ
Год издания2016
В пособии рассмотрены формальные модели текстов на естественном языке, основанные на методах математической логики, линейной алгебры, теории вероятностей и математической статистики, а также изложены алгоритмы обработки текстов, применяемые для семантического анализа, классификации, поиска и извлечения информации. Пособие предназначено для студентов и аспирантов ФИТ, ММФ и ГФ (отделение фундаментальной и прикладной лингвистики). ...
Downloaded
2018-08-06
Думай как математик : Как решать любые задачи быстрее и эффективнее
АвторыОакли Б.
ИздательствоАльпина Паблишер
Год издания2016
Принято считать, что математики - это люди, наделенные недюжинными интеллектуальными способностями, которые необходимо развивать с самого детства. И большинству точность и логичность математического мышления недоступна. Барбара Оакли, доктор наук, в этой книге доказывает, что изменить способ своего мышления можно, а порой и нужно. Она призывает читателей тренировать мозг и подтверждает конкретными примерами, что каждый может овладеть приемами, которые явно или неявно используют все специалисты по точным и естественным наукам. Прочитав эту книгу, вы научитесь: эффективно решать задачи из любой области знаний; освоите метод интерливинга (чередование разных типов задач); научитесь "сжимать" ключевые идеи так, чтобы их было удобнее удержать в памяти, и узнаете о возможностях своего мозга очень много нового! ...
Downloaded
2017-04-04
Логика высказываний
АвторыГуров С.И.
ИздательствоМГУ им. Ломоносова
Год издания2015
Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании. Подчёркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик. Изложены методы характеризации формул логики высказываний, подробно рассмотрены гильбертовские исчисления, система натурального вывода и исчисление секвенций для исчисления высказываний. Для каждой из трёх систем рассматривается соответствующая мета теория. Рассматриваются семантические методы характеризации формул. Пособие содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями. ...
Downloaded
2019-04-15
Математика - это просто 2.0. Думай математически
АвторыМэйсон Дж., Бёртон Л., Стэйси К.
ИздательствоТехносфера
Год издания2015
"Думай математически" - идеальное пособие для тех, кто стремится развить свои математические способности или занимается обучением математическому мышлению других. Авторы предлагают читателю интересные задания, вовлекая каждого в дискуссию, в результате которой обретается бесценный опыт. Во второе издание включены 77 новых задач и новая глава. Книга открывает глубинные процессы математического мышления и подсказывает, каким образом пробудить интерес к математике и развить природные способности. Книга окажется полезной всем, кто знаком с азами математики и стремится научиться решать как нестандартные математические задачи, так и жизненные проблемы. ...
Downloaded
2016-06-18
Математическая логика, часть II
АвторыАлаев П.Е.
ИздательствоНовосибирcкий ГУ
Год издания2014
Пособие предназначено для студентов математических факультетов, изучающих курс математической логики. Вторая часть пособия посвящена секвенциальному исчислению предикатов, теории моделей, теории алгоритмов и алгоритмическим свойствам логических теорий. ...
Downloaded
2018-08-06
Панель управления
Читайте книги в приложении Консутльтант Студента на iOS, Android или Windows