ISBN: 978-5-9519-3980-7 Издательство: Ленанд Дата выхода: июнь 2023
Бакалавриат
ISBN: 978-5-906818-74-4 Издательство: Алгоритм Дата выхода: июнь 2016
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей ВУЗов. Может служить пособием для...
ISBN: 978-5-9221-1301-4 Издательство: Физматлит Дата выхода: август 2011
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов,...
ISBN: 9785534109306 Издательство: Юрайт Дата выхода: январь 2019
Авторы настоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Введение в математическую логику" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ имени М.В.Ломоносова, и содержит...
ISBN: 978-5-9710-2573-3 Издательство: Ленанд Дата выхода: август 2015
ISBN: 978-5-9519-2173-4 Издательство: URSS Дата выхода: июнь 2021
Имя одного из крупнейших специалистов в области математической логики С.К. Клини знакомо читателю по русскому переводу его фундаментального труда «Введение в метаматематику» (переиздание которого готовится нашим издательством), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Настоящая книга представляет собой существенно...
ISBN: 978-5-382-00626-0 Издательство: ЛКИ Дата выхода: январь 2008
Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей. Книга Р.Л.Гудстейна может служить кратким введением в математическую логику. От многих других книг по логике, имеющихся на русском языке, она выгодно...
ISBN: 978-5-397-00528-9 Издательство: Либроком Дата выхода: январь 2010
В настоящей книге рассматривается понятие математической структуры и связанные с ним вопросы аксиоматической теории. Изложение ведется на уровне современных достижений, иллюстрируется наглядными примерами. Книга рассчитана на широкий круг читателей, интересующихся аксиоматическими теориями.
ISBN: 978-5-9710-2482-8 Издательство: Ленанд Дата выхода: август 2015
Пособие знакомит с основными понятиями терминоведения, систематизирует их в свете достижений системной лингвистики, раскрывает своеобразие главных этапов терминоведческой деятельности: классификации терминируемых понятий, их дефиниции и номинации; рассмотрены процедуры упорядочения стихийно сложившихся терминологий и проблемы заимствования терминосистем. Для студентов-филологов, а также...
ISBN: 978-5-9710-1253-5 Издательство: Ленанд Дата выхода: январь 2014
Учебное пособие предназначено школьникам и студентам для начального изучения одного из наиболее важных и сложных разделов дискретной математики — математической логики. Область применения математической логики весьма широка: информационные технологии, программирование, математическая лингвистика, системы искусственного интеллекта, управление базами данных и управление...
ISBN: 978-5-9710-4113-9 Издательство: URSS Дата выхода: июнь 2017
Монография ОСНОВЫ ТОЛЕРАНТНОСТИ И ПРАВОВОЙ КУЛЬТУРЫ посвящена острой и весьма востребованной в гуманитарной теории и практике теме. Ценности толерантных отношений становятся одним из главных условий мирного развития и выживания цивилизации. Острота проблемы толерантности увеличивается в глобальных масштабах по мере роста проницаемости межгосударственных границ и усиления мультикультурного...
ISBN: 978-5-9710-1779-0 Издательство: Ленанд Дата выхода: июнь 2015
ISBN: 978-5-9519-3460-4 Издательство: Ленанд Дата выхода: июнь 2022
ISBN: 9785001082231 Издательство: ИД Мещерякова Дата выхода: декабрь 2018
Учебное пособие посвящено анализу актуальных проблем логики и теории познания в свете того состояния научного знания, с которым в наши дни регулярно встречается вдумчивый гуманитарий. Предназначено для студентов и аспирантов.
ISBN: 5-9228-0234-8 Издательство: МГИМО Дата выхода: август 2006
ISBN: 978-5-9519-3909-8 Издательство: Ленанд Дата выхода: февраль 2023
ISBN: 978-5-9710-8424-2 Издательство: URSS Дата выхода: ноябрь 2020
ISBN: 978-5-9710-8453-2 Издательство: URSS Дата выхода: ноябрь 2020
Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов: I. Содержательная логика высказываний; II. Булевы функции; III. Содержательная логика предикатов; IV. Формальные логические теории; V. Элементы теории алгоритмов. В каждом параграфе подробно рассматриваются разнообразные типовые примеры и даются многочисленные задачи разного уровня...
ISBN: 978-5-906818-08-9 Издательство: Алгоритм Дата выхода: ноябрь 2016
В книге в популярной и довольно увлекательной форме изложены первоначальные сведения по теории игр и даны определения основных понятий, таких как цена игры, оптимальные стратегии и т. д. Дается классификация различных игр и приводятся способы их решения с помощью элементарной математики. Главы книги снабжены большим количеством примеров и упражнений. Книга имеет целью ознакомить читателя,...
ISBN: 978-5-397-00529-6 Издательство: Либроком Дата выхода: январь 2009
Книга посвящена впечатляющим результатам в алгебраической геометрии, полученным на основе применения современных достижений теории моделей (доказательство гипотезы Морделла - Ленга для полей функций, доказательство гипотезы Манина - Мамфорда, эффективная оценка мощности соответствующих конечных множеств). Цель книги, созданной коллективом специалистов по теории моделей и алгебраической геометрии,-...
ISBN: 978-5-94057-125-4 Издательство: МЦНМО Дата выхода: август 2008
ISBN: 978-5-0054-1170-9 Издательство: Academia Дата выхода: апрель 2024
ISBN: 978-5-9519-4044-5 Издательство: URSS Дата выхода: июль 2023
ISBN: 978-5-9519-2154-3 Издательство: URSS Дата выхода: май 2021
ISBN: 978-5-534-21288-4 Издательство: Юрайт Дата выхода: февраль 2025
