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

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

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

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

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

Я рассказываю о неожиданных фактах, которые могут быть причиной раскола американского общества.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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