Математическая логика
183
Показать
Все
Только в продаже
Новинки за неделю
Новинки за месяц
Новинки с последнего посещения
Сортировать
торговому рейтингу: лучшие сверху
оценке посетителей: лучшие сверху
цене: дешевые сверху
цене: дорогие сверху
дате выхода: новинки сверху
наличию: доступные cверху
названию: от "а" до "я"
названию: от "я" до "а"
автору (а-я)
автору (я-а)
Математическая логика. Курс лекций. Задачник-практикум и решения:...
Уч.пособие состоит из 2 частей — курса лекций по матем.логике, включающего теоретич.материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упр-я по перечисленным разделам. Уч.пособие предназнач.для студентов университетов и педагогических вузов, изучающих математическую логику.
ISBN: 5-8114-0082-9
Математическая логика и теория алгоритмов. Вычислимые функции
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о...
ISBN: 978-5-94057-323-4
Математическая логика и теория алгоритмов
Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его...
ISBN: 978-5-7695-4593-1
Математическая логика и теория алгоритмов
Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая...
ISBN: 978-5-9710-2629-7
Математическая логика. Введение в математическую логику
Авторы настоящей книги - А.Н. Колмогоров и А.Г. Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Введение в математическую логику" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ имени М.В. Ломоносова, и содержит...
ISBN: 978-5-354-01449-1
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ 5-е изд. Учебник и...
Судоплатов С. В., Овчинникова Е. В.
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов,...
ISBN: 9785534146585
Математическая логика: Введение в математическую логику
Авторы настоящей книги - А.Н. Колмогоров и А.Г. Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Введение в математическую логику" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ имени М.В. Ломоносова, и содержит...
ISBN: 978-5-9710-3843-6
Математическая логика. Введение в математическую логику. Учебное...
Авторы настоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Введение в математическую логику" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М.В.Ломоносова, и содержит...
ISBN: 978-5-9710-1502-4
Начала теории множеств. Математическая логика и теория алгоритмов
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях "наивной теории множеств" (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов - математиков и всех интересующихся основами теории множеств. Книга включает в себя...
ISBN: 978-5-94057-321-0
Начала теории множеств. Математическая логика и теория алгоритмов
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях `наивной теории множеств` (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов - математиков и всех интересующихся основами теории множеств. Книга включает в себя...
ISBN: 5-900916-36-7
Начала теории множеств. Лекции по математической логике и теории...
Верещагин Н.К., Шень А.
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях "наивной теории множеств" (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории множеств. Книга включает около 150...
ISBN: 978-5-4439-0012-4
Начала теории множеств. Лекции по математической логике и теории...
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории множеств. Книга включает около 150...
ISBN: 978-5-4439-0943-1
Нечеткие графы и гиперграфы
Целью этой книги является систематизация теории нечетких графов и гиперграфов с единых позиций. В книге рассматриваются основные понятия теории нечетких множеств, элементы нечеткой логики, и на основе понятий нечетких высказываний, нечетких логических формул и нечетких предикатов рассматриваются способы задания и свойства нечетких множеств. Представленные в книге результаты основаны, большей...
ISBN: 5-89176-315-X
Основы математической логики и теории множеств. Учебное пособие
В пособии представлены учебно-методические материалы по логике и теории множеств, включенные в лекционный курс, читаемый в течение ряда лет учащимся 10-х классов физико-математического лицея при МГТУ им. Н.Э.Баумана. Излагаются основные понятия логики высказываний и предикатов и основные понятия теории множеств, отражена тесная взаимосвязь этих разделов математики. Для улучшения понимания и запоминания...
ISBN: 978-5-9710-2187-2
Основные понятия алгебры
Книга представляет собой общий обзор алгебры, ее основных понятий и разделов. Наряду с классическими разделами алгебры изложены многие современные понятия и результаты. Предыдущее издание, вышедшее в 1986г. в серии ВИНИТИ `Итоги науки и техники`, давно стало библиографической редкостью. В новом издании внесен ряд дополнений и уточнений, сделанных автором. Для широкого круга специалистов, студентов,...
ISBN: 5-93972-097-8
Основы математической логики и теории множеств
В пособии представлены учебно-методические материалы по логике и теории множеств, включенные в лекционный курс, читаемый в течение ряда лет учащимся 10-х классов физико-математического лицея при МГТУ им. Н.Э.Баумана. Излагаются основные понятия логики высказываний и предикатов и основные понятия теории множеств, отражена тесная взаимосвязь этих разделов математики. Для улучшения понимания и запоминания...
ISBN: 978-5-9710-0942-9
По океану дискретной математики. Том 1. От перечислительной...
Содержание настоящей книги охватывает вузовский курс дискретной математики, включая перечислительную комбинаторику, булевы функции, графы, алгоритмы, помехоустойчивое кодирование и криптографию, а также ряд дополнительных тем. Принцип построения "от простого - к сложному" делает начальные разделы каждой главы доступными для старшеклассника, а заключительные - ценными для аспиранта. Для...
ISBN: 978-5-397-02785-4
По океану дискретной математики. Том 2. От перечислительной...
Содержание настоящей книги охватывает вузовский курс дискретной математики, включая перечислительную комбинаторику, булевы функции, графы, алгоритмы, помехоустойчивое кодирование и криптографию, а также ряд дополнительных тем. Принцип построения "от простого - к сложному" делает начальные разделы каждой главы доступными для старшеклассника, а заключительные - ценными для аспиранта. Для...
ISBN: 978-5-397-02786-1
Принятие решений при зависимостях и обратных связях. Аналитические...
В книге изложены основы нового подхода к анализу сложных решений, в которых могут быть учтены взаимные зависимости между критериями, альтернативами и другими элементами, представляющими рассматриваемую проблему. Метод аналитических сетей является обобщением известного метода анализа иерархий, математические основы и приложения которого также описаны в данной монографии. Приведены многочисленные...
ISBN: 978-5-382-00422-8
Проблемы логики и теории познания в современном гуманитарном знании
Учебное пособие посвящено анализу актуальных проблем логики и теории познания в свете того состояния научного знания, с которым в наши дни регулярно встречается вдумчивый гуманитарий. Предназначено для студентов и аспирантов.
ISBN: 5-9228-0234-8
Показать еще
