Национальный цифровой ресурс Руконт - межотраслевая электронная библиотека (ЭБС) на базе технологии Контекстум (всего произведений: 525279)
Консорциум Контекстум Информационная технология сбора цифрового контента
Уважаемые СТУДЕНТЫ и СОТРУДНИКИ ВУЗов, использующие нашу ЭБС. Рекомендуем использовать новую версию сайта.
  Расширенный поиск
510

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


← назад
Результаты поиска

Нашлось результатов: 118

Свободный доступ
Ограниченный доступ
1

История математики

Автор: Бурлакова Татьяна Вячеславовна
Издательство Шуйского филиала ИвГУ

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

Предпросмотр: История математики.pdf (0,7 Мб)
2

Аксиоматическое определение множества вещественных чисел

Автор: Орехов А. В.
Изд-во С.‑Петерб. ун-та: СПб.

Учебное пособие (1-е издание —изд-во «ВВМ», 2013) посвящено решению двух задач: во-первых, дать логически обоснованное аксиоматическое определение множества вещественных чисел и, во-вторых, изучить уникальные свойства этого множества. По содержанию пособие отличается от традиционного введения в математический анализ. Значительная его часть посвящена бинарным отношениям и алгебраическим методам расширения числовых множеств. На элементарном уровне изложены понятия, связанные с измеримостью множеств, а также основные положения общей топологии и топологии метрических пространств. Подробно, с большим количеством примеров, изложена теория пределов числовых последовательностей. Рассмотрены свойства множества вещественных чисел, связанные с его полнотой и сепарабельностью.

Предпросмотр: Аксиоматическое определение множества вещественных чисел.pdf (0,2 Мб)
3

Дискретная математика

Автор: Васильева А. В.
Сиб. федер. ун-т

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

Предпросмотр: Дискретная математика.pdf (0,5 Мб)
4

Многосеточные структурно-алгебраические алгоритмы

Автор: Ефремов В. В.
Сиб. федер. ун-т

Представлены результаты исследований в области создания эффективных вычислительных алгоритмов для решения задач математической физики многосеточными методами. Теоретическое обоснование подкреплено численными расчетами.

Предпросмотр: Многосеточные структурно-алгебраические алгоритмы.pdf (0,2 Мб)
5

Сборник задач по дискретной математике

Издательский дом ВГУ

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

Предпросмотр: Сборник задач по дискретной математике .pdf (0,9 Мб)
6

Научно-исследовательская деятельность школьников в области математики, прикладной математики и информатики: материалы Восьмой региональной научно-практической конференции /

Северный (Арктический) федеральный университет имени М.В. Ломоносова

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

Предпросмотр: Научно-исследовательская деятельность школьников в области математики, прикладной математики и информатики материалы Восьмой региональной научно-практической конференции .pdf (0,6 Мб)
7

Дополнительные главы математики

Автор: Смирнова Е. Н.
ОГУ

В учебном пособии рассмотрены следующие разделы: теория поля, методы оптимизации, теория нечетких множеств. Учебное пособие предназначено для студентов очной формы обучения по направлению подготовки 13.04.02 Электроэнергетика и электротехника по магистерским программам «Автоматизированные энергетические системы и комплексы» и «Электромеханические комплексы и их исследование».

Предпросмотр: Дополнительные главы математики.pdf (0,6 Мб)
8

Компьютерная математика

Автор: Сардак Л. В.
Горячая линия – Телеком: М.

Рассмотрены основы использования систем компьютерной математики MathCad, Mathematica, Maple, а также системы верстки технических текстов на базе языка макрокоманд LaTeX. Пособие содержит необходимый теоретический материал, лабораторный практикум, контрольные работы и доступное для скачивания с сайта издательства электронное приложение с демонстрационными учебными и рабочими файлами, необходимые при изучении дисциплин «Компьютерная математика», «Информационные технологии в математике», «Математические пакеты», «Программное обеспечение для решения задач высшей математики», входящих в систему подготовки инженеров.

Предпросмотр: Компьютерная математика. Учебное пособие для вузов Под редакцией профессора Б. Е. Стариченко (1).pdf (2,2 Мб)
9

Специальные главы математики

Автор: Старожилова О. В.
Изд-во ПГУТИ

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

