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

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

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

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

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

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

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

«Думай математически» – идеальное пособие для тех, кто стремится развить свои математические способности или занимается обучением математическому мышлению других. Авторы предлагают читателю интер…

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

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

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

Изложен материал основного курса «Математическая логика и теория алгоритмов», читаемого на факультете «Автоматизации и информатики (АИ)» МГГУ: основные понятия, относящиеся к семантике формализов…

Спустя почти век после своего второго издания увлекательнейшая книга немецкого ученого начала XX столетия Германа Шуберта вновь выходит в свет. Посвященная нестареющей математике, она будет равно…

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

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

Вышедшая в начале XX века, в кажущемся теперь таким далеким 1924 году, и высоко оцененная известным популяризатором наук Яковом Исидоровичем Перельманом, книга «Математические игры» немецкого уче…

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

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

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

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

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