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

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

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

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

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

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

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

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

Этот текст – сокращенная версия книги «Теория игр. Искусство стратегического мышления в бизнесе и жизни». Только самое главное: идеи, техники, ключевы…

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

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

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

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

Брошюра написана по материалам лекции, прочитанной автором 23 июля 2005 года в летней школе «Современная математика» в Дубне. Она посвящена формализац…

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

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

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

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

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

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

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

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

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

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

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

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

Человек, совершивший прорыв в математике и схемотехнике, наделив машины математической логикой. Гений, сделавший свое самое важное открытие в 21 год. …

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

Добро пожаловать в волшебный мир лилипута Джонни! Эта увлекательная черно-белая раскраска познакомит ребёнка с цифрами от 0 до 10. На каждой странице …

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

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

Эмоционально-метафорный тип мышления – это особый способ обработки информации, который не сводится к банальным идеям "нравится-не-нравится" и "радость…

Человек, совершивший прорыв в математике и схемотехнике, наделив машины математической логикой. Гений, сделавший свое самое важное открытие в 21 год. …

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

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

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

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

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

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

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

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

Эмоционально-метафорный тип мышления – это особый способ обработки информации, который не сводится к банальным идеям "нравится-не-нравится" и "радость…

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

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

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

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