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

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

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

Логика – это наука о формах и законах правильного мышления. Что такое правильное мышление, и какое мышление можно назвать правильным? Что такое формы …

Предлагаемая книга – не учебник по математике и не энциклопедия. Это путешествие в удивительный мир магических квадратов. Книга построена в форме диал…

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

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

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

В справочнике приводятся теоретические сведения по математике за 5—6 классы по всем разделам школьного курса: «Натуральные числа», «Дроби», «Рациональ…

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление …

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

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

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

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

Рассмотрены основные этапы и направления развития искусственного интеллекта, особенности построения систем, основанных на знаниях, принципы функционир…

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

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

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

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

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

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

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

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

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

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

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

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

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

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