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

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

В сборнике представлены материалы Восьмой региональной научно-практической конференции: статьи учащихся и школьных учителей; обзорная статья о результатах конкурса «Архангельская область в математических задачах»; разработки научно-популярных занятий, подготовленные преподавателями Института математики, информационных и космических технологий САФУ. Содержание материалов отражает результаты научной и практической работы, направленной на решение актуальной методической проблемы – организации научно-исследовательской работы школьников в области математики, прикладной математики и информатики.

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

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

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

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

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

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

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

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

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

Настоящее издание посвящено юбилею выдающегося математика, академика РАН Виктора Леонидовича Матросова. Составляющие книгу научные работы по теории распознавания образов и по теории сложности вычислений стали в настоящее время основополагающими для данных областей математики.

Учебно-методические материалы предназначены для организации самостоятельной работы студентов образовательной программы Математика; Информатика по направлению подготовки 44.03.05 Педагогическое образование (с двумя профилями подготовки).

Математические символы прошли долгую эволюцию, прежде чем «заговорили» на этом совершенном языке. В настоящей книге прослеживается вся история его развития, начиная от математических символов древности, арифметики во времена древнего Вавилона, геометрии Египта, логики античной Греции до математического языка Средневековья и Нового времени, с которого начались механический, а за ним электронный способ вычислений, рождение компьютеров и теории информации. В наше время алгоритм стал фактом реальности. Через него мы начинаем понимать реальность символической материи, реальность в прямом смысле этого слова. Символический материал существует в природе сам по себе, без человека. Алгоритмы не только диктуют, а и предугадывают наши желания, они принимают на себя ответственность за то, какую музыку мы слушаем, какие фильмы выбираем, какие отношения устанавливаем в социальных сетях. В заключительной главе книги рассмотрены исключительное влияние алгоритмов на нашу жизнь и прогнозы четвертой промышленной революции.

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

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

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

Некорректность модусов Аристотеля.

Нечеткая логика как метод решения некоторых задач, его несовершенство.

Методы решения логических уравнений.

Рассмотрены машины Тьюринга, вопросы алгоритмической разрешимости, основные классы сложности, NP-полнота, схемная сложность.

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

Формирование математической логики, отличие ее от интегрированной.

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

Авторская характеристика современных математиков.

Предлагается программа для моделирования и анализа рассуждений.

Шаблоны решения силлогизмов.

Описаны некоторые средства, применяемые в технологии визуально-ориентированного программирования Maplet системы компьютерной математики Maple, на примере численного решения задачи управления спектром собственных значений для линейной стационарной управляемой системы. Проведен сравнительный анализ инструментов ввода и вывода данных и выявлены преимущества их использования. Рассмотрена возможность совместного использования встроенных Maple-библиотек Maplet[Elements], linalg, LinearAlgebra

Приведены основные понятия и факты, относящиеся к языку высказываний, языку предикатов, теории aлгоритмов, теории нечетких миожеств и нечеткой логике. Наряду с традиционными разделами математической логики изложен метод резолюций, полезный для приложений. Рассмотрены типовые задачи.

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

Логика и формы научного мышления. Используемые программы: Adobe Acrobat. Труды сотрудников СГАУ (электрон. версия)

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

Учебное пособие затрагивает такие разделы математической логики и теории алгоритмов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов. Каждый раздел заканчивается контрольными вопросами, которые помогут проверить теоретическое освоение курса, содержит большое количество задач для самостоятельного решения и ответы для проверки.

публикуются результаты исследований по биологическим, физико-математическим и техническим наукам. В разделе «Математика и компьютерные науки» публикуются результаты, полученные в области теоретической, прикладной математики, компьютерных наук. В разделе «Физика и технические науки» публикуются результаты исследований по физическим и техническим наукам, в том числе по общим вопросам физики, общим проблемам физического эксперимента, физике элементарных частиц, теории полей и др. В разделе «Естественные науки» публикуются результаты фундаментально-ориентированных исследований в области рационального природопользования и охраны природных ресурсов, многолетних исследований по физиологии развития человека, биоразнообразию Северного Кавказа, рассматриваются вопросы создания концептуальной модели онтогенеза и адаптации в условиях полимодальных воздействий среды, создания и реализации здравоцентристской парадигмы здоровья учащейся молодежи, экологические основы рационального освоения природных ресурсов. В разделе «Геоинформационные системы» публикуются данные, составляющие интеллектуальную географическую информационную систему, основанные на знаниях и обеспечивающие комплексную диагностику эколого-ресурсного потенциала территории, рассматриваются вопросы технологии автоматизированной географической диагностики территории и др

