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

52 книги
Популярное
Барри Дж. Нейлбафф
3.68
(145)

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

Подробнее
Льюис Кэрролл
4.33
(59)

В "Истории с узелками" Кэрролл предстает перед нами в роли безукоризненного математика-логика, оставаясь при этом верным своему неповторимому литературному стилю. Перед вами одна из образцовых книг...

Подробнее
Новиков Федор Александрович

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

Подробнее
Гусев Дмитрий Алексеевич

Книга посвящена древней и в то же время всегда молодой науке о правильном мышлении – логике. Материал излагается просто, ясно и интересно; приводятся многочисленные примеры, показывающие практическую...

Подробнее
С. В. Борзунов

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

Подробнее
А. Мейлахс

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

Подробнее
meN/Ace

Это оригинальная история. В доисторической Месопотамии происходят сумасшедшие вещи. Маленькие, враждующие царства, интриги, любовь и предательство. Всё это на фоне безумного стечения обстоятельств....

Подробнее
Коэн Моррис Р.Нагель Эрнст

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

Подробнее
К. Стэйси

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

Подробнее
Наум Виленкин

В 70-х годах XIX века немецкий математик Г. Кантор создал новую область математики – теорию бесконечных множеств. Через несколько десятилетий почти вся математика была перестроена на...

Подробнее
Льюис Кэрролл

Математика интересовала Чарльза Доджсона (Льюиса Кэрролла) еще со школьной скамьи. Там, где другие дети видели одни сухие цифры, он замечал увлекательную игру. Так, в «Истории с узелками» в каждый...

Подробнее
Е. В. Зайцева

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

Подробнее
Вильгельм Аренс

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

Подробнее
Феликс Ланге

Нечёткая логика – раздел математики, обобщающий классическую логику и теорию множеств. В книге рассмотрен путь становления нечёткой логики как совершенно новой области науки, ее составляющие,...

Подробнее
Ю. В. Вайнштейн

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

Подробнее
Игорь Соболев

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

Подробнее
И. А. ЛавровЛ. Л. Максимова
5
(1)

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

Подробнее
А. А. Любомудров

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

Подробнее
Владимир Андреевич Успенский

Брошюра написана по материалам лекции, прочитанной автором 23 июля 2005 года в летней школе «Современная математика» в Дубне. Она посвящена формализации такого интуитивно ясного термина, как...

Подробнее
В. Л. Васюков

Книга посвящена квантовой логике – интердисциплинарной области науки, интересующей физиков, математиков, логиков и философов. Квантовая логика рассматривается автором монографии, прежде всего, с...

Подробнее
Белов Юрий Владимрович

Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации,...

Подробнее
С. В. Попов

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

Подробнее
Елена Викторовна Овчинникова

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

Подробнее
Стивен Кранц

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

Подробнее
О. Н. Зайцева

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

Подробнее
А. А. Забуга

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

Подробнее
Сергей Владимирович Судоплатов

Книга является первой частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В монографии излагается классификация счётных моделей полных теорий относительно двух...

Подробнее
Сергей Владимирович Судоплатов

Книга является второй частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В книге рассмотрены генерические эренфойхтовы теории и реализации предпорядков...

Подробнее
Sergey Sudoplatov

The book is the first part of the monograph “Classification of countable models of complete theories” consisting of two parts. In the monograph, a classification of countable models of complete...

Подробнее
Sergey Sudoplatov

The book is the second part of the monograph “Classification of countable models of complete theories” consisting of two parts. In the book, generic Ehrenfeucht theories and realizations of...

Подробнее
Еще больше книг

Похожие теги