Предпросмотр: Специальные главы математики учебное пособие.pdf (0,6 Мб)
10

Математическая логика и теория алгоритмов

Автор: Блатов И. А.
Изд-во ПГУТИ

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

Предпросмотр: Математическая логика и теория алгоритмов учебное пособие.pdf (0,8 Мб)
11

Настольные игры и математические задачи

Автор: Ласкер Эмануил
Человек: М.

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

Предпросмотр: Настольные игры и математические задачи.pdf (1,8 Мб)
12

Просто символ. [Символ как вещь и вещь как символ]

Автор: Деменок Сергей
Страта: СПб.

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

Предпросмотр: Просто Символ. Символ как вещь и вещь как символ.pdf (0,1 Мб)
13

Просто криптография

Автор: Де Касто Виктор
Страта: СПб.

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

Предпросмотр: Просто Криптография.pdf (0,2 Мб)
14

От абака до кубита

Автор: Альбов Александр
Страта: СПб.

Когда древние люди научились считать и считали на пальцах, пришла и необходимость в приспособлениях для облегчения этого труда. Так, от дощечек с зарубками, узелков и счётных палочек, от механических счётных машин к электронным, вместе с неотвратимостью автоматизировать гигантские объёмы вычислений и виртуальной свободой человечество добралось до сетевых технологий. А на пороге XXI века появилась концепция интернета вещей: единой вычислительной сети физических объектов, обслуживаемой интернет-протоколом для общения друг с другом или с внешней средой, — это явление способно перестроить экономические и социальные процессы, чтобы исключить из них участие человека. Автор увлекательно исследует путь развития вычислительных устройств от античности до наших дней.

Предпросмотр: От абака до кубита. История математических символов 2-е изд..pdf (0,1 Мб)
15

Квантовая криптография

Автор: Альбов Александр
Страта: СПб.

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

Предпросмотр: Квантовая криптография.pdf (0,3 Мб)
16

История математики. Европа XVII - начало XVIII вв. Краткий очерк

Автор: Полякова Т. С.
Изд-во ЮФУ: Ростов н/Д.

Материал учебного пособия основан на лекциях, прочитанных автором в Южном федеральном университете по магистерской программе «Математическое образование» в рамках курса «История математики и математического образования в России». Учебное пособие содержит два модуля, в первом из которых изложена краткая история развития европейской математики XVII-начала XVIII вв.; второй модуль представляет собой биографический справочник выдающихся персоналий в области математики, создавших математику переменных величин. В приложениях представлены контрольно-измерительные материалы для входного и итогового контроля.

Предпросмотр: История математики. Европа XVII - начало XVIII века.pdf (0,2 Мб)
17

Дискретная математика. Краткий курс

Автор: Казанский А. А.
Проспект: М.

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

Предпросмотр: Дискретная математика. Краткий курс. Учебное пособие.pdf (0,2 Мб)
18

Теория алгоритмов

изд-во СКФУ

Пособие представляет собой курс лекций и составлено в соответствии с ФГОС ВО, учебным планом и программой дисциплины. Содержит основные понятия теории алгоритмов, вопросы алгоритмической неразрешимости и анализа сложности алгоритмов, построения и анализа алгоритмов сортировки и поиска информации, а также основные приемы решения различных практических задач

Предпросмотр: Теория алгоритмов.pdf (0,9 Мб)
19

Теория алгоритмов

изд-во СКФУ

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

Предпросмотр: Теория алгоритмов.pdf (1,0 Мб)
20

Элементы математической логики

Автор: Атяскина Т. В.
ОГУ

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

Предпросмотр: Элементы математической логики.pdf (0,7 Мб)
21

Основы алгоритмизации

Бурятский государственный университет

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

Предпросмотр: Основы алгоритмизации .pdf (0,3 Мб)
22

О СВОЙСТВЕ РЕДУКЦИИ ДЛЯ GLP-АЛГЕБР

Автор: Беклемишев

Рассматривается естественное обобщение свойства редукции для полимодальных алгебр доказуемости на произвольные GLP-алгебры. В частности, это свойство установлено для свободных GLP-алгебр и для некоторых топологических GLP-алгебр (GLP-пространств)

23

