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

Written by two well-known scholars in the field, Combinatorial Reasoning: An Introduction to the Art of Counting presents a clear and comprehensive in…

Основное назначение данной книги – стать постоянно сопровождающим учебником по теме «Моделирование и формализация» для учащихся школ и учителей, для с…

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

Решена проблема турбулентности - показано некорректности применения модельных представлений Навье, приведена модель Колмогорова, сравнение выполнено п…

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

This book provides a rigorous algebraic study of the most popular inference formalisms with a special focus on their wide application area, showing th…

Учебное пособие составлено на основе курса лекций, который читается автором для студентов II курса факультета бизнеса Новосибирского государственного …

Книга содержит справочные материалы: определения, формулы, алгоритмы построения графиков функций и применения их к решению типовых уравнений, неравенс…

Нечёткая логика – раздел математики, обобщающий классическую логику и теорию множеств. В книге рассмотрен путь становления нечёткой логики как соверше…

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

Praise for the First Edition «. . . an enchanting book for those people in computer science or mathematics who are fascinated by the concept of infini…

Основное назначение данной книги – стать постоянно сопровождающим учебником по теме «Моделирование и формализация» для учащихся школ и учителей, для с…

Книга адресована учащимся 5—6 классов, в том числе детям, обучающимся на дому. Книга содержит основные определения и формулы, алгоритмы решения задач …

Теория игр – это строгое стратегическое мышление. Это искусство предугадывать следующий ход соперника с учетом того, что он занимается тем же самым. Е…

Книга призвана помочь читателю развить свои математические навыки, улучшить логическое мышление, освоить использование языка программирования Python …

Данная книга есть описание всего мира, сущего и не только, глазами того, кто уже знает о нём. Здесь описана жизнь, эмоции и мысли, когда весь мир уже …

В данной книге изучаются различные конструкции колец, модулей и алгебр: тензорные произведения модулей, классические локализации колец, групповые коль…

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

НЕЗАКОННОЕ ПОТРЕБЛЕНИЕ НАРКОТИЧЕСКИХ СРЕДСТВ, ПСИХОТРОПНЫХ ВЕЩЕСТВ, ИХ АНАЛОГОВ ПРИЧИНЯЕТ ВРЕД ЗДОРОВЬЮ, ИХ НЕЗАКОННЫЙ ОБОРОТ ЗАПРЕЩЕН И ВЛЕЧЕТ УСТАНО…

Дэвид Самптер, профессор прикладной математики в Университете Уппсалы, автор нескольких научно-популярных бестселлеров, предлагает читателям осмыслить…

В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теори…

Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных систе…

В книге показано, как решаются по единому алгоритму задачи по геометрии и стереометрии в 9, 10 и 11-м классах. Кроме того, в ней приведены образцы реш…

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

Written in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathe…

В книгу «Занимательная логика. Задачи и решения» вошли задания и рассказы, собранные из разных книг Якова Перельмана, увидевших свет в 10-е – 30-е год…

Вниманию читателя представлен материал для тестирования остаточных знаний у студентов учебной дисциплины «Логика». Направление: «Экономика», направлен…

Книга содержит определения, формулировки теорем, формулы, алгоритмы решения типовых задач по геометрии, предлагавшихся на ОГЭ, с образцами оформления …

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

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

В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теори…

Материал пособия скомпонован так, чтобы, с одной стороны, дать темы для практических занятий, познакомить студентов с важными идеями на несложных прим…

Книга необходима при изучении всех базовых математических понятий, с которыми учащиеся знакомятся впервые и которые можно изучить только через алгорит…

Что означает ускоренное или замедленное расширение Вселенной? Приведено определение понятия космологического ускорения и уравнение для его вычисления.…

Лия — единственная в мире, кто видит Ткань Сновидений — изнанку реальности, где живут забытые сны богов. Чтобы спасти своего брата, который начал «выц…

В учебно-методическом пособии изложены основные сведения по математической логике. Учебно-методическое пособие содержит расширенный материал лекций (ч…

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

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

Нечёткая логика – обобщение классической логики и теории множеств, она базируется на понятии нечёткого множества, впервые введённого Лотфи Заде в 1965…

Praise for the First Edition «. . . an enchanting book for those people in computer science or mathematics who are fascinated by the concept of infini…

В учебно-методическом пособии изложены основные сведения по математической логике. Учебно-методическое пособие содержит расширенный материал лекций (ч…

Учебное пособие содержит 10 лекций по курсу «Логика». В 8 лекциях представлен материал по традиционной логике, в последних двух лекциях – по математич…

«Арифметика. 5 класс» А.П. Киселёва – уникальный советский учебник, который любим многими. В нем последовательное и увлекательное введение в основы ар…

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

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