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

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

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

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

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

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

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

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

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

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

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

В чем заключаются польза и вред статистических данных? Как можно обеспечить эффективное межличностное взаимодействие? Каким образом понимание смысла энтропии позволяет нам избавиться от желания д…

Дэвид Самптер, профессор прикладной математики в Университете Уппсалы, автор нескольких научно-популярных бестселлеров, предлагает читателям осмыслить окружающий мир, прибегнув к четырем различны…

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

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

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

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

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

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

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

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