ВИЗУАЛИЗАЦИЯ РЕШЕНИЯ ЗАДАЧИ УПРАВЛЕНИЯ СПЕКТРОМ СОБСТВЕННЫХ ЗНАЧЕНИЙ ДЛЯ ЛИНЕЙНОЙ СТАЦИОНАРНОЙ УПРАВЛЯЕМОЙ СИСТЕМЫ В СРЕДЕ MAPLE

Автор: Ким

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

24

УЧЕБНОЕ ПОСОБИЕ К СПЕЦУРСУ «МЕТОДИКА РАБОТЫ НАД НЕТИПОВЫМИ ЗАДАЧАМИ»

Автор: Швецова Резеда Фаритовна
ГБУ РЦРО

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

Предпросмотр: УЧЕБНОЕ ПОСОБИЕ К СПЕЦУРСУ «МЕТОДИКА РАБОТЫ НАД НЕТИПОВЫМИ ЗАДАЧАМИ».pdf (0,3 Мб)
25

Математика

Автор: Чернецов Михаил Михайлович
Российский государственный университет правосудия: М.

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

Предпросмотр: Математика.pdf (0,7 Мб)
26

Победное шествие антинаучной революции

Автор: Арнольд

О настоящем положении российского математического образования в мировой образовательной картине мира.

27

Математика и искусство

Автор: Раушенбах

Проблема анализа произведений искусства математическими методами.

28

Обольстить логикой. Выводы на все случаи жизни

Автор: Дрёссер Кристоф
Лаборатория знаний: М.

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

Предпросмотр: Обольстить логикой. Выводы на все случаи жизни. — 2-е изд. (эл.)..pdf (0,4 Мб)
29

Изменчивая природа математического доказательства. Доказать нельзя поверить

Автор: Кранц Стивен
Лаборатория знаний: М.

Книга знакомит читателя с тем, как развивалось с течением времени понятие математического доказательства. Некоторые иллюстративные и интересные математические результаты приведены с доказательствами и поясняющими примерами. Рассмотрен вклад в историю доказательства многих великих математиков. Легкий и увлекательный стиль автора делает изложение доступным широкому кругу читателей.

Предпросмотр: Изменчивая природа математического доказательства. Доказать нельзя поверить. — Эл. изд..pdf (0,2 Мб)
30

Математическая логика /Логика предикатов

Воронеж

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

Предпросмотр: Математическая логика Логика предикатов.pdf (1,2 Мб)
31

Математическая логика /Логика высказываний

Воронеж

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

Предпросмотр: Математическая логика Логика высказываний.pdf (1,1 Мб)
32

Комментарий к первой книге "Начал" Евклида

Автор: Прокл Диадох
Русский фонд содействия образованию и науке: М.

Составленный Проклом комментарий к первой книге "Начал" Евклида впервые переведён на русский язык в полном объёме. Трактат Прокла – это единственный дошедший до наших дней античный комментарий к Евклиду. Он представляет первостепенный интерес как с точки зрения истории математики и её преподавания, так и с точки зрения истории философии.

Предпросмотр: Комментарий к первой книге Начал Евклида.pdf (1,4 Мб)
33

Сравнительный анализ формул общего расхода наносов на примере рек США

Автор: Шмакова Марина Валентиновна
РИО БГУ

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

34

УГРОЗЫ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ В УСЛОВИЯХ ПРОТИВОБОРСТВА РОССИИ И ИНОСТРАННЫХ ГОСУДАРСТВ

ФГБОУ ВПО "ИГЛУ"

Агрессивная санкционная политика государств Европейского Союза и блока НАТО диктует необходимость дополнительной оценки угроз безопасности информации, обрабатываемой в российских информационных системах независимо от принадлежности таких систем государственному или частному секторам.

Предпросмотр: УГРОЗЫ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ В УСЛОВИЯХ ПРОТИВОБОРСТВА РОССИИ И ИНОСТРАННЫХ ГОСУДАРСТВ.pdf (0,4 Мб)
35

Элементарная эквивалентность групп автоморфизмов редуцированных абелевых p-групп

Автор: Ройзнер

В работе рассматриваются элементарные свойства (выразимые в языке первого порядка) групп автоморфизмов абелевых p-групп.

36

Континуальность решетки расширений модальной логики двух отношений эквивалентности

Автор: Измайлов

Строится континуум различных логик, что доказывает тот факт, что мощность решетки расширений логики двух отношений эквивалентности Ext является континуумом.