Цель: рассмотрение логико-вероятностного моделирования отказов блоков сложной системы различного типа с уче- том связей между блоками, основанного на логико-лингвистическом подходе. Результаты: описана процедура модели- рования, сочетающая логико-вероятностный и логико-лингвистический методы моделирования процессов изменения во времени параметров блоков сложной системы в процессе ее эксплуатации. Разработана модель, реализующая упро- щенный подход к проблеме учета связей между блоками сложной системы с использованием логико-вероятностного и лингвистического метода моделирования. Реализован алгоритм моделирования изменения во времени вероятности от- каза сложной системы в виде компьютерной программы в среде С#. Практическая значимость: предложенный подход к проблеме учета связей между блоками сложной системы при моделировании изменения во времени вероятностей их отказа позволяет повысить точность прогнозирования вероятности отказа как для одного блока, так и для связанных с ним других блоков, что приводит к отказу всей системы. Полученная модель может быть применена для управления живучестью сложной системы, например гидроэлектростанции. Результаты, полученные при моделировании, открывают возможности для дальнейших исследований, таких как адаптация алгоритма, для моделирования большого множества объектов, а также создания в будущем экспертной системы, позволяющей обслуживать сложные системы и предот- вращать аварии и катастрофы. По результатам эксплуатации и прогнозирования отказов конкретных систем можно провести коррекцию вводимых в процессе моделирования коэффициентов связи и интервалов квантования фаззифи- цируемых данных, за счет чего может быть повышена достоверность и точность моделирования.doi:10.15217/issn1684-8853.2015.1.35

Изданная в Германии в 1930 г., книга выдающегося гроссмейстера, чемпиона мира, философа и математика Эм. Ласкера впервые выходит на русском языке. Любители шахмат почерпнут из этой книги основы и других, не менее увлекательных игр, таких как го, английские и немецкие шашки, трик-трак, также изобретенной самим маэстро игрой «Ласка»; «поломают» голову над математическими задачами, предназначенными для своего рода состязаний.

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

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

Логика высказываний рассматривается в данном учебном пособии применительно к восприятию студентов-гуманитариев, с более подроб- ным, чем в классических учебниках, изложением наиболее важных ее разделов. Адресовано студентам, изучающим курс «Логика» в рамках социаль- но-экономических и гуманитарных направлений подготовки.

Учебное пособие (продолжение одноименного учебного пособия, изданного в 2004 г.) посвящено различным аспектам построения и анализа эффективных алгоритмов решения некоторых задач. Материал разбит на главы по предметным областям и по методам решения задач. Главы посвящены геометрическим методам в задачах информатики, рекурсии, динамическому программированию и структурам данных. Пособие рассчитано на студентов факультетов информатики и вычислительной техники, обучающихся по специальности 351500 Математическое обеспечение и администрирование информационных систем (дисциплина "Методы построения эффективных алгоритмов", блок ДС), очной формы обучения, а также может оказаться интересным для школьников, принимающих участие в олимпиадах по информатике.

Продолжение исследования проблемы "странности" деревьев.

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

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

Книга содержит необходимые сведения из теории алгоритмов, теории графов, комбинаторики. Рассматриваются частично рекурсивные функции, машины Тьюринга, приводятся некоторые варианты алгоритмов (ассоциативные исчисления, системы подстановок, грамматики, продукции Поста, нормальные алгоритмы Маркова, операторные алгоритмы). Описываются основные типы графов (мультиграфы, псевдографы, эйлеровы графы, гамильтоновы графы, деревья, двудольные графы, паросочетания, сети Петри, планарные графы, транспортные сети). Приводятся некоторые часто используемые в практике алгоритмы на графах. Рассматриваются классические комбинаторные конфигурации и их производящие функции, рекуррентные последовательности. В основу книги положен многолетний опыт преподавания авторами дисциплины «Дискретная математика» на факультете бизнес-информатики, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Национального исследовательского университета Московский энергетический институт.

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

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

В представленном пособии в доступной форме рассказывается о фундаментальных понятиях дискретной математики – логике, булевых функциях, множествах, отношениях и графах. Теория изложена кратко, но иллюстрирована многочисленными простыми для понимания примерами. Изложение курса дискретной математики представлено в форме решения математических задач различной сложности, связанных с программированием. Предложены алгоритмы решения этих задач, написанные на «псевдокоде». Пособие может быть использовано при изучении дисциплин «Дискретная математика», «Информатика», «Линейная алгебра и дискретная математика», «Логика» студентами института легкой промышленности моды и дизайна (направление подготовки «Информационные системы и технологии»), инженерного химико-технологического института (направление подготовки «Информационная безопасность»), института управления, автоматизации и информационных технологий (направление подготовки «Информатика и вычислительная техника»).

Построение "родственных" последовательностей автоморфизмов.

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

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