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


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



37.4 USD 31.79 USD

В корзину

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

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

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


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

И. М. Дмитриева

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


31.98 USD 27.18 USD

В корзину

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

В. И. Скорубский

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


20.42 USD 16.33 USD

В корзину

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

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

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


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

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

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



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

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

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




11.8 USD 9.44 USD

В корзину

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

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

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


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

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

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


19.91 USD 15.93 USD

В корзину

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

В. П. Супрун

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


13.2 USD 10.56 USD

В корзину

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

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

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



37.53 USD 30.03 USD

В корзину

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

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

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



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

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

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


14.57 USD 12.68 USD

В корзину

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

Шрейдер Ю.А.

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


29.02 USD 23.22 USD

В корзину

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

Шрейдер Ю.А.

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


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

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

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


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

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

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


Теория множеств. Пер. с нем. Изд. стереотип

Хаусдорф Ф.

Вниманию читателей предлагается книга известного немецкого математика, одного из основоположников современной топологии Ф.Хаусдорфа (1868–1942), которая содержит очень полное и в то же время совершенно элементарное...



11.85 USD 10.07 USD

В корзину

Теория алгоритмов. Введение в сложность вычислений

Крупский В. Н.

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