В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей ВУЗов. Может служить пособием для...
ISBN: 978-5-9221-1301-4
Издательство:
Физматлит
Дата выхода: август 2011
Авторы настоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Введение в математическую логику" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ имени М.В.Ломоносова, и содержит...
ISBN: 978-5-9710-2573-3
Издательство:
Ленанд
Дата выхода: август 2015
Имя одного из крупнейших специалистов в области математической логики С.К. Клини знакомо читателю по русскому переводу его фундаментального труда «Введение в метаматематику» (переиздание которого готовится нашим издательством), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Настоящая книга представляет собой существенно...
ISBN: 978-5-382-00626-0
Издательство:
ЛКИ
Дата выхода: январь 2008
Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей. Книга Р.Л.Гудстейна может служить кратким введением в математическую логику. От многих других книг по логике, имеющихся на русском языке, она выгодно...
ISBN: 978-5-397-00528-9
Издательство:
Либроком
Дата выхода: январь 2010
В настоящей книге рассматривается понятие математической структуры и связанные с ним вопросы аксиоматической теории. Изложение ведется на уровне современных достижений, иллюстрируется наглядными примерами. Книга рассчитана на широкий круг читателей, интересующихся аксиоматическими теориями.
ISBN: 978-5-9710-2482-8
Издательство:
Ленанд
Дата выхода: август 2015
В ходе развития теории множеств, которая является основой построения большинства математических дисциплин, возникли чрезвычайно сложные проблемы непротиворечивости. Книга представляет собой наиболее полный из существующих обзор исследований, вызванных к жизни этой проблематикой; в ней описываются и сравниваются между собой все важнейшие системы аксиоматической теории множеств. Большое внимание...
ISBN: 978-5-397-01131-0
Издательство:
Либроком
Дата выхода: январь 2010
Пособие знакомит с основными понятиями терминоведения, систематизирует их в свете достижений системной лингвистики, раскрывает своеобразие главных этапов терминоведческой деятельности: классификации терминируемых понятий, их дефиниции и номинации; рассмотрены процедуры упорядочения стихийно сложившихся терминологий и проблемы заимствования терминосистем. Для студентов-филологов, а также...
ISBN: 978-5-9710-1253-5
Издательство:
Ленанд
Дата выхода: январь 2014
Монография ОСНОВЫ ТОЛЕРАНТНОСТИ И ПРАВОВОЙ КУЛЬТУРЫ посвящена острой и весьма востребованной в гуманитарной теории и практике теме. Ценности толерантных отношений становятся одним из главных условий мирного развития и выживания цивилизации. Острота проблемы толерантности увеличивается в глобальных масштабах по мере роста проницаемости межгосударственных границ и усиления мультикультурного...
ISBN: 978-5-9710-1779-0
Издательство:
Ленанд
Дата выхода: июнь 2015
Учебное пособие предназначено школьникам и студентам для начального изучения одного из наиболее важных и сложных разделов дискретной математики — математической логики. Область применения математической логики весьма широка: информационные технологии, программирование, математическая лингвистика, системы искусственного интеллекта, управление базами данных и управление...
ISBN: 978-5-9710-4113-9
Издательство:
URSS
Дата выхода: июнь 2017
Монография содержит теоретическое рассмотрение проблемы психолингвистических механизмов порождения речи и обобщение многочисленных экспериментальных данных в этой области. В книге впервые дается целостное описание речевых процессов с позиций психологической школы Л.С.Выготского. Автор рассматривает понятие единицы в лингвистике и психолингвистике, анализирует различные психолингвистические...
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-534-21288-4
Издательство:
Юрайт
Дата выхода: февраль 2025
Вниманию читателей предлагается книга известного немецкого математика, одного из основоположников современной топологии Ф.Хаусдорфа (1868–1942), которая содержит очень полное и в то же время совершенно элементарное изложение теории множеств. Данная работа оказала влияние на все отрасли современной математики, опирающиеся на теорию множеств, что сделало ее классическим произведением математической...
ISBN: 978-5-9519-4044-5
Издательство:
URSS
Дата выхода: июль 2023
Подробно изложены три формализации понятия алгоритма - машины Тьюринга, рекурсивные функции и нормальные алгоритмы Маркова, доказана их эквивалентность. Рассмотрены основные теоремы общей теории алгоритмов, теория разрешимых и перечислимых множеств, алгоритмически неразрешимые массовые проблемы, теория сложности вычислений и массовых проблем, алгоритмические проблемы математической логики и...
ISBN: 978-5-16-005205-2
Издательство:
Инфра-М
Дата выхода: декабрь 2011
Фрактальная геометрия оперирует парадоксальными геометрическими предметами, результаты измерения которых (длина, площадь, объем) устремляются к бесконечности. В качестве начальной (а потому неточной) метафоры можно сказать, что фрактальная логика оперирует парадоксальными логическими объектами, число логических значений которых также стремится к бесконечности. Фрактальная логика превращает...
ISBN: 978-5-9710-5541-9
Издательство:
URSS
Дата выхода: июнь 2018
Фрактальная геометрия оперирует парадоксальными геометрическими предметами, результаты измерения которых (длина, площадь, объем) устремляются к бесконечности. В качестве начальной (а потому неточной) метафоры можно сказать, что фрактальная логика оперирует парадоксальными логическими объектами, число логических значений которых также стремится к бесконечности. Фрактальная логика превращает...
ISBN: 978-5-9710-5552-5
Издательство:
URSS
Дата выхода: июнь 2018
