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

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

12.51 USD 10.01 USD

В корзину

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

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

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

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

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

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

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

С.К. Клини

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

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

А. Чёрч

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

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

Ю. А. Гастев

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

40.5 USD 34.42 USD

В корзину

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

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

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

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

О. Акимов

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

51.59 USD 43.85 USD

В корзину

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

Палий И. А.

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

13.16 USD 11.45 USD

В корзину

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

Бескин Н.М.

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

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

А. Гейтинг

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

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

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

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

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

Шрейдер Ю.А.

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

9.63 USD 7.71 USD

В корзину

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

Шрейдер Ю.А.

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

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

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

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

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

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

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

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

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

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

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

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

Математическая логика: Дополнительные главы

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

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

С.К. Клини

Имя одного из крупнейших специалистов в области математической логики С.К. Клини знакомо читателю по русскому переводу его фундаментального труда «Введение в метаматематику» (переиздание которого готовится нашим...

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

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

31.46 USD 26.74 USD

В корзину

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

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

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

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

Игошин В.И.

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

20.42 USD 16.33 USD

В корзину

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

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

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

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

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

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

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

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