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

Учебное пособие состоит из двух частей – курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным...

Знаете ли вы, что ваш близнец, отправившийся в космос на ракете, вернется на Землю моложе вас? Что кот может быть одновременно и живым, и мертвым, пока вы не откроете коробку? Что вселенная, которую мы видим, состоит лишь из 5% известной материи, а всё остальное — это загадочные «тёмная материя»...

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

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

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

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

О книге: Предлагаемая книга – перевод изданного в 1981 г. сборника статей американских математиков. Широкий спектр тем охватывает взаимоотношения между «чистой» и прикладной математикой, перспективные направления математических исследований, реформирование университетских программ по...

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

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

Описание книги: Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения...

Описание книги Если вы хотите управлять домочадцами, как Кутузов управлял огромным войском, или спорить с коллегами, подобно древнегреческому оратору Демосфену, вам точно нужна эта книга! Теория игр – это математический метод переговоров в политике, который каждый из нас хоть раз использовал...

Принято считать, что математика — наука точная и совершенно скучная, но Эдвард Шейнерман берется доказать обратное. Он утверждает, что математика бывает не менее увлекательной, чем гуманитарные дисциплины. Как объяснить тот факт, что бо́льшая часть окружающих нас чисел начинается на единицу, а...

Онлайн-марафон – это эффективный способ в сжатые сроки вспомнить школьную математику или восполнить необходимые знания для работы в Data Science или программировании. Кому подходит онлайн марафон? Начинающим программистам. Поможет вспомнить школьную математику в короткие сроки, необходимую для...