В брошюре рассказывается (для школьников 7–11 классов) о методе математической индукции на примере 46 задач, из которых 19 снабжены подробными решениями.
ISBN: 978-5-94057-772-0
Издательство:
МЦНМО
Дата выхода: январь 2011
А.Н. Колмогоров (1903-1987) и А.Г. Драгалин (1941-1998) - выдающиеся отечественные логики и математики, оказавшие глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены учебники А.Н. Колмогорова и А.Г. Драгалина "Введение в математическую логику" и "Математическая логика. Дополнительные главы", содержащие классическое изложение понятий и...
ISBN: 5-484-00520-5
Издательство:
КомКнига
Дата выхода: май 2006
В учебнике предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к...
ISBN: 978-5-9916-7711-0
Издательство:
Юрайт
Дата выхода: сентябрь 2016
Данная книга обращена прежде всего к тем, кто изучает математику, - начиная от учащихся старших классов и студентов и кончая специалистами в различных областях, которым приходится встречаться с применением математических методов исследования. Читатель узнает, какими путями добываются новые факты в математике, с какой степенью доверия следует относиться к той или иной математической гипотезе - одним...
ISBN: 978-5-397-01155-6
Издательство:
Либроком
Дата выхода: январь 2010
Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов - М.: Изд. центр "Академия", 2004). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного...
ISBN: 5-7695-1363-2
Издательство:
Академия
Дата выхода: декабрь 2004
Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая...
ISBN: 978-5-9710-2629-7
Издательство:
Ленанд
Дата выхода: август 2015
Авторы настоящей книги - А.Н. Колмогоров и А.Г. Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Введение в математическую логику" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ имени М.В. Ломоносова, и содержит...
ISBN: 978-5-354-01449-1
Издательство:
Едиториал УРСС
Дата выхода: январь 2013
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов,...
ISBN: 9785534146585
Издательство:
Юрайт
Дата выхода: февраль 2021
В учебном пособии изложены основы современного подхода к изучению математических теорий с привлечением логических понятий и методов, а также концепция программы Д.Гильберта о построении математических теорий аксиоматическим путем. Рассмотрены аксиоматические теории для множеств натуральных и действительных чисел и для геометрии. Для студентов высших учебных заведений.
ISBN: 5-7695-2735-8
Издательство:
Академия
Дата выхода: ноябрь 2006
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях `наивной теории множеств` (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов - математиков и всех интересующихся основами теории множеств. Книга включает в себя...
ISBN: 5-900916-36-7
Издательство:
Московский центр непрерывного математического образования
Дата выхода: январь 2002
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях "наивной теории множеств" (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов - математиков и всех интересующихся основами теории множеств. Книга включает в себя...
ISBN: 978-5-94057-321-0
Издательство:
МЦНМО
Дата выхода: март 2008
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях "наивной теории множеств" (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории множеств. Книга включает около 150...
ISBN: 978-5-4439-0012-4
Издательство:
МЦНМО
Дата выхода: январь 2012
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории множеств. Книга включает около 150...
ISBN: 978-5-4439-0943-1
Издательство:
МЦНМО
Дата выхода: август 2017
Целью этой книги является систематизация теории нечетких графов и гиперграфов с единых позиций. В книге рассматриваются основные понятия теории нечетких множеств, элементы нечеткой логики, и на основе понятий нечетких высказываний, нечетких логических формул и нечетких предикатов рассматриваются способы задания и свойства нечетких множеств. Представленные в книге результаты основаны, большей...
ISBN: 5-89176-315-X
Издательство:
Научный мир
Дата выхода: июнь 2008
В пособии представлены учебно-методические материалы по логике и теории множеств, включенные в лекционный курс, читаемый в течение ряда лет учащимся 10-х классов физико-математического лицея при МГТУ им. Н.Э.Баумана. Излагаются основные понятия логики высказываний и предикатов и основные понятия теории множеств, отражена тесная взаимосвязь этих разделов математики. Для улучшения понимания и запоминания...
ISBN: 978-5-9710-2187-2
Издательство:
Ленанд
Дата выхода: июль 2015
В пособии представлены учебно-методические материалы по логике и теории множеств, включенные в лекционный курс, читаемый в течение ряда лет учащимся 10-х классов физико-математического лицея при МГТУ им. Н.Э.Баумана. Излагаются основные понятия логики высказываний и предикатов и основные понятия теории множеств, отражена тесная взаимосвязь этих разделов математики. Для улучшения понимания и запоминания...
ISBN: 978-5-9710-0942-9
Издательство:
Ленанд
Дата выхода: январь 2014
Книга представляет собой общий обзор алгебры, ее основных понятий и разделов. Наряду с классическими разделами алгебры изложены многие современные понятия и результаты. Предыдущее издание, вышедшее в 1986г. в серии ВИНИТИ `Итоги науки и техники`, давно стало библиографической редкостью. В новом издании внесен ряд дополнений и уточнений, сделанных автором. Для широкого круга специалистов, студентов,...
ISBN: 5-93972-097-8
Издательство:
Регулярная и хаотическая динамика
Дата выхода: май 2004
Содержание настоящей книги охватывает вузовский курс дискретной математики, включая перечислительную комбинаторику, булевы функции, графы, алгоритмы, помехоустойчивое кодирование и криптографию, а также ряд дополнительных тем. Принцип построения "от простого - к сложному" делает начальные разделы каждой главы доступными для старшеклассника, а заключительные - ценными для аспиранта. Для...
ISBN: 978-5-397-02785-4
Издательство:
Либроком
Дата выхода: май 2012
Содержание настоящей книги охватывает вузовский курс дискретной математики, включая перечислительную комбинаторику, булевы функции, графы, алгоритмы, помехоустойчивое кодирование и криптографию, а также ряд дополнительных тем. Принцип построения "от простого - к сложному" делает начальные разделы каждой главы доступными для старшеклассника, а заключительные - ценными для аспиранта. Для...
ISBN: 978-5-397-02786-1
Издательство:
Либроком
Дата выхода: май 2012
В книге изложены основы нового подхода к анализу сложных решений, в которых могут быть учтены взаимные зависимости между критериями, альтернативами и другими элементами, представляющими рассматриваемую проблему. Метод аналитических сетей является обобщением известного метода анализа иерархий, математические основы и приложения которого также описаны в данной монографии. Приведены многочисленные...
ISBN: 978-5-382-00422-8
Издательство:
ЛКИ
Дата выхода: декабрь 2007
Учебное пособие посвящено анализу актуальных проблем логики и теории познания в свете того состояния научного знания, с которым в наши дни регулярно встречается вдумчивый гуманитарий. Предназначено для студентов и аспирантов.
ISBN: 5-9228-0234-8
Издательство:
МГИМО
Дата выхода: август 2006
Обоснована и на примерах показана возможность решения широкого круга задач алгебры логики и алгебры множеств с использованием выражений обычной классической алгебры с учетом многозначности и вероятностного хаактера переменных в решаемых задачах. Определены в общем виде алгебраические выражения, устанавливающие вероятностную зависимость множества следствий от возможных комбинаций множества...
ISBN: 5-94052-069-5
Издательство:
Физматлит
Дата выхода: октябрь 2008