510Фундаментальные и общие проблемы математики. Основания математики, математическая логика
← назад
Свободный доступ
Ограниченный доступ
Автор: Раушенбах
Проблема анализа произведений искусства математическими методами.
Автор: Бубнов В. А.
Лаборатория знаний: М.
В основу данной работы положено представление о том, что информация - это содержание символа, изображенного различными графическими конструкциями. В монографии обсуждаются все аспекты измерения и переработки информации посредством анализа графических символьных конструкций.
Предпросмотр: Информатика и информация знаково-символьный аспект.pdf (0,3 Мб)
Автор: Кранц Стивен
Лаборатория знаний: М.
Книга знакомит читателя с тем, как развивалось с течением времени понятие математического доказательства. Некоторые иллюстративные и интересные математические результаты приведены с доказательствами и поясняющими примерами. Рассмотрен вклад в историю доказательства многих великих математиков. Легкий и увлекательный стиль автора делает изложение доступным широкому кругу читателей.
Предпросмотр: Изменчивая природа математического доказательства. Доказать нельзя поверить.pdf (0,2 Мб)
Автор: Прокл Диадох
Русский фонд содействия образованию и науке: М.
Составленный Проклом комментарий к первой книге "Начал" Евклида впервые переведён на русский язык в полном объёме. Трактат Прокла – это единственный дошедший до наших дней античный комментарий к Евклиду. Он представляет первостепенный интерес как с точки зрения истории математики и её преподавания, так и с точки зрения истории философии.
Предпросмотр: Комментарий к первой книге Начал Евклида.pdf (1,4 Мб)
Автор: Шмакова Марина Валентиновна
РИО БГУ
В статье приводится сравнительный анализ результатов расчета по восьми формулам общего расхода наносов по данным наблюдений на пятнадцати гидрометрических створах, расположенных на водотоках США. Лучший результат показала аналитическая формула расхода наносов, являющаяся следствием основного уравнения движения воды и твердого вещества в речном потоке.
Автор: Ройзнер
В работе рассматриваются элементарные свойства (выразимые в языке первого порядка) групп автоморфизмов абелевых p-групп.
Автор: Измайлов
Строится континуум различных логик, что доказывает тот факт, что мощность решетки расширений логики двух отношений эквивалентности Ext является континуумом.
Автор: Попов А. М.
ЮНИТИ-ДАНА: М.
Учебное пособие подготовлено в соответствии с государственным образовательным стандартом высшего профессионального образования по дисциплине «Информатика и математика». В соответствии с дидактическими блоками стандарта изложены основные разделы дискретной математики, теории вероятностей, математической статистики и основ информатики. Даны основные характеристики математических методов и моделей, используемых в праве, криминологии и судебной экспертизе.
Предпросмотр: Информатика и математика. Учеб. пособие. Гриф УМЦ Профессиональный учебник.pdf (2,6 Мб)
РИЦ СГСХА
Учебное издание содержит краткий теоретический материал по каждому из разделов дисциплины «Теория множеств», примеры решения типовых задач и задачи для самостоятельного решения.
Предпросмотр: Теория множеств.pdf (1,0 Мб)
Автор: Блатов И. А.
Изд-во ПГУТИ
Конспект лекций затрагивает такие разделы математической логике и теории автоматов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов. Каждая лекция заканчивается контрольными вопросами, которые помогут проверить теоретическое освоение курса, содержит большое количество задач для самостоятельного решения и ответы для проверки.
Предпросмотр: Математическая логика и теории алгоритмов Конспект лекций.pdf (0,5 Мб)
Автор: Чулков П. В.
Издательство Прометей: М.
В учебном пособии представлены материалы по арифметике (четность, делимость), логике, простейшим алгоритмам, теории информации, наглядной геометрии и многое другое. Материалы пособия можно использовать для организации работы математических кружков, факультативов. Печатается по решению Ученого совета математического факультета Московского педагогического государственного университета.
Предпросмотр: Практикум по элементарной математике (2-ой курс). Монография.pdf (0,2 Мб)
Автор: Яшин Б. Л.
Издательство Прометей: М.
Учебное пособие посвящено проблемам философии и методологии математики. В нем на материале истории математики рассматриваются проблемы становления философии математики, анализируются различные подходы к пониманию математики и её развития, соотношения в математике рационального и иррационального, а также специфика математического познания, связанная с предметом, объектами и методами этой науки и пониманием в ней истины. В пособии выделен специальный раздел, в котором раскрывается взаимосвязь математики с философией, гуманитарной наукой и искусством, значимость для любого вида творчества своеобразной диффузии интеллектуального и чувственного, научного (математического) и художественного знания.
Предпросмотр: Математика в контексте философских проблем. Учебное пособие.pdf (0,2 Мб)
Автор: Зайцева О. Н.
КНИТУ
В представленном пособии в доступной форме рассказывается о фундаментальных понятиях дискретной математики – логике, булевых
функциях, множествах, отношениях и графах. Теория изложена кратко, но
иллюстрирована многочисленными простыми для понимания примерами.
Изложение курса дискретной математики представлено в форме
решения математических задач различной сложности, связанных с
программированием. Предложены алгоритмы решения этих задач,
написанные на «псевдокоде». Пособие может быть использовано при изучении дисциплин «Дискретная математика», «Информатика», «Линейная алгебра и
дискретная математика», «Логика» студентами института легкой
промышленности моды и дизайна (направление подготовки «Информационные системы и технологии»), инженерного химико-технологического института (направление подготовки «Информационная безопасность»), института управления, автоматизации и информационных технологий (направление подготовки «Информатика и вычислительная техника»).
Предпросмотр: Математические методы в приложениях. Дискретная математика.pdf (1,0 Мб)
Автор: Ткаченко С. В.
ЛГТУ
Пособие является одной из частей системы учебных пособий по дискретной математике. Рассматриваются основные разделы дисциплины «Теория графов и математическая логика», в частности математическая логика.
Предпросмотр: Математическая логика.pdf (0,5 Мб)
Автор: Полищук Д. Ф.
Регулярная и хаотическая динамика
Компактность образования основана на применении специальных информационных операторов, единых для любых областей знания. Внутренняя структура этих операторов представлена единством математики, физики и прикладной философии для единого образовательного курса, направленного на инженерную деятельность, включающего теоретическую механику, краткий курс сопротивления материалов, новый подход в механике машин, элементы механики сплошных сред, основанный на единой физике (колебания, прочность, устойчивость, удар). Главное внимание в курсе лекций уделено методам творчества как в области статики, кинематики, динамики (теоретическая механика), так и в механике машин. Подробно анализируются парадоксы механики, показаны их истоки и методы их преодоления. Доступность курса определяется компактами законов динамики, краткими компактами по колебаниям, устойчивости, удару, прочности, основным компактом задач динамики. Качественный подход к образованию подразумевает: включение взаимосвязанных нелинейных задач механики, которое позволило впервые получить единство механики Ньютона (классическая механика) и механики Эйлера (механика деформируемых тел); показана реализация единой механики при проектировании механизмов; представлены гипотезы качественной единой физики природы.
Предпросмотр: Компактное, доступное и качественное образование. Курс лекций.pdf (0,3 Мб)
Автор: Полищук Д. Ф.
Регулярная и хаотическая динамика
Книга посвящена применению философии в образовании, науке, технике. Компактность образования основана на применении специальных информационных операторов, единых для любых областей знания. Внутренняя структура этих операторов представлена единством математики, физики и прикладной философии для единого образовательного курса, направленного на инженерную деятельность.
Рассмотрены методы поиска новых задач в науке, образовании, технике. В методах творчества сочетаются приемы технического творчества, системные операторы, включающие элементы математики, физики и прикладной философии, а также непосредственный комплекс прикладной философии объекта для преодоления противоречий. Рассмотрены математические парадоксы, физические парадоксы, парадоксы прикладной философии в механике. Кратко изложены результаты решения нового класса задач математики и физики — взаимосвязанных нелинейных задач механики. На основе бифуркационной логики анализируются основания классической математики. Единая физика механики рассматривается как единство взаимосвязанных нелинейных задач колебаний, устойчивости, прочности и удара (на основе винтового деформированного движения). Единая физика механики предложена в качестве гена природы, рассматривающая в единстве гипотезы: Большого взрыва, теории света, квантовой механики, элементов полевой структуры эфира. Качественная модель единой физики природы основана на обосновании только известных экспериментальных явлений.
Данная книга заканчивает основной цикл работ автора по интеграционной механике, которая показала, что природа описывается не простейшими математическими зависимостями, а сложными нелинейными взаимосвязанными задачами, лежащими в искусственно созданной области нерешаемых задач.
Предпросмотр: Прикладная философия интеграционной механики.pdf (0,2 Мб)
Автор: Пуанкаре А.
Регулярная и хаотическая динамика
В книге собраны основные математические и естественно-научные работы периода 1905-1912 г. Одно из важных мест занимают его доклады на математических конгрессах и геттинские лекции. Большинство работ ранее на русский язык не переводились.
Предпросмотр: Последние работы А. Пуанкаре..pdf (0,3 Мб)
Автор: Крайзель Г.
Институт компьютерных исследований: М.
Имя выдающегося математика К. Геделя широко известно не только математикам прежде всего благодаря его знаменитой «теореме о неполноте». Биография Геделя, написанная известным логиком Крайзелем, содержит не только достаточно доступное изложение результатов Геделя в математической логике, но и раскрывает их философские истоки и смысл. Эта книга — единственная опубликованная на русском языке биография одного из самых знаменитых ученых двадцатого века.
Предпросмотр: Биография Курта Геделя.pdf (0,1 Мб)
Цель: рассмотрение логико-вероятностного моделирования отказов блоков сложной системы различного типа с уче-
том связей между блоками, основанного на логико-лингвистическом подходе. Результаты: описана процедура модели-
рования, сочетающая логико-вероятностный и логико-лингвистический методы моделирования процессов изменения
во времени параметров блоков сложной системы в процессе ее эксплуатации. Разработана модель, реализующая упро-
щенный подход к проблеме учета связей между блоками сложной системы с использованием логико-вероятностного и
лингвистического метода моделирования. Реализован алгоритм моделирования изменения во времени вероятности от-
каза сложной системы в виде компьютерной программы в среде С#. Практическая значимость: предложенный подход
к проблеме учета связей между блоками сложной системы при моделировании изменения во времени вероятностей
их отказа позволяет повысить точность прогнозирования вероятности отказа как для одного блока, так и для связанных
с ним других блоков, что приводит к отказу всей системы. Полученная модель может быть применена для управления
живучестью сложной системы, например гидроэлектростанции. Результаты, полученные при моделировании, открывают
возможности для дальнейших исследований, таких как адаптация алгоритма, для моделирования большого множества
объектов, а также создания в будущем экспертной системы, позволяющей обслуживать сложные системы и предот-
вращать аварии и катастрофы. По результатам эксплуатации и прогнозирования отказов конкретных систем можно
провести коррекцию вводимых в процессе моделирования коэффициентов связи и интервалов квантования фаззифи-
цируемых данных, за счет чего может быть повышена достоверность и точность моделирования.doi:10.15217/issn1684-8853.2015.1.35
Автор: Фролов С. В.
ГИОРД: СПб.
Материал, сгруппированный по основным разделам математики (дифференциальное исчисление, интегралы, дифференциальные уравнения, ряды и пр.), пополнен некоторыми темами, не входящими в стандартный курс. В книге показано, как на практике работают разделы, изучаемые в курсе высшей математики. Учебное пособие способствует преодолению разрыва между материалом, излагаемым на первых курсах, и приложениями математики, с которыми студенты встречаются
на последних стадиях обучения.
Предпросмотр: Высшая математика. Этюды по теории и ее приложениям.pdf (0,3 Мб)
Автор: Бояринцева Т. Е.
Изд-во МГТУ им. Н.Э. Баумана: М.
Приведены основные понятия и факты, относящиеся к языку высказываний, языку предикатов, теории aлгоритмов, теории нечетких миожеств и нечеткой логике. Наряду с традиционными разделами математической логики изложен метод резолюций, полезный для приложений. Рассмотрены типовые задачи.
Предпросмотр: Математическая логика и теория алгоритмов.pdf (0,1 Мб)
Автор: Яшин Б. Л.
МПГУ: М.
Учебное пособие посвящено проблемам философии и методологии математики. В нем на материале истории математики рассматриваются проблемы становления философии математики, анализируются различные подходы к пониманию математики и ее развития, соотношение в математике рационального и иррационального, а также специфика математического познания, связанная с предметом, объектами и методами этой науки и пониманием в ней истины. В пособии выделен специальный раздел, в котором раскрывается взаимосвязь математики с философией, гуманитарной наукой и искусством, значимость для любого вида творчества своеобразной «диффузии» интеллектуального и чувственного, научного (математического) и художественного знания.
Предпросмотр: Математика в контексте философских проблем (1).pdf (0,2 Мб)
Автор: Белов Ю. А.
ЯрГУ
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
Предпросмотр: Лекции по математической логике и теории алгоритмов учебное пособие.pdf (0,4 Мб)
Автор: Антонов Вячеслав Иосифович
Бурятский государственный университет
Учебник содержит традиционные разделы математического анализа,
теории вероятностей и математической статистики в объеме, предусмотренном требованиями Федерального государственного образовательного стандарта высшего профессионального образования по естественным, гуманитарным и социальным направлениям. Изложение материала снабжено необходимыми рисунками, содержит более ста наглядных примеров.
Предназначено для студентов высших учебных заведений. Может
быть использовано преподавателями, аспирантами и студентами, использующими в своей практике математические средства анализа информации.
Предпросмотр: Математика для естественных и гуманитарных специальностей.pdf (0,6 Мб)
Автор: Лобанов
ПРОМЕДИА: М.
Авторская характеристика современных математиков.
Автор: Лобанов
ПРОМЕДИА: М.
Некорректность модусов Аристотеля.
Автор: Лобанов
ПРОМЕДИА: М.
Предлагается программа для моделирования и анализа рассуждений.
Автор: Волин
ПРОМЕДИА: М.
Продолжение исследования проблемы "странности" деревьев.
Автор: Лобанов
ПРОМЕДИА: М.
Нечеткая логика как метод решения некоторых задач, его несовершенство.
Автор: Лобанов
ПРОМЕДИА: М.
Формирование математической логики, отличие ее от интегрированной.
Автор: Лобанов
ПРОМЕДИА: М.
Методы решения логических уравнений.
Автор: Глоргер
ПРОМЕДИА: М.
Графическое представление произвольного сочетания корундов.
Автор: Лобанов
ПРОМЕДИА: М.
Шаблоны решения силлогизмов.
Автор: Волин
ПРОМЕДИА: М.
Построение "родственных" последовательностей автоморфизмов.
Автор: Успенский
ПРОМЕДИА: М.
Рассказывается о том, как преодолеть барьеры между гуманитариями и математиками, говорящими на разных языках, чем математика может помочь гуманитарным наукам.
ПРОМЕДИА: М.
В рецензируемой книге рассматриваются вопросы стереометрии, теории вероятности и общие проблемы математики.
Автор: Туганбаев А. А.
ФЛИНТА: М.
В книге рассмотрен важный раздел математического анализа:
теория и практическое вычисление неопределенных и определенных интегралов. Книга соответствует программам курсов математического анализа для студентов различных нематематических специальностей и может выполнять функции учебника, задачника, решебника и сборника контрольных заданий.
Предпросмотр: Математический анализ интегралы.pdf (0,3 Мб)
Автор: Туганбаев А. А.
ФЛИНТА: М.
В книге рассмотрен важный раздел математического анализа:
теория и практическое вычисление производных, построение графиков. Книга соответствует программам курсов математического анализа для студентов различных нематематических специальностей и может выполнять функции учебника, задачника, решебника и сборника контрольных заданий.
Предпросмотр: Математический анализ производные и графики функций.pdf (0,3 Мб)