37

Математика и информатика. Решение логико-познавательных задач

Автор: Задохина Н. В.
ЮНИТИ-ДАНА: М.

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

Предпросмотр: Математика и информатика. Решение логико-познавательных задач. Учебное пособие. Гриф УМЦ Профессиональный учебник. Гриф НИИ образования и науки..pdf (0,2 Мб)
38

Логика. Учимся решать

Автор: Лаврикова И. Н.
ЮНИТИ-ДАНА: М.

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

Предпросмотр: Логика. Учимся решать. Учебное пособие. Гриф УМЦ Профессиональный учебник. Гриф НИИ образования и науки. (Серия Рейтинг успеха)..pdf (0,7 Мб)
39

Информатика и математика

Автор: Попов А. М.
ЮНИТИ-ДАНА: М.

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

Предпросмотр: Информатика и математика. Учеб. пособие. Гриф УМЦ Профессиональный учебник.pdf (2,6 Мб)
40

Лекции по дискретной математике и математической логике

Автор: Шмырин А. М.
ЛГТУ

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

Предпросмотр: Лекции по дискретной математике и математической логике .pdf (0,8 Мб)
41

Математика и информатика. Ч. 1. Математика

Автор: Королев В. Т.
Российский государственный университет правосудия: М.

Содержание учебного пособия (часть первая) отвечает требованиям ФГОС высшего профессионального образования по специальности 031003.65 – «Судебная экспертиза», а также по направлениям подготовки 080100.62 – «Экономика», 080200.62 – «Менеджмент». Изложены основания математики, начала математического анализа с элементами алгоритмов решения вычислительных задач, введение в теорию вероятностей, основы защиты информации.

Предпросмотр: Математика и информатика. Часть первая математика (1).pdf (0,4 Мб)
42

Математика ддя юристов

Российская академия правосудия: М.

Содержание учебного пособия отвечает программе по дисциплине «Информатика и математика», которая разработана в соответствии с требованиями Государственного образовательного стандарта высшего профессионального образования к минимуму содержания и уровню подготовки юриста (специальность 030501 — «Юриспруденция») в области информатики и математики. Пособие содержит материалы, относящиеся к первому разделу учебной программы. Изложены аксиоматический метод построения оснований математики, начала математического анализа с элементами алгоритмов решения вычислительных задач, введение в теорию вероятностей.

Предпросмотр: Математика ддя юристов.pdf (0,2 Мб)
43

Теория множеств

РИЦ СГСХА

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

Предпросмотр: Теория множеств.pdf (1,0 Мб)
44

Конспект лекций по учебной дисциплине «Математическая логика и теория алгоритмов»

Автор: Блатов И. А.
Изд-во ПГУТИ

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

Предпросмотр: Математическая логика и теории алгоритмов Конспект лекций.pdf (0,5 Мб)
45

Математическая логика и теория алгоритмов

Автор: Блатов И. А.
Изд-во ПГУТИ

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

Предпросмотр: Математическая логика и теория алгоритмов Учебное пособие для студентов заочного факультета.pdf (0,2 Мб)
46

Философские проблемы математики: математика как наука гуманитарная

Автор: Мейдер В. А.
ФЛИНТА: М.

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

Предпросмотр: Философские проблемы математики Математика как наука гуманитарная.pdf (1,3 Мб)
47

Философские проблемы математики: математика как наука гуманитарная

Автор: Мейдер В. А.
ФЛИНТА: М.

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

Предпросмотр: Философские проблемы математики Математика как наука гуманитарная.pdf (0,4 Мб)
48

Практические занятия по элементарной математике (2-ой курс)

Автор: Чулков П. В.
Издательство Прометей: М.

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

Предпросмотр: Практикум по элементарной математике (2-ой курс). Монография.pdf (0,2 Мб)
49

Математика в контексте философских проблем

Автор: Яшин Б. Л.
Издательство Прометей: М.

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

Предпросмотр: Математика в контексте философских проблем. Учебное пособие.pdf (0,2 Мб)
50

Избранные научные труды

Автор: Матросов В. Л.
Издательство Прометей: М.

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

Предпросмотр: Избранные научные труды. Научное издание. Твердый переплет.pdf (0,1 Мб)
Страницы: 1 2 3