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

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

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

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

Книга посвящена квантовой логике – интердисциплинарной области науки, интересующей физиков, математиков, логиков и философов. Квантовая логика рассмат…

Пособие подготовлено в соответствии с требованиями ФГОС для начальной школы и может быть использовано с любым из действующих учебников по математике д…

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

Книга содержит две отдельных самостоятельных объемных статьи. Первая статья, о материи и о пустоте. Проводится всестороннее исследование отнош…

Тренажёр «Логические задания. 4 класс» разработан известными педагогами-практиками О.В. Узоровой и Е.А. Нефёдовой. Книга содержит разнообразные задани…

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

Пособие подготовлено в соответствии с требованиями ФГОС для начальной школы и может быть использовано с любым из действующих учебников по математике д…

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

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…

Тренажёр «Логические задания. 3 класс» разработан известными педагогами-практиками О.В. Узоровой и Е.А. Нефёдовой. Книга содержит разнообразные задани…

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

Пособие, соответствующее ФГОС, станет отличным помощником для учеников 3-го класса в отработке умений и навыков, полученных на уроках математики. Зани…

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

Содержит обширный обзор истории физики, включая списки нобелевских лауреатов по физике с 1900 по 2024 гг. и лауреатов премии Вольфа с 1978 по 2024 гг.…

Знаменитый цикл «В царстве смекалки» вот уже около ста лет остается популярным и востребованным. Многие задачи из книг Игнатьева перекочевали в другие…

Уникальный сборник: Яков Перельман, новое наполнение, издается впервые! Сборник «Быстрый счет. Вычисления, задачи, головоломки» приглашает вас погрузи…

Пособие, соответствующее ФГОС, станет отличным помощником для учеников 4-го класса в отработке умений, полученных на уроках математики. Занимаясь 15—2…

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

Математический квест 6+ — это необычное пособие для детей 6–7 лет, которое превращает математику в захватывающее приключение! Ребёнок шаг за шагом вы…

Учебник «Арифметика» авторства Киселева – ваш надежный путь к совершенству в математике. Откройте для себя мир чисел с учебником «Арифметика» от опыт…

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

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

Льюис Кэрролл двадцать семь лет преподавал математику в оксфордском колледже Крайст-Чёрч, выпустил под своим настоящим именем множество научных трудов…

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

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

Превратите изучение математики в увлекательное приключение с пособием «Математика. Кроссворды. 1 класс»! Это пособие предлагает юным математикам необы…

The publication of the first book by Kenneth Arrow and Hervé Raynaud, in 1986, led to an important wave of research in the field of axiomatic approach…

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

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

Погрузитесь в мир увлекательных математических задач с пособием «Математика. Головоломки. 1 класс»! Эта книга – настоящий тренажёрный зал для ума, где…

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

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

В настоящем третьем переиздании учебного пособия, уточнённом и дополненном, даны теоретические основы информационно-аналитической работы (ИАР) и анали…

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

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

Настоящая книга – первая часть знаменитого пособия по алгебре для 6-х и 7-х классов от выдающегося учёного, новатора в своей области и законодателя шк…

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