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

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

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

Е. А. Палютин Ю. А. Ершов

В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов...

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

С.К. Клини

Имя одного из крупнейших специалистов в области математической логики С.К. Клини знакомо читателю по русскому переводу его фундаментального труда «Введение в метаматематику» (переиздание которого готовится нашим...

Математическая логика: Введение в математическую логику

Колмогоров А.Н., Драгалин А.Г.

Математическая логика. Курс лекций. Задачник-практикум и решения. Учебное пособие для вузов, 5-е изд., стер

Лихтарников Л. М., Сукачева Т. Г.

20.42 USD 16.33 USD

В корзину

Математическая логика. Введение в математическую логику. Учебное пособие

А. Н. Колмогоров А. Г. Драгалин

Авторы настоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник...

Математическая логика и теория алгоритмов. Учебное пособие для вузов

В.М. Зюзьков А.А. Шелупанов

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

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

Р. Л. Гудстейн

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

Математическая логика: Дополнительные главы

Колмогоров А.Н., Драгалин А.Г.

Математическая логика и теория алгоритмов. Учебник и практикум

С. В. Судоплатов Е.В. Овчинникова

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

Машины в теории вычислимых функций: Учебное пособие

Марченков С.С., Савицкий И.В.

11.8 USD 9.44 USD

В корзину

О математических структурах

Е. М. Емельянов

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

Основания теории множеств

А. А. Френкель

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

Основы математической логики и теории множеств

Буфеев С.В., Буфеев И.С.

13.2 USD 10.56 USD

В корзину

Основы терминоведения. Учебное пособие

Г. П. Мельников

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

37.53 USD 30.03 USD

В корзину

Основы толерантности и правовой культуры

Г. П. Мельников

Монография ОСНОВЫ ТОЛЕРАНТНОСТИ И ПРАВОВОЙ КУЛЬТУРЫ посвящена острой и весьма востребованной в гуманитарной теории и практике теме. Ценности толерантных отношений становятся одним из главных условий мирного развития и...

19.91 USD 15.93 USD

В корзину

Основы математической логики

В. П. Супрун

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

29.85 USD 28.36 USD

В корзину

Первое знакомство с математической логикой

Иван Яковлевич Депман

Психолингвистические единицы и порождение речевого высказывания Изд. стереотип

Леонтьев А.А.

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

29.02 USD 23.22 USD

В корзину

Равенство, сходство, порядок: Популярное введение в теорию бинарных отношений. С примерами из математической лингвистики. № 248 . Изд. 2

Шрейдер Ю.А.

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

14.57 USD 12.68 USD

В корзину

Равенство, сходство, порядок: Популярное введение в теорию бинарных отношений. С примерами из математической лингвистики. № 248 . Изд. 2

Шрейдер Ю.А.

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

Сборник задач по математической логике и теории алгоритмов: Учебное пособие В.И. Игошин

М. И. Клеандров

Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов: I. Содержательная логика высказываний; II. Булевы функции; III. Содержательная логика предикатов; IV....

Совершенный стратег, или Букварь по теории стратегических игр

Геннадий Спирин Дж. Д. Вильямс Геннадий Спирин

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

Теория множеств. Пер. с нем

Хаусдорф Ф.

Теория алгоритмов (5-е изд., стер.) учеб. пособие

Игошин В.И.

Теория алгоритмов: учебное пособие - ("высшее образование") (гриф)

И. А. Палий

Подробно изложены три формализации понятия алгоритма - машины Тьюринга, рекурсивные функции и нормальные алгоритмы Маркова, доказана их эквивалентность. Рассмотрены основные теоремы общей теории алгоритмов, теория...