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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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