математика

Вводный курс математической логики, Успенский В.А., Верещагин Н.К., Плиско В.Е., 2007.

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

ВВЕДЕНИЕ.

Логику можно определить как науку о правильных способах рассуждения, т. е. таких способах рассуждения, при которых из верных исходных положений получаются верные результаты. Конечно, можно рассуждать и без науки о правильных рассуждениях. Однако в некоторых случаях потребность в такой науке все же возникает. В частности, такая ситуация сложилась в математике в конце XIX — начале XX вв., когда были обнаружены парадоксы в теории абстрактных множеств, разработанной Г. Кантором. Анализ парадоксов потребовал внимательного исследования рассуждений, применяемых в математике, и тем самым вызвал необходимость в развитии науки о рассуждениях, т. е. логики. Чтобы логика могла обслуживать самую точную из наук — математику, она сама должна быть точной наукой, т. е. она должна иметь дело с точными математическими понятиями и применять точные математические методы. Такова математическая логика — наука о математических рассуждениях, пользующаяся математическими методами.

ОГЛАВЛЕНИЕ.

ГЛАВА 1 ЭЛЕМЕНТЫ ТЕОРИИ МНОЖЕСТВ.
ГЛАВА 2 ЯЗЫКИ ПЕРВОГО ПОРЯДКА.
ГЛАВА 3 ЭЛЕМЕНТЫ ТЕОРИИ ДОКАЗАТЕЛЬСТВ.
ГЛАВА 4 ТЕОРЕМА ГЁДЕЛЯ О ПОЛНОТЕ.
ГЛАВА 5 ТЕОРИЯ АЛГОРИТМОВ.
Список рекомендуемой литературы.
Предметный указатель.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать: Скачать - pdf - Яндекс.Диск.

Методы разработки математических моделей и вычислительный эксперимент на базе пакета MATLAB, Плохотников К.Э., 2017.

 Курс содержит 15 лекций плюс программное приложение. Тематика лекций разбита на две части. В первой части (лекции №1—№9) изложены численные методы решения базовых уравнений математической физики в частных производных. Обсуждаются численные методы, освоение которых проводится в среде MATLAB в виде набора вычислительных экспериментов, проведение каждого из которых доступно на персональном компьютере с предустановленным пакетом MATLAB.
Первая часть курса завершается контрольной работай, содержащей 90 задач. Во второй части курса (лекции №10—№15) разбираются оригинальные математические модели: пространственных миграций планктонных организмов, морфогенеза, электромагнитного коллектора, термогеометрической динамики конечного кристаллического образца, турбулентности, идеальной жидкости (дискретный стохастико-детерминированный подход). Разбор математических моделей включает: постановку задачи, приготовление уравнений для вычислительного эксперимента, собственно вычислительный эксперимент в среде MATLAB, а также выводы. В конце книги приведен перечень из 30 тем для самостоятельной работы студентов.
Курс лекций может быть полезен старшекурсникам вузов естественнонаучной ориентации, а также аспирантам, стремящимся приобрести навыки математического моделирования со всем комплексом сопровождения.

Форсированный курс подготовки к экзамену по математике, Титаренко А.М., 2005.

  Пособие включает 5770 задач и упражнений, размещенных в порядке возрастания уровня сложности, по арифметике, алгебре, тригонометрии, вектор -ной алгебре и геометрии. Четко систематизированный материал пособия позво -ляет в полном объеме повторить курс школьной математики и основательно подготовиться к ЕГЭ и вступительным экзаменам в вуз.
Для учащихся старших классов средних школ, гимназий, лицеев, техникумов, ПТУ, абитуриентов.

Графические диктанты, Дойди до клада, Павлова Е.В., Плеханова Л.П., 2017.

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

300 задач по математическому анализу, Ривкинд Я.И., 1962.

В настоящем сборнике помещено 300 задач по математическому анализу на доказательство теорем и построение объектов с заданными свойствами. Многие из них настолько просты, что могут быть использованы на практических занятиях, другие будут полезны как темы курсовых работ или в работе научных кружков. Из 300 задач, помещенных в сборнике, половина сформулирована автором. Эти задачи использовались в работе кружка по математическому анализу в Гродненском пединституте (см. Математическое просвещение, 6, 1961). Остальные задачи разного происхождения. Часть из них это общеизвестные теоремы, выступающие здесь под видом задач, другие взяты из монографий и журнальных статей (на это делались указания в ответах к задачам). Однако многие задачи остались без всяких пояснений и указаний к решению. Это сделано преднамеренно, так как подробные указания к решению задач исключают возможность самостоятельной работы.

Индивидузльные задания по высшей математике, Рябушко А.П., 2006.

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

Сборник индивидуальных заданий по высшей математике, Часть 3, Рябушко А.П., Бархатов В.В., Державец В.В., 1991.

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

Сборник индивидуальных заданий по высшей математике, Часть 2, Рябушко А.П., Бархатов В.В., Державец В.В., 1991.

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