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

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

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.63 USD 7.71 USD

В корзину

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

Шрейдер Ю.А.

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

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

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

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

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

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

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

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

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

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

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

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

В.М. Зюзьков А.А. Шелупанов

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

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

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

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

31.98 USD 27.18 USD

В корзину

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

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

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

31.46 USD 26.74 USD

В корзину

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

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

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

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

Игошин В.И.

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

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

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

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

20.42 USD 16.33 USD

В корзину

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

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

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