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

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

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

Игошин В.И.

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

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

Игошин В.И.

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

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

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

40.29 USD 36.26 USD

В корзину

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

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

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

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

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

Бакалавриат

34.57 USD 31.11 USD

В корзину

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

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

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

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

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

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

Математическая логика. Дискретные функции. Теория алгоритмов. Учебное пособие, 1-е изд

М. М. Глухов А. С. Шишков

Учебное пособие содержит полное изложение материала учебных дисциплин «Математическая логика и теория алгоритмов» и «Дискретные функции» Государственного образовательного стандарта высшего профессионального...

Математическое моделирование многоагентных систем конкуренции и кооперации. Теория игр для всех

О.А. Малафеев В.Н. Колокольцов

Первая часть книги является элементарным введением в математическую теорию игр (теорию процессов конкуренции и кооперации) с подробным рассмотрением большого числа примеров. Вторая часть содержит формализованное...

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

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

12.54 USD 10.03 USD

В корзину

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

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

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

39.89 USD 31.92 USD

В корзину

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

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

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

21.16 USD 16.93 USD

В корзину

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

В. П. Супрун

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

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

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

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

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

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

14.03 USD 11.22 USD

В корзину

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

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

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

36.51 USD 34.68 USD

В корзину

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

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

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

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

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

15.49 USD 13.48 USD

В корзину

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

Шрейдер Ю.А.

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

30.85 USD 24.68 USD

В корзину

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

Шрейдер Ю.А.

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

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

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

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

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

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

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

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

Игошин В.И.

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

Хаусдорф Ф.

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

И. А. Палий

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