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

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

12.51 USD 10.01 USD

В корзину

Азбука математической логики №78 . Изд. стереотип

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

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

Актуальные проблемы прокурорской деятельности: методология и методы науки. (Аспирантура, Бакалавриат, Специалитет). Монография

Коршунова О.Н. (под общ. ред.), Коллектив_авторов

В монографии представлены результаты научных исследований актуальных проблем прокурорской деятельности профессорско-преподавательским коллективом Санкт-Петербургского юридического института (филиала) Университета...

Введение в метаматематику

С.К. Клини

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

Введение в математическую логику. Том 1

А. Чёрч

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

Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования

Ю. А. Гастев

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

Дискретная математика: логика, группы, графы

О. Акимов

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

51.59 USD 43.85 USD

В корзину

Дискретная математика и математическая логика

Палий И. А.

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

40.5 USD 34.42 USD

В корзину

Дискретная математика

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

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

13.16 USD 11.45 USD

В корзину

Задачник-практикум по тригонометрии Изд. 4, стер. (3-му, перераб.)

Бескин Н.М.

Вниманию читателей предлагается задачник-практикум по тригонометрии — книга, которая учит решать задачи, показывая, как они решаются. Главное внимание уделено аналитической стороне тригонометрии (тригонометрические...

Интуиционизм

А. Гейтинг

Вниманию читателей предлагается книга голландского математика и логика А.Гейтинга, представляющая собой монографию по основаниям математики. Вопросы оснований математики (теория математического доказательства,...

Курс математической логики и теории вычислимости. Учебн.пос., 4-е изд., перераб. и доп

А. С. Герасимов

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

Логика [Уч.пос.] 2из. карман

А. В. Верховцев

В учебном пособии в краткой и доступной форме рассмотрены все основные вопросы, предусмотренные государственным образовательным стандартом и учебной программой по дисциплине "Логика". Книга позволит быстро получить...

Логика: Учебное пособие Е.А. Воронцов. - (Высшее образование: Бакалавриат)., (Гриф)

Воронцов Е.А.

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

9.43 USD 7.73 USD

В корзину

Логика знаковых систем: Элементы семиотики

Шрейдер Ю.А.

10.26 USD 8.21 USD

В корзину

Логика знаковых систем. Элементы семиотики

Шрейдер Ю.А.

Книга известного отечественного математика и философа Ю.А. Шрейдера была задумана как беседа об основных понятиях семиотики - науки о знаковых системах, тесно примыкающей к математической лингвистике и математической...

Логическая мысль во Франции XVII - начала XIX столетий. Французские предвосхищения идей математической логики

Н.Б. Бирюкова

В настоящей книге рассматривается развитие логических идей во Франции на протяжении двухсот лет --- от трудов Блеза Паскаля (XVII в.) до результатов, полученных Жозефом Жергонном (начало XIX столетия). Прослежено...

31.46 USD 26.74 USD

В корзину

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

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

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

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

Игошин В.И.

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

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

Игошин В.И.

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

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

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

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

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

Бакалавриат

37.4 USD 31.79 USD

В корзину

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

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

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

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

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

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

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

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

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

31.98 USD 27.18 USD

В корзину

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

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

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