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

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

11.2 EURO 8.96 EURO

В корзину

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

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

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

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

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

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

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

С.К. Клини

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

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

А. Чёрч

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

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

Ю. А. Гастев

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

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

Палий И. А.

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

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

О. Акимов

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

35.47 EURO 32.98 EURO

В корзину

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

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

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

11.78 EURO 10.25 EURO

В корзину

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

Бескин Н.М.

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

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

А. Гейтинг

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

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

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

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

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

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

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

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

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

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

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

Шрейдер Ю.А.

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

8.62 EURO 6.9 EURO

В корзину

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

Шрейдер Ю.А.

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

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

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

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

Игошин В.И.

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

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

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

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

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

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

Бакалавриат

32.73 EURO 30.44 EURO

В корзину

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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