В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов,...
ISBN: 9785534109306
Издательство:
Юрайт
Дата выхода: январь 2019
Учебное пособие содержит полное изложение материала учебных дисциплин «Математическая логика и теория алгоритмов» и «Дискретные функции» Государственного образовательного стандарта высшего профессионального образования по специальностям «Компьютерная безопасность», «Информационная безопасность автоматизированных систем» и некоторым другим смежным специальностям. Пособие состоит из трех...
ISBN: 978-5-8114-1344-7
Издательство:
Лань
Дата выхода: ноябрь 2012
В учебнике предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к...
ISBN: 978-5-534-01114-2
Издательство:
Юрайт
Дата выхода: январь 2017
Изложены базовые понятия и принципы математической логики и теории алгоритмов. Рассмотрен ряд распространенных логических парадоксов, на примере которых показаны трудности, возникающие в логике. Книга содержит разнообразные логические задачи, упражнения, которые позволяют закрепить теоретический материал. Для студентов, обучающихся по специальностям «Комплексное обеспечение информационной...
ISBN: 5-93517-349-2
Издательство:
Горячая Линия - Телеком
Дата выхода: январь 2007
Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая...
ISBN: 978-5-9710-2629-7
Издательство:
Ленанд
Дата выхода: август 2015
Первая часть книги является элементарным введением в математическую теорию игр (теорию процессов конкуренции и кооперации) с подробным рассмотрением большого числа примеров. Вторая часть содержит формализованное изложение некоторых результатов теории, некоторые из них являются новыми. Книга предназначена для студентов, аспирантов и научных работников, специализирующихся в области теории игр,...
ISBN: 978-5-8114-1276-1
Издательство:
Лань
Дата выхода: май 2012
В настоящей книге рассматривается понятие математической структуры и связанные с ним вопросы аксиоматической теории. Изложение ведется на уровне современных достижений, иллюстрируется наглядными примерами. Книга рассчитана на широкий круг читателей, интересующихся аксиоматическими теориями.
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-8453-2
Издательство:
URSS
Дата выхода: ноябрь 2020
В предлагаемой читателям книге, написанной известным математиком, кибернетиком и философом Ю.А.Шрейдером, рассказывается о том, как можно формально описать свойства хорошо знакомых всем отношений, указанных в заглавии. На этом примере выясняется, как происходит переход от привычных, но неточных понятий к строгим математическим определениям. Необходимость строгого описания простейших отношений...
ISBN: 978-5-9710-8424-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-16-005205-2
Издательство:
Инфра-М
Дата выхода: декабрь 2011
