bannerbanner
logo

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

Изменчивая природа математического доказательства. Доказать нельзя поверить
Изменчивая природа математического доказательства. Доказать нельзя поверить
Книга знакомит читателя с тем, как развивалось с течением времени понятие математического доказательства. Некоторые иллюстративные и интересные матема…
Подробнее
Справочник по математике для 5–6 классов
Справочник по математике для 5–6 классов
В справочнике приводятся теоретические сведения по математике за 5—6 классы по всем разделам школьного курса: «Натуральные числа», «Дроби», «Рациональ…
Подробнее
Четыре алгоритмических лица случайности
Четыре алгоритмических лица случайности
Брошюра написана по материалам лекции, прочитанной автором 23 июля 2005 года в летней школе «Современная математика» в Дубне. Она посвящена формализац…
Подробнее
Логика. Курс лекций в таблицах, рисунках и примерах. Учебное пособие для вузов
Логика. Курс лекций в таблицах, рисунках и примерах. Учебное пособие для вузов
Учебное пособие содержит 10 лекций по курсу «Логика». В 8 лекциях представлен материал по традиционной логике, в последних двух лекциях – по математич…
Подробнее
Введение в логику и научный метод
Введение в логику и научный метод
4
На протяжении десятилетий эта книга служила основным учебником по логике и научному методу в большинстве американских вузов и до сих пор пользуется сп…
Подробнее
Теория игр. Для тех, кто хочет все успеть
Теория игр. Для тех, кто хочет все успеть
Если вы хотите управлять домочадцами, как Кутузов управлял огромным войском, или спорить с коллегами, подобно древнегреческому оратору Демосфену, вам …
Подробнее
Теория игр. Искусство стратегического мышления в бизнесе и жизни
Теория игр. Искусство стратегического мышления в бизнесе и жизни
3
Теория игр – это строгое стратегическое мышление. Это искусство предугадывать следующий ход соперника с учетом того, что он занимается тем же самым. Е…
Подробнее
Математика: математическая логика и теория алгоритмов 5-е изд. Учебник и практикум для СПО
Математика: математическая логика и теория алгоритмов 5-е изд. Учебник и практикум для СПО
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теори…
Подробнее
Математика – это просто 2.0. Думай математически
Математика – это просто 2.0. Думай математически
«Думай математически» – идеальное пособие для тех, кто стремится развить свои математические способности или занимается обучением математическому мышл…
Подробнее
Решение проблемы турбулентности, отсутствие аналитического решения уравнений Навье-Стокса / The solution to the pboblem of turbulence, lack of analytical solution of navier-stokes equations
Решение проблемы турбулентности, отсутствие аналитического решения уравнений Навье-Стокса / The solution to the pboblem of turbulence, lack of analytical solution of navier-stokes equations
Решена проблема турбулентности - показано некорректности применения модельных представлений Навье, приведена модель Колмогорова, сравнение выполнено п…
Подробнее
История с узелками
История с узелками
В этой книге собраны интересные истории, занимательные математические головоломки, увлекательные задачи и изящные парадоксы, которые помогут вам с пол…
Подробнее
Теория игр. Для тех, кто хочет все успеть
Теория игр. Для тех, кто хочет все успеть
Если вы хотите управлять домочадцами, как Кутузов управлял огромным войском, или спорить с коллегами, подобно древнегреческому оратору Демосфену, вам …
Подробнее
Математическая логика и теория алгоритмов 5-е изд. Учебник и практикум для академического бакалавриата
Математическая логика и теория алгоритмов 5-е изд. Учебник и практикум для академического бакалавриата
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теори…
Подробнее
Математические методы в приложениях. Дискретная математика
Математические методы в приложениях. Дискретная математика
В представленном пособии в доступной форме рассказывается о фундаментальных понятиях дискретной математики – логике, булевых функциях, множествах, отн…
Подробнее
Нечеткая логика
Нечеткая логика
Нечёткая логика – раздел математики, обобщающий классическую логику и теорию множеств. В книге рассмотрен путь становления нечёткой логики как соверше…
Подробнее
Математика: математическая логика и теория алгоритмов 5-е изд. Учебник и практикум для СПО
Математика: математическая логика и теория алгоритмов 5-е изд. Учебник и практикум для СПО
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теори…
Подробнее
История с узелками
История с узелками
4
Льюис Кэрролл двадцать семь лет преподавал математику в оксфордском колледже Крайст-Чёрч, выпустил под своим настоящим именем множество научных трудов…
Подробнее
Моделирование и формализация. Учебник для вузов
Моделирование и формализация. Учебник для вузов
Основное назначение данной книги – стать постоянно сопровождающим учебником по теме «Моделирование и формализация» для учащихся школ и учителей, для с…
Подробнее
Задачи по дискретной математике с алгоритмами на Python
Задачи по дискретной математике с алгоритмами на Python
В учебное пособие включены задачи и упражнения вузовского курса дискретной математики, включая разделы, связанные со спецификой информационно-коммуник…
Подробнее
Прикладная логика
Прикладная логика
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический – ус…
Подробнее
Элементы математической логики. Сборник самостоятельных и контрольных работ для учащихся 5-х классов Инженерного лицея НГТУ
Элементы математической логики. Сборник самостоятельных и контрольных работ для учащихся 5-х классов Инженерного лицея НГТУ
Настоящее пособие представляет собой сборник самостоятельных работ теоретического и практического характера разного уровня сложности. Пособие предназн…
Подробнее
Логические задания. 4 класс
Логические задания. 4 класс
Тренажёр «Логические задания. 4 класс» разработан известными педагогами-практиками О.В. Узоровой и Е.А. Нефёдовой. Книга содержит разнообразные задани…
Подробнее
Моделирование и формализация. Учебник для СПО
Моделирование и формализация. Учебник для СПО
Основное назначение данной книги – стать постоянно сопровождающим учебником по теме «Моделирование и формализация» для учащихся школ и учителей, для с…
Подробнее
Математическая логика и теория алгоритмов
Математическая логика и теория алгоритмов
Изложен материал основного курса «Математическая логика и теория алгоритмов», читаемого на факультете «Автоматизации и информатики (АИ)» МГГУ: основны…
Подробнее
Введение в алгебраические системы и математическую логику. Учебник для вузов
Введение в алгебраические системы и математическую логику. Учебник для вузов
В книге рассмотрены важнейшие разделы математики – введение в теорию множеств, математическую логику и алгебраические системы. Учебное пособие соответ…
Подробнее
Математическая логика и теория алгоритмов 5-е изд. Учебник и практикум для академического бакалавриата
Математическая логика и теория алгоритмов 5-е изд. Учебник и практикум для академического бакалавриата
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теори…
Подробнее
Логические задания. 3 класс
Логические задания. 3 класс
Тренажёр «Логические задания. 3 класс» разработан известными педагогами-практиками О.В. Узоровой и Е.А. Нефёдовой. Книга содержит разнообразные задани…
Подробнее
Конструкции колец, модулей и алгебр. Учебное пособие для вузов
Конструкции колец, модулей и алгебр. Учебное пособие для вузов
В данной книге изучаются различные конструкции колец, модулей и алгебр: тензорные произведения модулей, классические локализации колец, групповые коль…
Подробнее
Математические развлечения и игры
Математические развлечения и игры
Спустя почти век после своего второго издания увлекательнейшая книга немецкого ученого начала XX столетия Германа Шуберта вновь выходит в свет. Посвящ…
Подробнее
Стёртые
Стёртые
В доисторической Месопотамии происходят сумасшедшие вещи. Маленькие, враждующие царства, интриги, любовь и предательство. Всё это на фоне безумного ст…
Подробнее
Лучшие логические задачи и загадки
Лучшие логические задачи и загадки
В этой книге собраны самые интересные логические задачи и загадки для детей, подростков и взрослых. Задачи разбиты по уровням сложности. Есть очень с…
Подробнее
Математические головоломки
Математические головоломки
Книга опытного педагога и психолога Т. Трясоруковой поможет подружить с математикой ребёнка 5-7 лет. Он поймёт, что математика – это совсем не сложно …
Подробнее
Тесты с ответами. Логика
Тесты с ответами. Логика
Вниманию читателя представлен материал для тестирования остаточных знаний у студентов учебной дисциплины «Логика». Направление: «Экономика», направлен…
Подробнее
Дискретная математика
Дискретная математика
Новое издание учебника было существенно переработано и дополнено, в нем изложены все основные разделы дискретной математики и описаны важнейшие алгори…
Подробнее
О сущности ускоренного расширения Вселенной
О сущности ускоренного расширения Вселенной
Что означает ускоренное или замедленное расширение Вселенной? Приведено определение понятия космологического ускорения и уравнение для его вычисления.…
Подробнее
Волшебные таблицы. Секреты магических квадратов
Волшебные таблицы. Секреты магических квадратов
Предлагаемая книга – не учебник по математике и не энциклопедия. Это путешествие в удивительный мир магических квадратов. Книга построена в форме диал…
Подробнее
Тесты с ответами. Логика
Тесты с ответами. Логика
5
Вниманию читателя представлен материал для тестирования остаточных знаний у студентов учебной дисциплины «Логика». Направление: «Экономика», направлен…
Подробнее
Математическая логика и теория алгоритмов. Учебное пособие для вузов
Математическая логика и теория алгоритмов. Учебное пособие для вузов
Материал пособия скомпонован так, чтобы, с одной стороны, дать темы для практических занятий, познакомить студентов с важными идеями на несложных прим…
Подробнее
Теоретические основы информатики
Теоретические основы информатики
В издании рассматриваются такие разделы классической математики, как комбинаторика, теория вероятностей, математическая логика, дискретная математика,…
Подробнее
Аристотель vs Будда
Аристотель vs Будда
Нечёткая логика – обобщение классической логики и теории множеств, она базируется на понятии нечёткого множества, впервые введённого Лотфи Заде в 1965…
Подробнее
Лучшие логические задачи и загадки
Лучшие логические задачи и загадки
В этой книге собраны самые интересные логические задачи и загадки для детей, подростков и взрослых. Задачи разбиты по уровням сложности. Есть очень с…
Подробнее
40 задач на Python
40 задач на Python
4
Книга призвана помочь читателю развить свои математические навыки, улучшить логическое мышление, освоить использование языка программирования Python …
Подробнее
Введение в алгебру и математический анализ. Учебное пособие для СПО
Введение в алгебру и математический анализ. Учебное пособие для СПО
Кроме традиционных разделов, посвященных элементам математической логики, теории множеств, методам доказательств и эквивалентным преобразованиям, учеб…
Подробнее
Математические игры
Математические игры
Вышедшая в начале XX века, в кажущемся теперь таким далеким 1924 году, и высоко оцененная известным популяризатором наук Яковом Исидоровичем Перельман…
Подробнее
Дискретная математика в примерах и задачах
Дискретная математика в примерах и задачах
Изложен краткий теоретический материал по разделам дискретной математики: множества, отношения, комбинаторика, математическая логика, графы. Приведены…
Подробнее
Вход В личный кабинетРегистрация