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