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

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

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

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

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

18.56 EURO 14.85 EURO

В корзину

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

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

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

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

С.К. Клини

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

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

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

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

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

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

29.09 EURO 26.18 EURO

В корзину

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

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

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

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

Игошин В.И.

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

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

Игошин В.И.

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

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

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

10.72 EURO 8.58 EURO

В корзину

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

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

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

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

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

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

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

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

12 EURO 9.6 EURO

В корзину

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

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

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

34.12 EURO 27.3 EURO

В корзину

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

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

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

18.1 EURO 14.48 EURO

В корзину

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

В. П. Супрун

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

31.22 EURO 29.66 EURO

В корзину

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

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

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

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

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

26.38 EURO 21.11 EURO

В корзину

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

Шрейдер Ю.А.

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

13.25 EURO 11.53 EURO

В корзину

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

Шрейдер Ю.А.

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

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

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

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

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

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

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

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

Хаусдорф Ф.

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

Игошин В.И.

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

И. А. Палий

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

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

Хаусдорф Ф.