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

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


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

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

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

Структуры и символы. Абстракция - эмпирический факт

Страта: СПб.

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

Предпросмотр: Структуры и символы. Абстракция - эмпирический факт.pdf (0,1 Мб)
2

Символ и алгоритм. Символ вытесняет вещь

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

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

Предпросмотр: СИМВОЛ И АЛГОРИТМ.pdf (0,1 Мб)
3

Нечеткая логика

Автор: Ланге Феликс
Страта: СПб.

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

Предпросмотр: НЕЧЕТКАЯ ЛОГИКА.pdf (0,1 Мб)
4

Аристотель vs Будда

Страта: СПб.

Нечёткая логика — обобщение классической логики и теории множеств, она базируется на понятии нечёткого множества, впервые введённого Лотфи Заде в 1965 году. Это не обычная «истинная или ложная» (1 или 0) логика, на которой основаны современные компьютеры. Принадлежность объекта к нечеткому множеству определяется не только условием «да или нет», но любыми условиями в интервале. Предметом нечёткой логики считается исследование рассуждений в условиях нечёткости, размытости, сходных с рассуждениями в обычном смысле, и их применение в вычислительных системах. В книге речь пойдёт далеко не о строгой математике: нечёткая логика является составной частью широкого понятия «искусственный интеллект». Область применения нечёткой логики колоссальна — от разработки устройства интеллектуальных кухонных приборов до построения систем управления сложными производственными процессами.

Предпросмотр: АРИСТОТЕЛЬ vs БУДДА.pdf (0,1 Мб)
5

Pro парадоксы науки

Автор: Фейгин. Олег
Страта: СПб.

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

Предпросмотр: PRO ПАРАДОКСЫ НАУКИ.pdf (0,1 Мб)
6

Элементы математики и физической химии для биологов

Автор: Мушкамбаров Николай Николаевич
ФЛИНТА: М.

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

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

Обыкновенные дифференциальные уравнения. Теория и приложения

Автор: Дубровский Владимир Васильевич
ФЛИНТА: М.

Курс обыкновенных дифференциальных уравнений является одним из важных разделов современной математики и имеет большое значение в современном математическом образовании. Данное учебное пособие посвящено вопросам существования и единственности решения задачи Коши для дифференциального уравнения вида y′ = f (x, y), зависимости решения от параметров, интегрированию некоторых уравнений первого и n-го порядка в квадратурах. Рассматриваются методы нахождения аналитических решений систем линейных дифференциальных уравнений и систем с постоянными коэффициентами. Пособие содержит большое число подробно решенных примеров различного уровня сложности, что способствует глубокому усвоению теории.

Предпросмотр: Обыкновенные дифференциальные уравнения. Теория и приложения.pdf (0,4 Мб)
8

Использование компьютерных средств при обучении математике

РИО СурГПУ

Учебно-методическое пособие разработано для методического обеспечения дисциплин направлений подготовки 44.03.01 Педагогическое образование, направленность "Математика" и 44.03.05 Педагогическое образование, направленность "Математика и информатика". Практикум по созданию учебных моделей с использованием программы динамической математики GeoGebra направлен на формирование у будущих учителей математики умений использования систем динамической математики для визуализации и обработки математической информации. Пособие будет полезно для обеспечения самостоятельной работы студентов при изучении математических дисциплин в магистратуре, а также в работе курсов повышения квалификации учителей математики. Может использоваться при разработке и проведении курсов по выбору, в аудиторной работе и в организации самостоятельной деятельности студентов по дисциплинам "Элементарная математика". "Геометрия" "Математический анализ", "Теория вероятностей и математическая статистика", "Методика обучения математике".

Предпросмотр: Использование компьютерных средств при обучении математике.pdf (0,6 Мб)
9

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Просто символ

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

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

Предпросмотр: Просто символ.pdf (0,2 Мб)
22

Про криптографию (Символ — машина — квант)

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

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

Предпросмотр: Про криптографию (Символ — машина — квант).pdf (0,3 Мб)
23

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

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

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

Предпросмотр: От абака до кубита.pdf (0,1 Мб)
24

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

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

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

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

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

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

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

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

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

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

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

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

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

изд-во СКФУ

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

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

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

изд-во СКФУ

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

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

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

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

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

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

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

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

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

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

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

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

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

32

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

Автор: Ким

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

33

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

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

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

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

Математика

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

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

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

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

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

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

36

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

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

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

37

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

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

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

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

Информатика и информация: знаково-символьный аспект

Автор: Бубнов В. А.
Лаборатория знаний: М.

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

Предпросмотр: Информатика и информация знаково-символьный аспект.pdf (0,3 Мб)
39

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

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

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

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

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

Воронеж

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

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

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

Воронеж

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

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

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

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

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

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

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

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

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

44

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

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

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

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

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

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

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

46

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

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

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

47

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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