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

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

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

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

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

С пособием «Математика. Лабиринты. 1 класс» ваш ребёнок: • увлечётся математикой, ведь вместо традиционных примеров здесь увлекательные лабиринты; • з…

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

Кратко изложен теоретический материал по дисциплине «Математическая логика и теория алгоритмов», приведены примеры решения типовых задач, представлены…

Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказы…

How many ways do exist to mix different ingredients, how many chances to win a gambling game, how many possible paths going from one place to another …

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

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 классы по всем разделам школьного курса: «Натуральные числа», «Дроби», «Рациональ…

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

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

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

A new and unique way of understanding the translation of concepts and natural language into mathematical expressions Transforming a body of text into …

Эта книга позволяет повторить теорию (ТМ и МЛ), закрепить навыки в решении типовых задач и получить представление о возможностях использования в этих …

Эта книга содержит доказательство того, что P не равно NP. Доказательство. Строгое, логически безупречное и проверяемое — при условии, что читатель г…

Учебное пособие для проведения занятий по курсу «Элементы математической логики» в Инженерном лицее НГТУ содержит теоретические сведения по основам ло…

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

Книга опытного педагога и психолога Т. Трясоруковой поможет подружить с математикой ребёнка 5-7 лет. Он поймёт, что математика – это совсем не сложно …

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

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

Учебное пособие для проведения занятий по курсу «Элементы математической логики» в Инженерном лицее НГТУ содержит теоретические сведения по основам ло…

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

This book concerns the use of dioid algebra as (max, +) algebra to treat the synchronization of tasks expressed by the maximum of the ends of the task…

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

Перед вами – сборник Льюиса Кэрролла, известного детям и родителям, пожалуй, всех стран, автора увлекательных книг о приключениях Алисы. Однако не все…

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

Догадки о теоретической физике, науке, истинах, как силе, по философским рассуждениям и логическим выводам

Features a balance between theory, proofs, and examples and provides applications across diverse fields of study Ordinary Differential Equations prese…

Эта книга открывает серию «Нарративная математика», в которой точные науки возвращаются к своим мифологическим истокам. Семь поэтических рун, выдержан…

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

This book is devoted to integration, one of the two main operations in calculus. In Part 1, the definition of the integral of a one-variable function …

Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enabl…

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

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

Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large am…