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

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

Математическая логика и теория алгоритмов: Учебник. Гриф МО РФ

А. В. Пруцков Л. Л. Волкова

Бакалавриат

37.4 USD 31.79 USD

В корзину

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

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

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

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

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

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

31.98 USD 27.18 USD

В корзину

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

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

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

20.42 USD 16.33 USD

В корзину

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

11.8 USD 9.44 USD

В корзину

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

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

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

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

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

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

19.91 USD 15.93 USD

В корзину

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

В. П. Супрун

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

13.2 USD 10.56 USD

В корзину

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

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

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

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

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

37.53 USD 30.03 USD

В корзину

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

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

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

29.85 USD 28.36 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

В корзину

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

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

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