Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей. Книга Р.Л.Гудстейна может служить кратким введением в математическую логику. От многих других книг по логике, имеющихся на русском языке, она выгодно...
ISBN: 978-5-397-00528-9
Издательство:
Либроком
Дата выхода: январь 2010
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов,...
ISBN: 978-5-534-12274-9
Издательство:
Юрайт
Дата выхода: январь 2021
В учебном пособии подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой. Для студентов университетов, технических и педагогических вузов, обучающихся по направлениям подготовки и специальностям "Математика", "Прикладная математика",...
ISBN: 978-5-16-019779-1
Издательство:
Инфра-М
Дата выхода: январь 2024
Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой.Для студентов учреждений среднего профессионального образования.
ISBN: 978-5-16-015595-1
Издательство:
Инфра-М
Дата выхода: ноябрь 2019
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов,...
ISBN: 9785534109306
Издательство:
Юрайт
Дата выхода: январь 2019
Учебное пособие содержит полное изложение материала учебных дисциплин «Математическая логика и теория алгоритмов» и «Дискретные функции» Государственного образовательного стандарта высшего профессионального образования по специальностям «Компьютерная безопасность», «Информационная безопасность автоматизированных систем» и некоторым другим смежным специальностям. Пособие состоит из трех...
ISBN: 978-5-8114-1344-7
Издательство:
Лань
Дата выхода: ноябрь 2012
В настоящей книге рассматривается понятие математической структуры и связанные с ним вопросы аксиоматической теории. Изложение ведется на уровне современных достижений, иллюстрируется наглядными примерами. Книга рассчитана на широкий круг читателей, интересующихся аксиоматическими теориями.
ISBN: 978-5-9710-2482-8
Издательство:
Ленанд
Дата выхода: август 2015
Пособие знакомит с основными понятиями терминоведения, систематизирует их в свете достижений системной лингвистики, раскрывает своеобразие главных этапов терминоведческой деятельности: классификации терминируемых понятий, их дефиниции и номинации; рассмотрены процедуры упорядочения стихийно сложившихся терминологий и проблемы заимствования терминосистем. Для студентов-филологов, а также...
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-397-01131-0
Издательство:
Либроком
Дата выхода: январь 2010
Монография содержит теоретическое рассмотрение проблемы психолингвистических механизмов порождения речи и обобщение многочисленных экспериментальных данных в этой области. В книге впервые дается целостное описание речевых процессов с позиций психологической школы Л.С.Выготского. Автор рассматривает понятие единицы в лингвистике и психолингвистике, анализирует различные психолингвистические...
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
